runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (62566 MiB free)
  memory of node 1: 64473 MiB (62204 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443535-1721308282/watcher-4443535-1721308282 -o /tmp/evaluation-result-4443535-1721308282/solver-4443535-1721308282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721304555-957902 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443535-1721308282.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=961200, runsolver pid=961197
Current StackSize limit: 8192 KiB


[startup+0.100086 s]*
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127713036/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=68848 memory=55968 CPUtime=0.09 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 2762 0 0 0 8 1 0 0 20 0 1 0 182992083 70500352 13992 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 17212 13992 1073 2753 0 13865 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87440 KiB
Current children cumulated memory: 59644 KiB

[startup+0.205965 s]*
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127710588/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=70896 memory=58144 CPUtime=0.2 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 3349 0 0 0 19 1 0 0 20 0 1 0 182992083 72597504 14536 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 17724 14536 1073 2753 0 14377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 61820 KiB

[startup+0.306068 s]*
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127706468/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=74992 memory=61720 CPUtime=0.29 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 3690 0 0 0 28 1 0 0 20 0 1 0 182992083 76791808 15430 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 18748 15430 1073 2753 0 15401 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93584 KiB
Current children cumulated memory: 65396 KiB

[startup+0.700233 s]
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127702240/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=83184 memory=69916 CPUtime=0.69 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 4211 0 0 0 67 2 0 0 20 0 1 0 182992083 85180416 17479 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 20796 17479 1073 2753 0 17449 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 101776 KiB
Current children cumulated memory: 73592 KiB

[startup+1.50024 s]
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127722760/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=99568 memory=86304 CPUtime=1.49 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 4746 0 0 0 146 3 0 0 20 0 1 0 182992083 101957632 21576 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 24892 21576 1073 2753 0 21545 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118160 KiB
Current children cumulated memory: 89980 KiB

[startup+3.10582 s]
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127679668/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=132336 memory=119208 CPUtime=3.09 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 5402 0 0 0 304 5 0 0 20 0 1 0 182992083 135512064 29802 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 33084 29802 1073 2753 0 29737 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 150928 KiB
Current children cumulated memory: 122884 KiB

[startup+6.30023 s]
/proc/loadavg: 4.36 4.37 4.21 5/262 961222
/proc/meminfo: memFree=127838156/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=551276 memory=507176 CPUtime=6.27 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 20766 0 0 0 603 24 0 0 20 0 1 0 182992083 564506624 126794 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 137819 126794 1105 2753 0 134472 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 569868 KiB
Current children cumulated memory: 510852 KiB

[startup+12.7003 s]
/proc/loadavg: 4.41 4.38 4.21 5/266 961258
/proc/meminfo: memFree=127568016/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=620324 memory=576220 CPUtime=12.67 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 23273 0 0 0 1241 26 0 0 20 0 1 0 182992083 635211776 144055 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 155081 144055 1153 2753 0 151734 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 638916 KiB
Current children cumulated memory: 579896 KiB

[startup+25.5003 s]
/proc/loadavg: 4.35 4.37 4.21 5/266 961311
/proc/meminfo: memFree=127596500/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=620320 memory=547544 CPUtime=25.44 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 23456 0 0 0 2518 26 0 0 20 0 1 0 182992083 635207680 136886 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 155080 136886 1153 2753 0 151733 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 551220 KiB

[startup+28.0569 s]
# the end of solver process 961200 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=27.5748 s, system=0.429915 s

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

[startup+25.6003 s]
/proc/loadavg: 4.35 4.37 4.21 5/266 961311
/proc/meminfo: memFree=127596500/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=620320 memory=547544 CPUtime=25.54 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 23456 0 0 0 2528 26 0 0 20 0 1 0 182992083 635207680 136886 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 155080 136886 1153 2753 0 151733 0
Current children cumulated CPU time: 25.54 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 551220 KiB

[startup+27.2003 s]
/proc/loadavg: 4.32 4.36 4.21 5/262 961327
/proc/meminfo: memFree=127855316/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=828764 memory=619272 CPUtime=27.13 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 62916 0 0 0 2680 33 0 0 20 0 1 0 182992083 848654336 154818 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 207191 154818 1153 2753 0 203844 0
Current children cumulated CPU time: 27.13 s
Current children cumulated vsize: 847356 KiB
Current children cumulated memory: 622948 KiB

[startup+27.6003 s]
/proc/loadavg: 4.32 4.36 4.21 5/262 961327
/proc/meminfo: memFree=127855316/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=842972 memory=747324 CPUtime=27.54 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 81143 0 0 0 2716 38 0 0 20 0 1 0 182992083 863203328 186831 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 210743 186831 1153 2753 0 207396 0
Current children cumulated CPU time: 27.54 s
Current children cumulated vsize: 861564 KiB
Current children cumulated memory: 751000 KiB

[startup+28.0003 s]*
/proc/loadavg: 4.32 4.36 4.21 5/260 961348
/proc/meminfo: memFree=127489112/131524600 swapFree=131071996/131071996
[pid=961200] ppid=961197 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/961200/stat : 961200 (Hybrid-LSMabP+E) S 961197 961200 957891 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182992083 10170368 664 134679101440 93840174800896 93840175880216 140728648329168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93840177978672 93840178025860 93840186531840 140728648332265 140728648332410 140728648332410 140728648339426 0
/proc/961200/statm: 2483 664 585 264 0 134 0
[pid=961203] ppid=961200 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/961203/stat : 961203 (timeout) S 961200 961203 957891 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 182992083 8867840 255 134679101440 94564379492352 94564379527368 140727599744688 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94564381624784 94564381626916 94564395749376 140727599748130 140727599748252 140727599748252 140727599755239 0
/proc/961203/statm: 2165 255 231 9 0 87 0
[pid=961204] ppid=961203 vsize=847032 memory=751596 CPUtime=27.94 cores=4,6
/proc/961204/stat : 961204 (LS-MabP) R 961203 961203 957891 0 -1 4194304 87137 0 0 0 2753 41 0 0 20 0 1 0 182992083 867360768 187899 134679101440 4194304 15467897 140734097585248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24043520 140734097593398 140734097593507 140734097593507 140734097600494 0
/proc/961204/statm: 211758 187899 1153 2753 0 208411 0
Current children cumulated CPU time: 27.94 s
Current children cumulated vsize: 865624 KiB
Current children cumulated memory: 755272 KiB

Child status: 0

Real time (s): 28.0569
CPU time (s): 28.0047
CPU user time (s): 27.5748
CPU system time (s): 0.429915
CPU usage (%): 99.8139
Max. virtual memory (cumulated for all children) (KiB): 1014132
Max. memory (cumulated for all children) (KiB): 903572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.5748
system time used= 0.429915
maximum resident set size= 899896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87840
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 28


# summary of solver processes directly reported to runsolver:
#   pid: 961200
#   total CPU time (s): 28.0047
#   total CPU user time (s): 27.5748
#   total CPU system time (s): 0.429915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066292 second user time and 0.183086 second system time

The end