runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3707735-1338184827/watcher-3707735-1338184827 -o /tmp/evaluation-result-3707735-1338184827/solver-3707735-1338184827 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707735-1338184827.opb
running on 4 cores: 1,3,5,7
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: 2.00 2.00 2.00 3/177 31646
/proc/meminfo: memFree=27309304/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=11768 CPUtime=0 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 411 0 0 0 0 0 0 0 20 0 1 0 284608128 12050432 365 33554432000 134512640 137138936 4292497888 4292495896 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 2942 365 177 642 0 2192 0
[startup+0.0898799 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31646
/proc/meminfo: memFree=27309304/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=24924 CPUtime=0.07 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 3903 0 0 0 7 0 0 0 20 0 1 0 284608128 25522176 3711 33554432000 134512640 137138936 4292497888 4292496568 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 6231 3715 183 642 0 5587 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24924
[startup+0.100252 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31646
/proc/meminfo: memFree=27309304/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=27828 CPUtime=0.08 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4622 0 0 0 8 0 0 0 20 0 1 0 284608128 28495872 4430 33554432000 134512640 137138936 4292497888 4292496912 134550300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7034 4432 184 642 0 6390 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27828
[startup+0.300194 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31646
/proc/meminfo: memFree=27309304/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=28268 CPUtime=0.29 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4702 0 0 0 28 1 0 0 20 0 1 0 284608128 28946432 4510 33554432000 134512640 137138936 4292497888 4292107260 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7067 4510 185 642 0 6423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28268
[startup+0.700186 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31646
/proc/meminfo: memFree=27309304/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=28268 CPUtime=0.69 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4702 0 0 0 68 1 0 0 20 0 1 0 284608128 28946432 4510 33554432000 134512640 137138936 4292497888 4292107072 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7067 4510 185 642 0 6423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28268
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31647
/proc/meminfo: memFree=27290504/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=28268 CPUtime=1.49 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4703 0 0 0 148 1 0 0 20 0 1 0 284608128 28946432 4511 33554432000 134512640 137138936 4292497888 4292106808 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7067 4511 185 642 0 6423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28268
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31647
/proc/meminfo: memFree=27288892/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=28268 CPUtime=3.09 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4704 0 0 0 308 1 0 0 20 0 1 0 284608128 28946432 4512 33554432000 134512640 137138936 4292497888 4292106856 136505123 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7067 4512 185 642 0 6423 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28268
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31647
/proc/meminfo: memFree=27285296/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=28268 CPUtime=6.29 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4704 0 0 0 628 1 0 0 20 0 1 0 284608128 28946432 4512 33554432000 134512640 137138936 4292497888 4292107260 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7067 4512 185 642 0 6423 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28268
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31647
/proc/meminfo: memFree=27279580/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=28268 CPUtime=12.69 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4704 0 0 0 1267 2 0 0 20 0 1 0 284608128 28946432 4512 33554432000 134512640 137138936 4292497888 4292106856 136504370 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7067 4512 185 642 0 6423 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28268
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31647
/proc/meminfo: memFree=27267860/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=28268 CPUtime=25.48 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4704 0 0 0 2546 2 0 0 20 0 1 0 284608128 28946432 4512 33554432000 134512640 137138936 4292497888 4292107072 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7067 4512 185 642 0 6423 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28268
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31670
/proc/meminfo: memFree=27244888/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=28268 CPUtime=51.08 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 4704 0 0 0 5104 4 0 0 20 0 1 0 284608128 28946432 4512 33554432000 134512640 137138936 4292497888 4292107260 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 7067 4512 185 642 0 6423 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28268
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31671
/proc/meminfo: memFree=27181284/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=87988 CPUtime=102.27 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 20862 0 0 0 10201 26 0 0 20 0 1 0 284608128 90099712 19519 33554432000 134512640 137138936 4292497888 4292496784 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 21997 19519 192 642 0 21353 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87988
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31671
/proc/meminfo: memFree=27029412/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=240476 CPUtime=162.21 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 59020 0 0 0 16168 53 0 0 20 0 1 0 284608128 246247424 57630 33554432000 134512640 137138936 4292497888 4292497004 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 60119 57630 192 642 0 59475 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 240476
[startup+222.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 31709
/proc/meminfo: memFree=27586216/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=337568 CPUtime=222.17 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 83338 0 0 0 22148 69 0 0 20 0 1 0 284608128 345669632 81900 33554432000 134512640 137138936 4292497888 4292496816 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 84392 81900 192 642 0 83748 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 337568
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31709
/proc/meminfo: memFree=27496896/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=428176 CPUtime=282.12 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 106053 0 0 0 28127 85 0 0 20 0 1 0 284608128 438452224 104567 33554432000 134512640 137138936 4292497888 4292496404 134551566 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 107044 104567 192 642 0 106400 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 428176
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31709
/proc/meminfo: memFree=27388052/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=535540 CPUtime=342.08 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 132943 0 0 0 34106 102 0 0 20 0 1 0 284608128 548392960 131414 33554432000 134512640 137138936 4292497888 4292496784 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 133885 131414 192 642 0 133241 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 535540
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31748
/proc/meminfo: memFree=27330140/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=627820 CPUtime=402.05 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 156046 0 0 0 40090 115 0 0 20 0 1 0 284608128 642887680 154475 33554432000 134512640 137138936 4292497888 4292496816 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 156955 154475 192 642 0 156311 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 627820
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31748
/proc/meminfo: memFree=27217468/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=707436 CPUtime=462 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 175985 0 0 0 46075 125 0 0 20 0 1 0 284608128 724414464 174367 33554432000 134512640 137138936 4292497888 4292497004 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 176859 174367 192 642 0 176215 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 707436
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31748
/proc/meminfo: memFree=27132060/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=778968 CPUtime=521.96 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 193916 0 0 0 52058 138 0 0 20 0 1 0 284608128 797663232 192250 33554432000 134512640 137138936 4292497888 4292496816 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 194742 192250 192 642 0 194098 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 778968
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31751
/proc/meminfo: memFree=27053068/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=846940 CPUtime=581.93 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 210954 0 0 0 58048 145 0 0 20 0 1 0 284608128 867266560 209243 33554432000 134512640 137138936 4292497888 4292497004 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 211735 209243 192 642 0 211091 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 846940
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26866592/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1061.85 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259227 0 0 0 105953 232 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496784 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 1039972
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31905
/proc/meminfo: memFree=26857668/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1121.84 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259227 0 0 0 111947 237 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292484760 134599744 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1039972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31908
/proc/meminfo: memFree=26856896/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1181.83 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259227 0 0 0 117941 242 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496816 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1039972
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31908
/proc/meminfo: memFree=26853024/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1241.8 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259271 0 0 0 123935 245 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496784 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1039972
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31909
/proc/meminfo: memFree=26852376/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1301.79 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 129927 252 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496312 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1039972
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31909
/proc/meminfo: memFree=26852916/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1361.77 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 135907 270 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496816 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1039972
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31909
/proc/meminfo: memFree=26846468/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1421.76 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 141899 277 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292491044 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1039972
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31909
/proc/meminfo: memFree=26846468/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1481.75 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 147883 292 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496784 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1039972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31909
/proc/meminfo: memFree=26846844/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1541.75 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 153874 301 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292484324 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1039972
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31911
/proc/meminfo: memFree=26846960/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1601.74 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 159864 310 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496816 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1039972
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31911
/proc/meminfo: memFree=26847216/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1661.72 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 165853 319 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496816 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1039972
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31911
/proc/meminfo: memFree=26839528/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1721.71 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 171845 326 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496816 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1039972
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31914
/proc/meminfo: memFree=26838520/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1781.7 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 177837 333 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496784 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1039972
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31914
/proc/meminfo: memFree=26839152/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1791.31 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 178796 335 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496748 136520933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 1039972
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31914
/proc/meminfo: memFree=26839152/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1794.51 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 179116 335 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496784 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 1039972
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31914
/proc/meminfo: memFree=26839152/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1796.1 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 179275 335 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496816 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 1039972
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31914
/proc/meminfo: memFree=26839152/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1796.9 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 179355 335 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496640 134577137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 1039972
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31914
/proc/meminfo: memFree=26839152/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1797.7 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 179435 335 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496816 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 1039972
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31914
/proc/meminfo: memFree=26839152/32873648 swapFree=7104/7104
[pid=31646] ppid=31644 vsize=1039972 CPUtime=1798.1 cores=1,3,5,7
/proc/31646/stat : 31646 (bsolo) R 31644 31646 29254 0 -1 4202496 259299 0 0 0 179475 335 0 0 20 0 1 0 284608128 1064931328 257953 33554432000 134512640 137138936 4292497888 4292496816 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31646/statm: 259993 257953 192 642 0 259349 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 1039972
Child status: 0
Real time (s): 1798.72
CPU time (s): 1798.13
CPU user time (s): 1794.77
CPU system time (s): 3.36149
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 1039972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.77
system time used= 3.36149
maximum resident set size= 1031812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259299
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= 475
involuntary context switches= 1834
runsolver used 3.43848 second user time and 10.1035 second system time
The end