runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3489888-1307786385/watcher-3489888-1307786385 -o /tmp/evaluation-result-3489888-1307786385/solver-3489888-1307786385 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3489888-1307786385.opb --verbosity=0 --format=opb --randomseed=1424642768 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.97 1.93 2/177 31693
/proc/meminfo: memFree=31633888/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=7728 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 432 0 0 0 0 0 0 0 24 0 1 0 890239411 7913472 385 33554432000 4194304 6720400 140733599419440 18446744073709551615 5806480 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/31693/statm: 1932 385 231 617 0 1306 0

[startup+0.0382911 s]
/proc/loadavg: 1.85 1.97 1.93 2/177 31693
/proc/meminfo: memFree=31633888/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=9380 CPUtime=0.03 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 854 0 0 0 3 0 0 0 24 0 1 0 890239411 9605120 807 33554432000 4194304 6720400 140733599419440 18446744073709551615 4322704 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 2345 807 231 617 0 1719 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9380

[startup+0.100329 s]
/proc/loadavg: 1.85 1.97 1.93 2/177 31693
/proc/meminfo: memFree=31633888/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=18460 CPUtime=0.09 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 3145 0 0 0 9 0 0 0 24 0 1 0 890239411 18903040 3097 33554432000 4194304 6720400 140733599419440 18446744073709551615 4820160 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 4615 3097 255 617 0 3989 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18460

[startup+0.300282 s]
/proc/loadavg: 1.85 1.97 1.93 2/177 31693
/proc/meminfo: memFree=31633888/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=18604 CPUtime=0.29 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 3182 0 0 0 29 0 0 0 25 0 1 0 890239411 19050496 3134 33554432000 4194304 6720400 140733599419440 18446744073709551615 4820053 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 4651 3134 263 617 0 4025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18604

[startup+0.7002 s]
/proc/loadavg: 1.85 1.97 1.93 2/177 31693
/proc/meminfo: memFree=31633888/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=18604 CPUtime=0.69 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 3208 0 0 0 69 0 0 0 25 0 1 0 890239411 19050496 3156 33554432000 4194304 6720400 140733599419440 18446744073709551615 4591657 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 4651 3156 263 617 0 4025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18604

[startup+1.50106 s]
/proc/loadavg: 1.85 1.97 1.93 3/178 31694
/proc/meminfo: memFree=31622496/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=18604 CPUtime=1.49 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 3290 0 0 0 149 0 0 0 25 0 1 0 890239411 19050496 3229 33554432000 4194304 6720400 140733599419440 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 4651 3229 264 617 0 4025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18604

[startup+3.10076 s]
/proc/loadavg: 1.85 1.97 1.93 3/178 31694
/proc/meminfo: memFree=31621708/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=15268 CPUtime=3.09 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 3575 0 0 0 309 0 0 0 25 0 1 0 890239411 15634432 3323 33554432000 4194304 6720400 140733599419440 18446744073709551615 4719536 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 3817 3323 264 617 0 3191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15268

[startup+6.30021 s]
/proc/loadavg: 1.86 1.97 1.93 3/178 31694
/proc/meminfo: memFree=31620592/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=15500 CPUtime=6.29 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 3650 0 0 0 629 0 0 0 25 0 1 0 890239411 15872000 3394 33554432000 4194304 6720400 140733599419440 18446744073709551615 4717333 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 3875 3394 264 617 0 3249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15500

[startup+12.7011 s]
/proc/loadavg: 1.87 1.97 1.93 3/178 31694
/proc/meminfo: memFree=31619832/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=15500 CPUtime=12.69 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 3719 0 0 0 1269 0 0 0 25 0 1 0 890239411 15872000 3461 33554432000 4194304 6720400 140733599419440 18446744073709551615 4592827 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 3875 3461 264 617 0 3249 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15500

[startup+25.5008 s]
/proc/loadavg: 1.90 1.97 1.93 3/178 31694
/proc/meminfo: memFree=31617332/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=17872 CPUtime=25.49 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 4311 0 0 0 2549 0 0 0 25 0 1 0 890239411 18300928 4030 33554432000 4194304 6720400 140733599419440 18446744073709551615 4799133 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 4468 4030 264 617 0 3842 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17872

