runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (13158 MiB free)
  memory of node 1: 16087 MiB (13642 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/biere/dinphil/dp07u06.shuffled.cnf 

running on 1 cores: 3

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=1178920, runsolver pid=1178919
Current StackSize limit: 8192 KiB


[startup+0.100535 s]*
/proc/loadavg: 0.00 0.04 1.13 11/571 1178925
/proc/meminfo: memFree=27409480/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=40836 memory=14152 CPUtime=0.08 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2368 0 0 0 8 0 0 0 20 0 1 0 340324314 41816064 3538 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10209 3538 1520 2 0 2621 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 14152 KiB

[startup+0.223532 s]*
/proc/loadavg: 0.00 0.04 1.13 10/571 1178925
/proc/meminfo: memFree=27402792/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=40836 memory=14152 CPUtime=0.18 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2370 0 0 0 18 0 0 0 20 0 1 0 340324314 41816064 3538 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10209 3538 1520 2 0 2621 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 14152 KiB

[startup+0.321531 s]*
/proc/loadavg: 0.00 0.04 1.13 10/571 1178925
/proc/meminfo: memFree=27401168/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=40836 memory=14152 CPUtime=0.26 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2371 0 0 0 26 0 0 0 20 0 1 0 340324314 41816064 3538 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10209 3538 1520 2 0 2621 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 14152 KiB

[startup+0.700533 s]
/proc/loadavg: 0.00 0.04 1.13 10/571 1178925
/proc/meminfo: memFree=27399028/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=40836 memory=14152 CPUtime=0.59 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2373 0 0 0 59 0 0 0 20 0 1 0 340324314 41816064 3538 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10209 3538 1520 2 0 2621 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 14152 KiB

[startup+1.50054 s]
/proc/loadavg: 0.00 0.04 1.13 10/571 1178925
/proc/meminfo: memFree=27397652/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=14940 CPUtime=1.36 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2551 0 0 0 136 0 0 0 20 0 1 0 340324314 42340352 3735 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3735 1520 2 0 2749 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 14940 KiB

[startup+3.12954 s]
/proc/loadavg: 0.64 0.17 1.17 10/571 1178925
/proc/meminfo: memFree=27396888/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=14940 CPUtime=2.95 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2552 0 0 0 295 0 0 0 20 0 1 0 340324314 42340352 3735 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3735 1520 2 0 2749 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 14940 KiB

[startup+6.30053 s]
/proc/loadavg: 0.64 0.17 1.17 11/572 1178926
/proc/meminfo: memFree=27395580/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=14940 CPUtime=6.05 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2552 0 0 0 605 0 0 0 20 0 1 0 340324314 42340352 3735 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3735 1520 2 0 2749 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 14940 KiB

[startup+12.7005 s]
/proc/loadavg: 1.31 0.32 1.21 11/571 1178926
/proc/meminfo: memFree=27395136/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=14940 CPUtime=12.32 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2552 0 0 0 1232 0 0 0 20 0 1 0 340324314 42340352 3735 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3735 1520 2 0 2749 0
Current children cumulated CPU time: 12.32 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 14940 KiB

[startup+25.5005 s]
/proc/loadavg: 2.79 0.70 1.32 10/571 1178926
/proc/meminfo: memFree=27394832/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=14940 CPUtime=24.83 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2553 0 0 0 2483 0 0 0 20 0 1 0 340324314 42340352 3735 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3735 1520 2 0 2749 0
Current children cumulated CPU time: 24.83 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 14940 KiB

[startup+51.1355 s]
/proc/loadavg: 4.72 1.32 1.51 10/571 1178935
/proc/meminfo: memFree=27391520/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=14940 CPUtime=49.89 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2553 0 0 0 4989 0 0 0 20 0 1 0 340324314 42340352 3735 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3735 1520 2 0 2749 0
Current children cumulated CPU time: 49.89 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 14940 KiB

[startup+102.301 s]
/proc/loadavg: 6.22 2.27 1.82 9/563 1178946
/proc/meminfo: memFree=27398976/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=14940 CPUtime=99.91 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2554 0 0 0 9991 0 0 0 20 0 1 0 340324314 42340352 3735 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3735 1520 2 0 2749 0
Current children cumulated CPU time: 99.91 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 14940 KiB

[startup+162.301 s]
/proc/loadavg: 6.79 3.15 2.16 9/563 1178955
/proc/meminfo: memFree=27390512/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=158.59 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2564 0 0 0 15859 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 158.59 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+222.301 s]
/proc/loadavg: 7.00 3.88 2.47 9/563 1178965
/proc/meminfo: memFree=27388480/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=217.27 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2567 0 0 0 21727 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 217.27 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+282.301 s]
/proc/loadavg: 7.16 4.50 2.77 9/563 1178974
/proc/meminfo: memFree=27388364/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=275.94 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2569 0 0 0 27594 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 275.94 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+342.301 s]
/proc/loadavg: 7.06 4.95 3.04 9/559 1178983
/proc/meminfo: memFree=27388104/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=334.62 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2570 0 0 0 33462 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 334.62 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+402.301 s]
/proc/loadavg: 6.49 5.19 3.24 8/554 1179000
/proc/meminfo: memFree=27388900/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=393.37 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2571 0 0 0 39337 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 393.37 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+462.301 s]
/proc/loadavg: 6.29 5.37 3.43 8/555 1179010
/proc/meminfo: memFree=27388700/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=452.13 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2572 0 0 0 45213 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 452.13 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+522.301 s]
/proc/loadavg: 6.15 5.50 3.60 8/552 1179020
/proc/meminfo: memFree=27391296/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=510.89 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2573 0 0 0 51089 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 510.89 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+582.301 s]
/proc/loadavg: 6.05 5.60 3.75 8/552 1179029
/proc/meminfo: memFree=27391328/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=569.64 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2574 0 0 0 56964 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 569.64 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+642.301 s]
/proc/loadavg: 6.02 5.67 3.90 8/552 1179039
/proc/meminfo: memFree=27391312/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=628.4 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2575 0 0 0 62840 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 628.4 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB
[] -> []

