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 (62888 MiB free)
  memory of node 1: 64473 MiB (63467 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438064-1722966220/watcher-4438064-1722966220 -o /tmp/evaluation-result-4438064-1722966220/solver-4438064-1722966220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722959025-338076 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438064-1722966220.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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=342353, runsolver pid=342347

[startup+0.100639 s]*
/proc/loadavg: 4.09 4.10 4.09 6/259 342362
/proc/meminfo: memFree=129363804/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=29768 memory=14868 CPUtime=0.09 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 2851 0 0 0 9 0 0 0 20 0 1 0 63226528 30482432 3717 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 7442 3717 922 2726 0 4190 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48360 KiB
Current children cumulated memory: 18496 KiB

[startup+0.205753 s]*
/proc/loadavg: 4.09 4.10 4.09 6/259 342362
/proc/meminfo: memFree=129314188/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=77092 memory=56204 CPUtime=0.19 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 8716 0 0 0 18 1 0 0 20 0 1 0 63226528 78942208 14051 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 19273 14051 970 2726 0 16021 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95684 KiB
Current children cumulated memory: 59832 KiB

[startup+0.305873 s]*
/proc/loadavg: 4.09 4.10 4.09 6/259 342362
/proc/meminfo: memFree=129305436/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=77092 memory=56204 CPUtime=0.29 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 8738 0 0 0 28 1 0 0 20 0 1 0 63226528 78942208 14051 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 19273 14051 970 2726 0 16021 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 95684 KiB
Current children cumulated memory: 59832 KiB

[startup+0.700232 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 342362
/proc/meminfo: memFree=129271520/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=122472 memory=101648 CPUtime=0.68 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 20035 0 0 0 65 3 0 0 20 0 1 0 63226528 125411328 25412 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 30618 25412 1050 2726 0 27366 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141064 KiB
Current children cumulated memory: 105276 KiB

[startup+1.5003 s]
/proc/loadavg: 4.09 4.10 4.09 6/259 342362
/proc/meminfo: memFree=129099888/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=289768 memory=237704 CPUtime=1.48 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 31254 0 0 0 140 8 0 0 20 0 1 0 63226528 296722432 59426 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 72442 59426 1066 2726 0 69190 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 308360 KiB
Current children cumulated memory: 241332 KiB

[startup+3.10602 s]
/proc/loadavg: 4.08 4.10 4.09 6/267 342432
/proc/meminfo: memFree=128107232/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=818832 memory=779112 CPUtime=3.08 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 160923 0 0 0 281 27 0 0 20 0 1 0 63226528 838483968 194778 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 204708 194778 2618 2726 0 201456 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 837424 KiB
Current children cumulated memory: 782740 KiB

[startup+6.30031 s]
/proc/loadavg: 4.08 4.10 4.09 6/267 342485
/proc/meminfo: memFree=126729696/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=1043212 memory=976892 CPUtime=6.26 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 179683 0 0 0 594 32 0 0 20 0 1 0 63226528 1068249088 244223 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 260803 244223 2650 2726 0 257551 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1061804 KiB
Current children cumulated memory: 980520 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.11 4.09 6/267 342485
/proc/meminfo: memFree=123317900/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=1509260 memory=1388276 CPUtime=12.64 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 242379 0 0 0 1219 45 0 0 20 0 1 0 63226528 1545482240 347069 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 377315 347069 2746 2726 0 374063 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1527852 KiB
Current children cumulated memory: 1391904 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.11 4.09 6/267 342486
/proc/meminfo: memFree=119478144/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=1517896 memory=1394948 CPUtime=25.4 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 244099 0 0 0 2494 46 0 0 20 0 1 0 63226528 1554325504 348737 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 379474 348737 2746 2726 0 376222 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1536488 KiB
Current children cumulated memory: 1398576 KiB

[startup+51.1066 s]
/proc/loadavg: 4.08 4.10 4.09 6/267 342492
/proc/meminfo: memFree=118110620/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 677 600 264 0 134 0
[pid=342360] ppid=342353 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/342360/stat : 342360 (timeout) S 342353 342360 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63226528 8867840 230 134679101440 94828304543744 94828304578760 140736557124576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94828306676176 94828306678308 94828326359040 140736557130750 140736557130909 140736557130909 140736557137895 0
/proc/342360/statm: 2165 230 205 9 0 87 0
[pid=342362] ppid=342360 vsize=1526372 memory=1404136 CPUtime=50.93 cores=4,6
/proc/342362/stat : 342362 (CASHWMaxSAT-Dis) R 342360 342360 338065 0 -1 4194304 245884 0 0 0 5046 47 0 0 20 0 1 0 63226528 1563004928 351034 134679101440 4194304 15356333 140730332722592 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 25993216 140730332726275 140730332726421 140730332726421 140730332733407 0
/proc/342362/statm: 381593 351034 2746 2726 0 378341 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1544964 KiB
Current children cumulated memory: 1407764 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/267 342500
/proc/meminfo: memFree=117871512/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63226528 10170368 677 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0

################
# More data... #
################

/proc/343437/statm: 28120 26677 804 745 0 27185 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 131072 KiB
Current children cumulated memory: 110392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/266 344364
/proc/meminfo: memFree=121676532/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=112616 memory=106856 CPUtime=1659.55 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 15992 0 0 0 165951 4 0 0 20 0 1 0 63406329 115318784 26714 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28154 26714 804 745 0 27219 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 131208 KiB
Current children cumulated memory: 110540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.10 6/266 344374
/proc/meminfo: memFree=121675420/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=112864 memory=107180 CPUtime=1719.38 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 16106 0 0 0 171934 4 0 0 20 0 1 0 63406329 115572736 26795 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28216 26795 804 745 0 27281 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 131456 KiB
Current children cumulated memory: 110864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.10 6/266 344384
/proc/meminfo: memFree=121673544/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=113740 memory=107832 CPUtime=1779.23 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 16353 0 0 0 177918 5 0 0 20 0 1 0 63406329 116469760 26958 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28435 26958 804 745 0 27500 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 132332 KiB
Current children cumulated memory: 111516 KiB

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

# cumulated CPU time of all completed processes:  user=3584.82 s, system=0.667428 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.15 4.10 6/266 344384
/proc/meminfo: memFree=121673560/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=113740 memory=107832 CPUtime=1780.93 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 16353 0 0 0 178088 5 0 0 20 0 1 0 63406329 116469760 26958 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28435 26958 804 745 0 27500 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 132332 KiB
Current children cumulated memory: 111516 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.15 4.10 6/266 344386
/proc/meminfo: memFree=121673400/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=113740 memory=107832 CPUtime=1787.3 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 16353 0 0 0 178725 5 0 0 20 0 1 0 63406329 116469760 26958 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28435 26958 804 745 0 27500 0
Current children cumulated CPU time: 3579.85 s
Current children cumulated vsize: 132332 KiB
Current children cumulated memory: 111516 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.10 6/266 344386
/proc/meminfo: memFree=121673412/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=113740 memory=108068 CPUtime=1790.49 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 16364 0 0 0 179044 5 0 0 20 0 1 0 63406329 116469760 27017 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28435 27017 804 745 0 27500 0
Current children cumulated CPU time: 3583.04 s
Current children cumulated vsize: 132332 KiB
Current children cumulated memory: 111752 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.14 4.10 6/266 344386
/proc/meminfo: memFree=121673368/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=113740 memory=108068 CPUtime=1792.09 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 16364 0 0 0 179204 5 0 0 20 0 1 0 63406329 116469760 27017 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28435 27017 804 745 0 27500 0
Current children cumulated CPU time: 3584.64 s
Current children cumulated vsize: 132332 KiB
Current children cumulated memory: 111752 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.14 4.10 6/266 344386
/proc/meminfo: memFree=121673368/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=113740 memory=108068 CPUtime=1792.49 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 16364 0 0 0 179244 5 0 0 20 0 1 0 63406329 116469760 27017 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28435 27017 804 745 0 27500 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 132332 KiB
Current children cumulated memory: 111752 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.14 4.10 6/266 344388
/proc/meminfo: memFree=121673284/131524600 swapFree=131071996/131071996
[pid=342353] ppid=342347 vsize=9932 memory=2768 CPUtime=1792.55 cores=4,6
/proc/342353/stat : 342353 (Hybrid-CASHWMax) S 342347 342353 338065 0 -1 4194304 270 281944 0 0 0 0 179195 60 20 0 1 0 63226528 10170368 692 134679101440 94924283379712 94924284459032 140732361648592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94924286557488 94924286604676 94924312956928 140732361651150 140732361651309 140732361651309 140732361658324 0
/proc/342353/statm: 2483 692 600 264 0 134 0
[pid=343436] ppid=342353 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343436/stat : 343436 (timeout) S 342353 343436 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63406329 8867840 229 134679101440 94477355630592 94477355665608 140725394225568 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94477357763024 94477357765156 94477390536704 140725394232308 140725394232477 140725394232477 140725394239463 0
/proc/343436/statm: 2165 229 205 9 0 87 0
[pid=343437] ppid=343436 vsize=113740 memory=108068 CPUtime=1792.89 cores=4,6
/proc/343437/stat : 343437 (Exact) R 343436 343436 338065 0 -1 4194304 16364 0 0 0 179284 5 0 0 20 0 1 0 63406329 116469760 27017 134679101440 4194304 7243121 140737279860816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33583104 140737279869968 140737279870118 140737279870118 140737279877104 0
/proc/343437/statm: 28435 27017 804 745 0 27500 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 132332 KiB
Current children cumulated memory: 111752 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3585.48
CPU user time (s): 3584.82
CPU system time (s): 0.667428
CPU usage (%): 99.7068
Max. virtual memory (cumulated for all children) (KiB): 2047988
Max. memory (cumulated for all children) (KiB): 1634368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.82
system time used= 0.667428
maximum resident set size= 1630740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94
involuntary context switches= 2206


# summary of solver processes directly reported to runsolver:
#   pid: 342353
#   total CPU time (s): 3585.48
#   total CPU user time (s): 3584.82
#   total CPU system time (s): 0.667428

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21906 second user time and 21.7388 second system time

The end