[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.93 3/178 31695
/proc/meminfo: memFree=31610868/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=24944 CPUtime=51.09 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 5886 0 0 0 5109 0 0 0 25 0 1 0 890239411 25542656 5565 33554432000 4194304 6720400 140733599419440 18446744073709551615 4592868 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 6236 5565 264 617 0 5610 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24944

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.93 3/178 31781
/proc/meminfo: memFree=31613980/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=35116 CPUtime=102.3 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 17861 0 0 0 10228 2 0 0 25 0 1 0 890239411 35958784 8146 33554432000 4194304 6720400 140733599419440 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 8779 8146 264 617 0 8153 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 35116

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.93 3/178 31783
/proc/meminfo: memFree=31605760/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=35116 CPUtime=162.29 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 17862 0 0 0 16227 2 0 0 25 0 1 0 890239411 35958784 8147 33554432000 4194304 6720400 140733599419440 18446744073709551615 4624269 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 8779 8147 264 617 0 8153 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 35116

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.93 3/178 31785
/proc/meminfo: memFree=31552148/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=73108 CPUtime=222.3 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 63832 0 0 0 22221 9 0 0 25 0 1 0 890239411 74862592 17840 33554432000 4194304 6720400 140733599419440 18446744073709551615 4609059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 18277 17840 264 617 0 17651 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73108

[startup+282.3 s]
/proc/loadavg: 2.11 2.00 1.94 3/178 31789
/proc/meminfo: memFree=31545640/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=91984 CPUtime=282.3 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 67113 0 0 0 28220 10 0 0 25 0 1 0 890239411 94191616 21091 33554432000 4194304 6720400 140733599419440 18446744073709551615 4438798 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 22996 21091 264 617 0 22370 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 91984

[startup+342.301 s]
/proc/loadavg: 2.04 2.00 1.94 3/178 31791
/proc/meminfo: memFree=31534500/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=91984 CPUtime=342.3 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 67113 0 0 0 34220 10 0 0 25 0 1 0 890239411 94191616 21091 33554432000 4194304 6720400 140733599419440 18446744073709551615 4591748 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 22996 21091 264 617 0 22370 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 91984

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 31792
/proc/meminfo: memFree=31532992/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=91984 CPUtime=402.3 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 105128 0 0 0 40215 15 0 0 25 0 1 0 890239411 94191616 21098 33554432000 4194304 6720400 140733599419440 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 22996 21098 264 617 0 22370 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 91984

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31794
/proc/meminfo: memFree=31505188/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=104200 CPUtime=462.3 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 146485 0 0 0 46208 22 0 0 25 0 1 0 890239411 106700800 25613 33554432000 4194304 6720400 140733599419440 18446744073709551615 4718517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 26050 25613 264 617 0 25424 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 104200

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31795
/proc/meminfo: memFree=31500440/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=104200 CPUtime=522.3 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 146485 0 0 0 52208 22 0 0 25 0 1 0 890239411 106700800 25613 33554432000 4194304 6720400 140733599419440 18446744073709551615 4616691 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 26050 25613 264 617 0 25424 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 104200

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31797
/proc/meminfo: memFree=31500548/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=111204 CPUtime=582.31 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 147783 0 0 0 58208 23 0 0 25 0 1 0 890239411 113872896 26908 33554432000 4194304 6720400 140733599419440 18446744073709551615 4595199 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 27801 26908 264 617 0 27175 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 111204

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31799
/proc/meminfo: memFree=31500372/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=122876 CPUtime=642.31 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 187661 0 0 0 64202 29 0 0 25 0 1 0 890239411 125825024 25614 33554432000 4194304 6720400 140733599419440 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 30719 25614 264 617 0 30093 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 122876

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31800
/proc/meminfo: memFree=31472196/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=122876 CPUtime=702.3 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 192394 0 0 0 70201 29 0 0 25 0 1 0 890239411 125825024 30282 33554432000 4194304 6720400 140733599419440 18446744073709551615 4803254 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 30719 30282 264 617 0 30093 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 122876

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31802
/proc/meminfo: memFree=31472168/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=122876 CPUtime=762.31 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 192394 0 0 0 76202 29 0 0 25 0 1 0 890239411 125825024 30282 33554432000 4194304 6720400 140733599419440 18446744073709551615 4717757 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 30719 30282 264 617 0 30093 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 122876

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31804
/proc/meminfo: memFree=31454784/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=172196 CPUtime=822.31 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 278530 0 0 0 82190 41 0 0 25 0 1 0 890239411 176328704 35409 33554432000 4194304 6720400 140733599419440 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 43049 35409 264 617 0 42423 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 172196

[startup+882.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 31805
/proc/meminfo: memFree=31439880/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=172196 CPUtime=882.31 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 380745 0 0 0 88176 55 0 0 25 0 1 0 890239411 176328704 38466 33554432000 4194304 6720400 140733599419440 18446744073709551615 4616708 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 43049 38467 264 617 0 42423 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 172196

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 31807
/proc/meminfo: memFree=31471596/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=122876 CPUtime=942.32 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 432599 0 0 0 94169 63 0 0 25 0 1 0 890239411 125825024 30282 33554432000 4194304 6720400 140733599419440 18446744073709551615 4592939 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 30719 30282 264 617 0 30093 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 122876

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31808
/proc/meminfo: memFree=31471556/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=141836 CPUtime=1002.32 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 432601 0 0 0 100169 63 0 0 25 0 1 0 890239411 145240064 30284 33554432000 4194304 6720400 140733599419440 18446744073709551615 4611696 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 35459 30284 264 617 0 34833 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 141836

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31810
/proc/meminfo: memFree=31488396/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=111376 CPUtime=1062.32 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 453717 0 0 0 106166 66 0 0 25 0 1 0 890239411 114049024 24516 33554432000 4194304 6720400 140733599419440 18446744073709551615 4803086 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 27844 24516 264 617 0 27218 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 111376

Solver just ended. Dumping a history of the last processes samples

[startup+1068.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31810
/proc/meminfo: memFree=31488272/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=111376 CPUtime=1068.72 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 453717 0 0 0 106806 66 0 0 25 0 1 0 890239411 114049024 24516 33554432000 4194304 6720400 140733599419440 18446744073709551615 4608988 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 27844 24516 264 617 0 27218 0
Current children cumulated CPU time (s) 1068.72
Current children cumulated vsize (KiB) 111376

[startup+1071.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31810
/proc/meminfo: memFree=31488268/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=111376 CPUtime=1071.92 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 453717 0 0 0 107126 66 0 0 25 0 1 0 890239411 114049024 24516 33554432000 4194304 6720400 140733599419440 18446744073709551615 4592945 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 27844 24516 264 617 0 27218 0
Current children cumulated CPU time (s) 1071.92
Current children cumulated vsize (KiB) 111376

[startup+1073.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31810
/proc/meminfo: memFree=31488380/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=111376 CPUtime=1073.52 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 453717 0 0 0 107286 66 0 0 25 0 1 0 890239411 114049024 24516 33554432000 4194304 6720400 140733599419440 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 27844 24516 264 617 0 27218 0
Current children cumulated CPU time (s) 1073.52
Current children cumulated vsize (KiB) 111376

[startup+1073.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31810
/proc/meminfo: memFree=31488380/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=111376 CPUtime=1073.92 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 453717 0 0 0 107326 66 0 0 25 0 1 0 890239411 114049024 24516 33554432000 4194304 6720400 140733599419440 18446744073709551615 4609008 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 27844 24516 264 617 0 27218 0
Current children cumulated CPU time (s) 1073.92
Current children cumulated vsize (KiB) 111376

[startup+1074.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31810
/proc/meminfo: memFree=31488380/32951124 swapFree=67052292/67111528
[pid=31693] ppid=31691 vsize=111376 CPUtime=1074.32 cores=0,2,4,6
/proc/31693/stat : 31693 (minisatid) R 31691 31693 31520 0 -1 4202496 453717 0 0 0 107366 66 0 0 25 0 1 0 890239411 114049024 24516 33554432000 4194304 6720400 140733599419440 18446744073709551615 4624607 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/31693/statm: 27844 24516 264 617 0 27218 0
Current children cumulated CPU time (s) 1074.32
Current children cumulated vsize (KiB) 111376

Child status: 10
Real time (s): 1074.32
CPU time (s): 1074.34
CPU user time (s): 1073.67
CPU system time (s): 0.665898
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 221976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1073.67
system time used= 0.665898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453725
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= 5
involuntary context switches= 2020

runsolver used 1.59876 second user time and 3.2865 second system time

The end