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-3707709-1338228019/watcher-3707709-1338228019 -o /tmp/evaluation-result-3707709-1338228019/solver-3707709-1338228019 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707709-1338228019.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.02 2.00 3/177 28046
/proc/meminfo: memFree=30559452/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=11476 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 288930477 11751424 332 33554432000 134512640 137138936 4286793504 4286792272 134520635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 2869 332 180 642 0 2127 0
[startup+0.0418371 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28046
/proc/meminfo: memFree=30559452/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=13076 CPUtime=0.03 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 953 0 0 0 3 0 0 0 20 0 1 0 288930477 13389824 808 33554432000 134512640 137138936 4286793504 4286717120 134543427 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 3269 808 184 642 0 2625 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13076
[startup+0.100262 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28046
/proc/meminfo: memFree=30559452/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=13076 CPUtime=0.09 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 953 0 0 0 9 0 0 0 20 0 1 0 288930477 13389824 808 33554432000 134512640 137138936 4286793504 4286717132 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 3269 808 184 642 0 2625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13076
[startup+0.300232 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28046
/proc/meminfo: memFree=30559452/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=13076 CPUtime=0.29 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 954 0 0 0 29 0 0 0 20 0 1 0 288930477 13389824 809 33554432000 134512640 137138936 4286793504 4286717132 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 3269 809 184 642 0 2625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13076
[startup+0.70023 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28046
/proc/meminfo: memFree=30559452/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=13076 CPUtime=0.69 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 954 0 0 0 69 0 0 0 20 0 1 0 288930477 13389824 809 33554432000 134512640 137138936 4286793504 4286717132 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 3269 809 184 642 0 2625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13076
[startup+1.50022 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28047
/proc/meminfo: memFree=30553996/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=13592 CPUtime=1.49 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 1214 0 0 0 148 1 0 0 20 0 1 0 288930477 13918208 968 33554432000 134512640 137138936 4286793504 4286792256 134572768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 3398 972 192 642 0 2754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13592
[startup+3.10023 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28047
/proc/meminfo: memFree=30550252/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=17396 CPUtime=3.08 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 2165 0 0 0 303 5 0 0 20 0 1 0 288930477 17813504 1919 33554432000 134512640 137138936 4286793504 4286792432 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 4349 1919 192 642 0 3705 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17396
[startup+6.30023 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28047
/proc/meminfo: memFree=30534008/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=28688 CPUtime=6.29 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 4991 0 0 0 619 10 0 0 20 0 1 0 288930477 29376512 4745 33554432000 134512640 137138936 4286793504 4286792432 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 7172 4745 192 642 0 6528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28688
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28047
/proc/meminfo: memFree=30496824/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=48720 CPUtime=12.69 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 10011 0 0 0 1255 14 0 0 20 0 1 0 288930477 49889280 9744 33554432000 134512640 137138936 4286793504 4286792000 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 12180 9744 192 642 0 11536 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48720
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 28047
/proc/meminfo: memFree=30445388/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=83644 CPUtime=25.48 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 19619 0 0 0 2528 20 0 0 20 0 1 0 288930477 85651456 18479 33554432000 134512640 137138936 4286793504 4286792432 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 20911 18479 192 642 0 20267 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83644
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 28070
/proc/meminfo: memFree=30327772/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=174544 CPUtime=51.08 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 43852 0 0 0 5078 30 0 0 20 0 1 0 288930477 178733056 41215 33554432000 134512640 137138936 4286793504 4286791928 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 43636 41215 192 642 0 42992 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 174544
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 28070
/proc/meminfo: memFree=30213880/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=266988 CPUtime=102.28 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 69205 0 0 0 10180 48 0 0 20 0 1 0 288930477 273395712 64310 33554432000 134512640 137138936 4286793504 4286792432 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 66747 64310 192 642 0 66103 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 266988
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 28071
/proc/meminfo: memFree=30152012/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=329228 CPUtime=162.26 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 85143 0 0 0 16162 64 0 0 20 0 1 0 288930477 337129472 79863 33554432000 134512640 137138936 4286793504 4286792432 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 82307 79863 192 642 0 81663 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 329228
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28071
/proc/meminfo: memFree=30079472/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=401280 CPUtime=222.26 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 104053 0 0 0 22153 73 0 0 20 0 1 0 288930477 410910720 97880 33554432000 134512640 137138936 4286793504 4286792040 136504083 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 100320 97880 192 642 0 99676 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 401280
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28071
/proc/meminfo: memFree=29988208/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=493492 CPUtime=282.25 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 127630 0 0 0 28144 81 0 0 20 0 1 0 288930477 505335808 120929 33554432000 134512640 137138936 4286793504 4286792216 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 123373 120929 192 642 0 122729 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 493492
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28071
/proc/meminfo: memFree=29909592/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=570760 CPUtime=342.23 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 147442 0 0 0 34135 88 0 0 20 0 1 0 288930477 584458240 140263 33554432000 134512640 137138936 4286793504 4286791928 134606854 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 142690 140263 192 642 0 142046 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 570760
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 28071
/proc/meminfo: memFree=29847024/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=633512 CPUtime=402.22 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 164385 0 0 0 40126 96 0 0 20 0 1 0 288930477 648716288 155961 33554432000 134512640 137138936 4286793504 4286792048 134607581 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 158378 155961 192 642 0 157734 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 633512
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28072
/proc/meminfo: memFree=29776248/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=703540 CPUtime=462.21 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 186720 0 0 0 46118 103 0 0 20 0 1 0 288930477 720424960 173460 33554432000 134512640 137138936 4286793504 4286792432 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 175885 173460 192 642 0 175241 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 703540
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28072
/proc/meminfo: memFree=29712044/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=768108 CPUtime=522.21 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 206462 0 0 0 52109 112 0 0 20 0 1 0 288930477 786542592 189610 33554432000 134512640 137138936 4286793504 4286792000 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 192027 189610 192 642 0 191383 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 768108
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28072
/proc/meminfo: memFree=29645360/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=834596 CPUtime=582.2 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 226471 0 0 0 58101 119 0 0 20 0 1 0 288930477 854626304 206232 33554432000 134512640 137138936 4286793504 4286791928 134606610 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 208649 206232 192 642 0 208005 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 834596
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30099340/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1121.87 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293866 0 0 0 112009 178 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 1039364
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28115
/proc/meminfo: memFree=30031788/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1181.83 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293901 0 0 0 117992 191 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792216 136504280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1039364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28118
/proc/meminfo: memFree=29983324/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1241.8 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293935 0 0 0 123978 202 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792620 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1039364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28118
/proc/meminfo: memFree=29934960/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1301.79 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 129974 205 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286791928 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1039364
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28119
/proc/meminfo: memFree=29865548/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1361.77 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 135971 206 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792420 136297747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1039364
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28119
/proc/meminfo: memFree=29808536/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1421.77 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 141968 209 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1039364
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28119
/proc/meminfo: memFree=29778184/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1481.76 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 147965 211 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1039364
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28119
/proc/meminfo: memFree=29729232/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1541.74 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 153963 211 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1039364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28119
/proc/meminfo: memFree=29666888/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1601.74 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 159962 212 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792020 134551242 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1039364
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 28120
/proc/meminfo: memFree=29633064/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1661.73 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 165960 213 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542508 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1039364
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28120
/proc/meminfo: memFree=29566256/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1721.72 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 171958 214 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792400 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1039364
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 28123
/proc/meminfo: memFree=29496936/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1781.71 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 177956 215 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286791928 134606653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1039364
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 28123
/proc/meminfo: memFree=29486768/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1791.32 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 178917 215 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 1039364
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28123
/proc/meminfo: memFree=29482064/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1794.51 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 179236 215 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792424 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 1039364
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28123
/proc/meminfo: memFree=29480080/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1796.11 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 179396 215 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 1039364
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28123
/proc/meminfo: memFree=29477352/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1796.9 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 179475 215 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 1039364
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28123
/proc/meminfo: memFree=29477352/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1797.7 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 179555 215 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 1039364
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28123
/proc/meminfo: memFree=29475740/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1797.91 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 179576 215 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1039364
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28123
/proc/meminfo: memFree=29475740/32873844 swapFree=7372/7372
[pid=28046] ppid=28044 vsize=1039364 CPUtime=1798 cores=1,3,5,7
/proc/28046/stat : 28046 (bsolo) R 28044 28046 24082 0 -1 4202496 293939 0 0 0 179585 215 0 0 20 0 1 0 288930477 1064308736 257428 33554432000 134512640 137138936 4286793504 4286792432 134542704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28046/statm: 259841 257428 192 642 0 259197 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 1039364
Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.08
CPU user time (s): 1795.92
CPU system time (s): 2.16267
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 1039364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.92
system time used= 2.16267
maximum resident set size= 1030096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293939
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= 404
involuntary context switches= 2240
runsolver used 2.93955 second user time and 8.5257 second system time
The end