runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (15086 MiB free)
memory of node 1: 16384 MiB (14705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391698-1568311104/watcher-4391698-1568311104 -o /tmp/evaluation-result-4391698-1568311104/solver-4391698-1568311104 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568305658-21707 --watchdog 2560 nacre_mini_release HOME/instance-4391698-1568311104.xml -complete -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22808, runsolver pid=22805
[startup+0.100149 s]*
/proc/loadavg: 2.00 2.07 2.07 3/199 22809
/proc/meminfo: memFree=30502132/32770624 swapFree=66933280/67108860
[pid=22808] ppid=22805 vsize=31212 memory=7248 CPUtime=0.1 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 2362 0 0 0 10 0 0 0 20 0 1 0 407381885 31961088 1812 33554432000 4194304 4935366 140720571464720 140720571461720 140469840821221 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 7803 1812 558 181 0 1420 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31212 KiB
Current children cumulated memory: 7248 KiB
[startup+0.209757 s]*
/proc/loadavg: 2.00 2.07 2.07 3/199 22809
/proc/meminfo: memFree=30483420/32770624 swapFree=66933280/67108860
[pid=22808] ppid=22805 vsize=50004 memory=26196 CPUtime=0.2 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 7436 0 0 0 20 0 0 0 20 0 1 0 407381885 51204096 6549 33554432000 4194304 4935366 140720571464720 140720571461720 140469840821221 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 12501 6549 571 181 0 6118 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50004 KiB
Current children cumulated memory: 26196 KiB
[startup+0.309715 s]*
/proc/loadavg: 2.00 2.07 2.07 3/199 22809
/proc/meminfo: memFree=30468888/32770624 swapFree=66933280/67108860
[pid=22808] ppid=22805 vsize=70684 memory=46788 CPUtime=0.31 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 12551 0 0 0 30 1 0 0 20 0 1 0 407381885 72380416 11697 33554432000 4194304 4935366 140720571464720 140720571461720 4272389 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 17671 11697 571 181 0 11288 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 70684 KiB
Current children cumulated memory: 46788 KiB
[startup+0.700367 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 22809
/proc/meminfo: memFree=30438384/32770624 swapFree=66933280/67108860
[pid=22808] ppid=22805 vsize=120620 memory=96156 CPUtime=0.69 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 24917 0 0 0 66 3 0 0 20 0 1 0 407381885 123514880 24039 33554432000 4194304 4935366 140720571464720 140720571461720 4271828 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 30155 24039 571 181 0 23772 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120620 KiB
Current children cumulated memory: 96156 KiB
[startup+1.50038 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 22809
/proc/meminfo: memFree=30375644/32770624 swapFree=66933280/67108860
[pid=22808] ppid=22805 vsize=228688 memory=203340 CPUtime=1.48 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 51684 0 0 0 142 6 0 0 20 0 1 0 407381885 234176512 50835 33554432000 4194304 4935366 140720571464720 140720571459320 140469840830437 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 57172 50835 571 181 0 50789 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 228688 KiB
Current children cumulated memory: 203340 KiB
[startup+3.1096 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 22809
/proc/meminfo: memFree=30103696/32770624 swapFree=66933280/67108860
[pid=22808] ppid=22805 vsize=444828 memory=417524 CPUtime=3.09 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 108089 0 0 0 296 13 0 0 20 0 1 0 407381885 455503872 104381 33554432000 4194304 4935366 140720571464720 140720571459320 140469841685533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 111207 104381 571 181 0 104824 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 444828 KiB
Current children cumulated memory: 417524 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 22810
/proc/meminfo: memFree=29699952/32770624 swapFree=66933280/67108860
[pid=22808] ppid=22805 vsize=883460 memory=852104 CPUtime=6.28 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 217799 0 0 0 603 25 0 0 20 0 1 0 407381885 904663040 213026 33554432000 4194304 4935366 140720571464720 140720571459320 4271851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 220865 213026 571 181 0 214482 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 883460 KiB
Current children cumulated memory: 852104 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 22812
/proc/meminfo: memFree=29650336/32770624 swapFree=66933280/67108860
[pid=22808] ppid=22805 vsize=888280 memory=857316 CPUtime=12.68 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 427903 0 0 0 1235 33 0 0 20 0 1 0 407381885 909598720 214329 33554432000 4194304 4935366 140720571464720 140720571463240 140469840813595 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 214329 590 181 0 215687 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 857316 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.06 2.07 3/199 22813
/proc/meminfo: memFree=29650356/32770624 swapFree=66933292/67108860
[pid=22808] ppid=22805 vsize=888280 memory=857468 CPUtime=25.48 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 631927 0 0 0 2506 42 0 0 20 0 1 0 407381885 909598720 214367 33554432000 4194304 4935366 140720571464720 140720571462968 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 214367 598 181 0 215687 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 857468 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.06 2.07 3/199 22813
/proc/meminfo: memFree=29649580/32770624 swapFree=66933292/67108860
[pid=22808] ppid=22805 vsize=888280 memory=857760 CPUtime=51.09 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 876448 0 0 0 5057 52 0 0 20 0 1 0 407381885 909598720 214440 33554432000 4194304 4935366 140720571464720 140720571462968 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 214440 598 181 0 215687 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 857760 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 2.03 2.06 3/200 22948
/proc/meminfo: memFree=30293332/32770624 swapFree=66933292/67108860
[pid=22808] ppid=22805 vsize=888280 memory=858704 CPUtime=102.27 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1052479 0 0 0 10167 60 0 0 20 0 1 0 407381885 909598720 214676 33554432000 4194304 4935366 140720571464720 140720571462968 140469841684499 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 214676 598 181 0 215687 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 858704 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 2.03 2.05 3/200 22959
/proc/meminfo: memFree=30293004/32770624 swapFree=66933296/67108860
[pid=22808] ppid=22805 vsize=888280 memory=859588 CPUtime=162.28 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1212049 0 0 0 16161 67 0 0 20 0 1 0 407381885 909598720 214897 33554432000 4194304 4935366 140720571464720 140720571462968 140469840818994 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 214897 598 181 0 215687 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 859588 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/201 22986
/proc/meminfo: memFree=30291392/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=860528 CPUtime=222.28 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1354984 0 0 0 22155 73 0 0 20 0 1 0 407381885 909598720 215132 33554432000 4194304 4935366 140720571464720 140720571462968 140469841684494 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 215132 598 181 0 215687 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 860528 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/201 22992
/proc/meminfo: memFree=30290148/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=861408 CPUtime=282.28 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1481850 0 0 0 28150 78 0 0 20 0 1 0 407381885 909598720 215352 33554432000 4194304 4935366 140720571464720 140720571462968 140469841684544 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 215352 598 181 0 215687 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 861408 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/201 22996
/proc/meminfo: memFree=30289404/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=862348 CPUtime=342.28 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1566381 0 0 0 34147 81 0 0 20 0 1 0 407381885 909598720 215587 33554432000 4194304 4935366 140720571464720 140720571462968 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 215587 598 181 0 215687 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 862348 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/200 23000
/proc/meminfo: memFree=30288576/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=863220 CPUtime=402.28 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1631667 0 0 0 40144 84 0 0 20 0 1 0 407381885 909598720 215805 33554432000 4194304 4935366 140720571464720 140720571462968 4400984 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 215805 598 181 0 215687 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 863220 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/201 23006
/proc/meminfo: memFree=30287368/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864156 CPUtime=462.28 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1672721 0 0 0 46142 86 0 0 20 0 1 0 407381885 909598720 216039 33554432000 4194304 4935366 140720571464720 140720571462968 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216039 598 181 0 215687 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864156 KiB
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 23010
/proc/meminfo: memFree=30287428/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864916 CPUtime=522.28 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1678406 0 0 0 52142 86 0 0 20 0 1 0 407381885 909598720 216229 33554432000 4194304 4935366 140720571464720 140720571462968 140469841684499 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216229 598 181 0 215687 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864916 KiB
[startup+542.251 s]
# the end of solver process 22808 was just reported to runsolver
# cumulated CPU time of all completed processes: user=541.368 s, system=0.868017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 23010
/proc/meminfo: memFree=30286544/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864916 CPUtime=524.78 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1678410 0 0 0 52392 86 0 0 20 0 1 0 407381885 909598720 216229 33554432000 4194304 4935366 140720571464720 140720571462968 140469841684499 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216229 598 181 0 215687 0
Current children cumulated CPU time: 524.78 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864916 KiB
[startup+531.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 23010
/proc/meminfo: memFree=30286512/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864916 CPUtime=531.18 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1678410 0 0 0 53032 86 0 0 20 0 1 0 407381885 909598720 216229 33554432000 4194304 4935366 140720571464720 140720571462968 140469841684499 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216229 598 181 0 215687 0
Current children cumulated CPU time: 531.18 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864916 KiB
[startup+537.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 23010
/proc/meminfo: memFree=30285256/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864916 CPUtime=537.58 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1678538 0 0 0 53672 86 0 0 20 0 1 0 407381885 909598720 216229 33554432000 4194304 4935366 140720571464720 140720571462968 140469840830448 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216229 598 181 0 215687 0
Current children cumulated CPU time: 537.58 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864916 KiB
[startup+540.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 23010
/proc/meminfo: memFree=30285380/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864916 CPUtime=540.78 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1678538 0 0 0 53992 86 0 0 20 0 1 0 407381885 909598720 216229 33554432000 4194304 4935366 140720571464720 140720571462968 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216229 598 181 0 215687 0
Current children cumulated CPU time: 540.78 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864916 KiB
[startup+541.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 23010
/proc/meminfo: memFree=30285504/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864916 CPUtime=541.58 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1678538 0 0 0 54072 86 0 0 20 0 1 0 407381885 909598720 216229 33554432000 4194304 4935366 140720571464720 140720571462968 140469841684499 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216229 598 181 0 215687 0
Current children cumulated CPU time: 541.58 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864916 KiB
[startup+542 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 23010
/proc/meminfo: memFree=30285504/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864916 CPUtime=541.99 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1678538 0 0 0 54113 86 0 0 20 0 1 0 407381885 909598720 216229 33554432000 4194304 4935366 140720571464720 140720571462968 140469840813846 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216229 598 181 0 215687 0
Current children cumulated CPU time: 541.99 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864916 KiB
[startup+542.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 23010
/proc/meminfo: memFree=30285504/32770624 swapFree=66933312/67108860
[pid=22808] ppid=22805 vsize=888280 memory=864916 CPUtime=542.18 cores=0,2,4,6
/proc/22808/stat : 22808 (nacre_mini_rele) R 22805 22808 19999 0 -1 4202496 1678538 0 0 0 54132 86 0 0 20 0 1 0 407381885 909598720 216229 33554432000 4194304 4935366 140720571464720 140720571462968 140469840820310 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 14802944 140720571466747 140720571466853 140720571466853 140720571469762 0
/proc/22808/statm: 222070 216229 598 181 0 215687 0
Current children cumulated CPU time: 542.18 s
Current children cumulated vsize: 888280 KiB
Current children cumulated memory: 864916 KiB
Child status: 20
Real time (s): 542.251
CPU time (s): 542.236
CPU user time (s): 541.368
CPU system time (s): 0.868017
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 888280
Max. memory (cumulated for all children) (KiB): 864916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 541.368
system time used= 0.868017
maximum resident set size= 864980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1678924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 147
# summary of solver processes directly reported to runsolver:
# pid: 22808
# total CPU time (s): 542.236
# total CPU user time (s): 541.368
# total CPU system time (s): 0.868017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.21761 second user time and 3.99956 second system time
The end