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-3707878-1338151292/watcher-3707878-1338151292 -o /tmp/evaluation-result-3707878-1338151292/solver-3707878-1338151292 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707878-1338151292.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: 1.92 1.98 1.99 3/176 15157
/proc/meminfo: memFree=29972848/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=11556 CPUtime=0 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 434 0 0 0 0 0 0 0 20 0 1 0 281253304 11833344 384 33554432000 134512640 137138936 4287450960 4287448648 135445326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 2889 384 275 642 0 2245 0
[startup+0.041045 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15157
/proc/meminfo: memFree=29972848/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=11736 CPUtime=0.03 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 878 0 0 0 3 0 0 0 20 0 1 0 281253304 12017664 449 33554432000 134512640 137138936 4287450960 4287448584 136506019 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 2934 449 282 642 0 2290 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11736
[startup+0.10021 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15157
/proc/meminfo: memFree=29972848/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=11716 CPUtime=0.09 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 1973 0 0 0 9 0 0 0 20 0 1 0 281253304 11997184 408 33554432000 134512640 137138936 4287450960 4287450076 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 2722 380 282 642 0 2078 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11716
[startup+0.300175 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15157
/proc/meminfo: memFree=29972848/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=11724 CPUtime=0.29 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 6219 0 0 0 28 1 0 0 20 0 1 0 281253304 12005376 417 33554432000 134512640 137138936 4287450960 4287448648 135445287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 2931 417 283 642 0 2287 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11724
[startup+0.700176 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15157
/proc/meminfo: memFree=29972848/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=11824 CPUtime=0.69 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 14355 0 0 0 67 2 0 0 20 0 1 0 281253304 12107776 439 33554432000 134512640 137138936 4287450960 4287448720 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 2956 441 287 642 0 2312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11824
[startup+1.50017 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 15158
/proc/meminfo: memFree=29970088/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=12268 CPUtime=1.48 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 33077 0 0 0 144 4 0 0 20 0 1 0 281253304 12562432 529 33554432000 134512640 137138936 4287450960 4287448616 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3067 529 287 642 0 2423 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12268
[startup+3.10018 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 15158
/proc/meminfo: memFree=29967484/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=13700 CPUtime=3.09 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 75511 0 0 0 299 10 0 0 20 0 1 0 281253304 14028800 876 33554432000 134512640 137138936 4287450960 4287448648 135445326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3425 876 287 642 0 2781 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13700
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 15158
/proc/meminfo: memFree=29963560/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15304 CPUtime=6.29 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 148664 0 0 0 604 25 0 0 20 0 1 0 281253304 15671296 1301 33554432000 134512640 137138936 4287450960 4287449080 134733961 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3826 1303 287 642 0 3182 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15304
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 15158
/proc/meminfo: memFree=29961232/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15304 CPUtime=12.68 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 248907 0 0 0 1221 47 0 0 20 0 1 0 281253304 15671296 1302 33554432000 134512640 137138936 4287450960 4287448352 135382745 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3826 1302 287 642 0 3182 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15304
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 15158
/proc/meminfo: memFree=29959224/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15124 CPUtime=25.48 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 427915 0 0 0 2454 94 0 0 20 0 1 0 281253304 15486976 1304 33554432000 134512640 137138936 4287450960 4287448856 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3781 1305 287 642 0 3137 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15124
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 15158
/proc/meminfo: memFree=29957236/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15268 CPUtime=51.08 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 767185 0 0 0 4918 190 0 0 20 0 1 0 281253304 15634432 1308 33554432000 134512640 137138936 4287450960 4287448720 135450397 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3817 1308 287 642 0 3173 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15268
[startup+102.306 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 15158
/proc/meminfo: memFree=29956784/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15352 CPUtime=102.28 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 1288846 0 0 0 9920 308 0 0 20 0 1 0 281253304 15720448 1312 33554432000 134512640 137138936 4287450960 4287448648 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3838 1312 287 642 0 3194 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15352
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15158
/proc/meminfo: memFree=29955728/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15368 CPUtime=162.26 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 1830875 0 0 0 15803 423 0 0 20 0 1 0 281253304 15736832 1307 33554432000 134512640 137138936 4287450960 4287448120 135366519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3842 1307 287 642 0 3198 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15368
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15159
/proc/meminfo: memFree=29954176/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15368 CPUtime=222.25 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 2370157 0 0 0 21690 535 0 0 20 0 1 0 281253304 15736832 1307 33554432000 134512640 137138936 4287450960 4287448392 135366519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3842 1307 287 642 0 3198 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15368
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15159
/proc/meminfo: memFree=29953684/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15376 CPUtime=282.24 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 2917950 0 0 0 27579 645 0 0 20 0 1 0 281253304 15745024 1309 33554432000 134512640 137138936 4287450960 4287448048 135435764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3885 1310 287 642 0 3241 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 15376
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15159
/proc/meminfo: memFree=29953012/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=14552 CPUtime=342.23 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 3467917 0 0 0 33471 752 0 0 20 0 1 0 281253304 14901248 1302 33554432000 134512640 137138936 4287450960 4287450076 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3638 1302 287 642 0 2994 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14552
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15159
/proc/meminfo: memFree=29952888/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15536 CPUtime=402.22 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 4023126 0 0 0 39356 866 0 0 20 0 1 0 281253304 15908864 1333 33554432000 134512640 137138936 4287450960 4287448648 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3884 1333 287 642 0 3240 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15536
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15159
/proc/meminfo: memFree=29952888/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15544 CPUtime=462.22 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 4574697 0 0 0 45243 979 0 0 20 0 1 0 281253304 15917056 1325 33554432000 134512640 137138936 4287450960 4287448648 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3886 1325 287 642 0 3242 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 15544
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15162
/proc/meminfo: memFree=29953260/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15536 CPUtime=522.21 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 5117676 0 0 0 51130 1091 0 0 20 0 1 0 281253304 15908864 1313 33554432000 134512640 137138936 4287450960 4287448648 135445326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3884 1313 287 642 0 3240 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 15536
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15163
/proc/meminfo: memFree=29953120/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=14552 CPUtime=582.2 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 5654844 0 0 0 57022 1198 0 0 20 0 1 0 281253304 14901248 1302 33554432000 134512640 137138936 4287450960 4287448988 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3638 1302 287 642 0 2994 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 14552
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29952016/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15372 CPUtime=1122.12 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 10457399 0 0 0 110045 2167 0 0 20 0 1 0 281253304 15740928 1309 33554432000 134512640 137138936 4287450960 4287448320 135436669 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3884 1310 287 642 0 3240 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 15372
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15191
/proc/meminfo: memFree=29951020/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15364 CPUtime=1182.11 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 10981953 0 0 0 115942 2269 0 0 20 0 1 0 281253304 15732736 1316 33554432000 134512640 137138936 4287450960 4287448648 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3841 1316 287 642 0 3197 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 15364
[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 15191
/proc/meminfo: memFree=29950888/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15636 CPUtime=1242.1 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 11520028 0 0 0 121832 2378 0 0 20 0 1 0 281253304 16011264 1322 33554432000 134512640 137138936 4287450960 4287448648 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3909 1322 287 642 0 3265 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 15636
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15191
/proc/meminfo: memFree=29950144/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15648 CPUtime=1302.1 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 12056877 0 0 0 127726 2484 0 0 20 0 1 0 281253304 16023552 1332 33554432000 134512640 137138936 4287450960 4287448648 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3912 1332 287 642 0 3268 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 15648
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15191
/proc/meminfo: memFree=29950392/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15628 CPUtime=1362.08 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 12586578 0 0 0 133619 2589 0 0 20 0 1 0 281253304 16003072 1330 33554432000 134512640 137138936 4287450960 4287448648 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3907 1331 287 642 0 3263 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15628
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15191
/proc/meminfo: memFree=29950392/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15632 CPUtime=1422.08 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 13121244 0 0 0 139513 2695 0 0 20 0 1 0 281253304 16007168 1314 33554432000 134512640 137138936 4287450960 4287448648 135444632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3908 1314 287 642 0 3264 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 15632
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15192
/proc/meminfo: memFree=29951020/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15640 CPUtime=1482.06 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 13657487 0 0 0 145413 2793 0 0 20 0 1 0 281253304 16015360 1317 33554432000 134512640 137138936 4287450960 4287448720 135450378 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3910 1317 287 642 0 3266 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 15640
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15193
/proc/meminfo: memFree=29950536/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15644 CPUtime=1542.06 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 14186491 0 0 0 151307 2899 0 0 20 0 1 0 281253304 16019456 1312 33554432000 134512640 137138936 4287450960 4287448616 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3911 1312 287 642 0 3267 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 15644
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 15193
/proc/meminfo: memFree=29950664/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15648 CPUtime=1602.05 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 14736702 0 0 0 157193 3012 0 0 20 0 1 0 281253304 16023552 1327 33554432000 134512640 137138936 4287450960 4287448720 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3912 1327 287 642 0 3268 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 15648
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15193
/proc/meminfo: memFree=29950540/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15640 CPUtime=1662.04 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 15273494 0 0 0 163084 3120 0 0 20 0 1 0 281253304 16015360 1345 33554432000 134512640 137138936 4287450960 4287448648 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3910 1345 287 642 0 3266 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 15640
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15196
/proc/meminfo: memFree=29950192/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15632 CPUtime=1722.02 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 15826574 0 0 0 168973 3229 0 0 20 0 1 0 281253304 16007168 1323 33554432000 134512640 137138936 4287450960 4287448648 135445326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3908 1323 287 642 0 3264 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15632
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15197
/proc/meminfo: memFree=29949916/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15632 CPUtime=1782.02 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 16372830 0 0 0 174869 3333 0 0 20 0 1 0 281253304 16007168 1332 33554432000 134512640 137138936 4287450960 4287448648 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3908 1332 287 642 0 3264 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 15632
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15197
/proc/meminfo: memFree=29950040/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15628 CPUtime=1791.62 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 16457300 0 0 0 175815 3347 0 0 20 0 1 0 281253304 16003072 1336 33554432000 134512640 137138936 4287450960 4287448648 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3907 1336 287 642 0 3263 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 15628
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15197
/proc/meminfo: memFree=29950040/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15644 CPUtime=1794.82 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 16485396 0 0 0 176129 3353 0 0 20 0 1 0 281253304 16019456 1315 33554432000 134512640 137138936 4287450960 4287448648 135445326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3911 1315 287 642 0 3267 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 15644
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15197
/proc/meminfo: memFree=29950040/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15636 CPUtime=1796.41 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 16499331 0 0 0 176286 3355 0 0 20 0 1 0 281253304 16011264 1317 33554432000 134512640 137138936 4287450960 4287448648 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3909 1317 287 642 0 3265 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 15636
[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15197
/proc/meminfo: memFree=29950040/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15632 CPUtime=1797.22 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 16506213 0 0 0 176365 3357 0 0 20 0 1 0 281253304 16007168 1323 33554432000 134512640 137138936 4287450960 4287448720 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3908 1323 287 642 0 3264 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (KiB) 15632
[startup+1797.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15197
/proc/meminfo: memFree=29950040/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15460 CPUtime=1797.62 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 16509730 0 0 0 176405 3357 0 0 20 0 1 0 281253304 15831040 1309 33554432000 134512640 137138936 4287450960 4287448352 135382822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3865 1309 287 642 0 3221 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 15460
[startup+1798.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15197
/proc/meminfo: memFree=29950040/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15624 CPUtime=1797.81 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 16511538 0 0 0 176424 3357 0 0 20 0 1 0 281253304 15998976 1326 33554432000 134512640 137138936 4287450960 4287448720 135450397 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3906 1326 287 642 0 3262 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 15624
[startup+1798.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15197
/proc/meminfo: memFree=29950040/32873648 swapFree=7368/7368
[pid=15157] ppid=15155 vsize=15640 CPUtime=1797.91 cores=1,3,5,7
/proc/15157/stat : 15157 (bsolo) R 15155 15157 11017 0 -1 4202496 16512438 0 0 0 176434 3357 0 0 20 0 1 0 281253304 16015360 1314 33554432000 134512640 137138936 4287450960 4287448896 135389531 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15157/statm: 3910 1314 287 642 0 3266 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 15640
Child status: 0
Real time (s): 1798.3
CPU time (s): 1798.02
CPU user time (s): 1764.44
CPU system time (s): 33.5829
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 15664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.44
system time used= 33.5829
maximum resident set size= 5568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16513285
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= 4
involuntary context switches= 1853
runsolver used 2.45963 second user time and 7.34888 second system time
The end