Traceback (most recent call last):
  File "./pigeonPur.py", line 344, in <module>
    res = dpll(formula, formula, 0, [], [], n_variables, 0, heuristique)
  File "./pigeonPur.py", line 284, in dpll
    answer1 = dpll(formula, current, -nextVar, assign, decisions, nVariables, level + 1, heuris.copy())
  File "./pigeonPur.py", line 260, in dpll
    ans, assign, propCl, cl, current = unit_propagation_dpll(formula, currentForm, nextPropagation, assignment, toConsider)
  File "./pigeonPur.py", line 181, in unit_propagation_dpll
    updateConsider(cnf, result[indClause], consider)
  File "./pigeonPur.py", line 154, in updateConsider
    updateConsider(cnf, cnf[indClause], consider)
  File "./pigeonPur.py", line 154, in updateConsider
    updateConsider(cnf, cnf[indClause], consider)
  File "./pigeonPur.py", line 154, in updateConsider
    updateConsider(cnf, cnf[indClause], consider)
  [Previous line repeated 991 more times]
  File "./pigeonPur.py", line 149, in updateConsider
    for indClause in range(len(cnf)):
RecursionError: maximum recursion depth exceeded in comparison

[startup+700.826 s]
# the end of solver process 1178920 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=685.591 s, system=0.02637 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+665.601 s]
/proc/loadavg: 6.08 5.72 3.96 8/552 1179040
/proc/meminfo: memFree=27391396/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=651.22 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2575 0 0 0 65122 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 651.22 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+678.401 s]
/proc/loadavg: 6.13 5.75 4.00 8/552 1179041
/proc/meminfo: memFree=27391120/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=663.76 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2575 0 0 0 66376 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 663.76 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+691.201 s]
/proc/loadavg: 6.19 5.77 4.02 8/552 1179049
/proc/meminfo: memFree=27389576/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=676.29 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2576 0 0 0 67629 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 676.29 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+697.601 s]
/proc/loadavg: 6.17 5.78 4.04 8/552 1179049
/proc/meminfo: memFree=27389392/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41348 memory=15776 CPUtime=682.56 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2576 0 0 0 68256 0 0 0 20 0 1 0 340324314 42340352 3944 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10337 3944 1520 2 0 2749 0
Current children cumulated CPU time: 682.56 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 15776 KiB

[startup+699.201 s]
/proc/loadavg: 6.16 5.78 4.05 8/552 1179049
/proc/meminfo: memFree=27389544/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=41916 memory=16112 CPUtime=684.13 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2737 0 0 0 68412 1 0 0 20 0 1 0 340324314 42921984 4028 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10479 4028 1520 2 0 2891 0
Current children cumulated CPU time: 684.13 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16112 KiB

[startup+700.001 s]*
/proc/loadavg: 6.16 5.78 4.05 8/552 1179049
/proc/meminfo: memFree=27389208/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=42412 memory=16640 CPUtime=684.93 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2860 0 0 0 68492 1 0 0 20 0 1 0 340324314 43429888 4160 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10603 4160 1520 2 0 3015 0
Current children cumulated CPU time: 684.93 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 16640 KiB

[startup+700.401 s]
/proc/loadavg: 6.16 5.78 4.05 8/552 1179049
/proc/meminfo: memFree=27389208/32713960 swapFree=33554428/33554428
[pid=1178920] ppid=1178919 vsize=42504 memory=16640 CPUtime=685.31 cores=3
/proc/1178920/stat : 1178920 (pigeonPur.py) R 1178919 1178920 1178882 0 -1 4194304 2906 0 0 0 68530 1 0 0 20 0 1 0 340324314 43524096 4160 18446744073709551615 94548286640128 94548286644240 140729845963792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94548288744704 94548288745476 94548304654336 140729845969391 140729845969480 140729845969480 140729845972969 0
/proc/1178920/statm: 10626 4160 1520 2 0 3038 0
Current children cumulated CPU time: 685.31 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 16640 KiB

[startup+700.8 s]*
/proc/loadavg: 6.16 5.78 4.05 6/556 1179055
/proc/meminfo: memFree=27393708/32713960 swapFree=33554428/33554428
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 700.826
CPU time (s): 685.617
CPU user time (s): 685.591
CPU system time (s): 0.02637
CPU usage (%): 97.8299
Max. virtual memory (cumulated for all children) (KiB): 262852
Max. memory (cumulated for all children) (KiB): 32828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 685.591
system time used= 0.02637
maximum resident set size= 33860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7010
page faults= 0
swaps= 0
block input operations= 232
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 10320


# summary of solver processes directly reported to runsolver:
#   pid: 1178920
#   total CPU time (s): 685.617
#   total CPU user time (s): 685.591
#   total CPU system time (s): 0.02637

??? end of timestamper thread
runsolver used 5.68998 second user time and 6.85768 second system time

The end
