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-3708392-1338249614/watcher-3708392-1338249614 -o /tmp/evaluation-result-3708392-1338249614/solver-3708392-1338249614 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708392-1338249614.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.00 1.02 1.35 4/176 26438
/proc/meminfo: memFree=27574656/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=38652 CPUtime=0 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 291087506 39579648 314 33554432000 134512640 137138936 4287106720 4287104936 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 9663 314 181 642 0 2125 0
[startup+0.0840849 s]
/proc/loadavg: 1.00 1.02 1.35 4/176 26438
/proc/meminfo: memFree=27574656/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=42500 CPUtime=0.08 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 1586 0 0 0 8 0 0 0 20 0 1 0 291087506 43520000 1499 33554432000 134512640 137138936 4287106720 4287104936 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 10625 1500 411 642 0 3087 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42500
[startup+0.100288 s]
/proc/loadavg: 1.00 1.02 1.35 4/176 26438
/proc/meminfo: memFree=27574656/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=43188 CPUtime=0.09 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 1806 0 0 0 9 0 0 0 20 0 1 0 291087506 44224512 1719 33554432000 134512640 137138936 4287106720 4287105112 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 10797 1719 454 642 0 3259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43188
[startup+0.300308 s]
/proc/loadavg: 1.00 1.02 1.35 4/176 26438
/proc/meminfo: memFree=27574656/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=49880 CPUtime=0.29 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 4125 0 0 0 29 0 0 0 20 0 1 0 291087506 51077120 3910 33554432000 134512640 137138936 4287106720 4287101336 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 12470 3911 986 642 0 4932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49880
[startup+0.700255 s]
/proc/loadavg: 1.00 1.02 1.35 4/176 26438
/proc/meminfo: memFree=27574656/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=63432 CPUtime=0.69 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 8734 0 0 0 68 1 0 0 20 0 1 0 291087506 64954368 8265 33554432000 134512640 137138936 4287106720 4287105248 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 15858 8266 1987 642 0 8320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63432
[startup+1.50018 s]
/proc/loadavg: 1.00 1.02 1.35 4/178 26440
/proc/meminfo: memFree=27501632/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=90908 CPUtime=1.49 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 17794 0 0 0 146 3 0 0 20 0 1 0 291087506 93089792 16819 33554432000 134512640 137138936 4287106720 4287105072 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 22727 16819 3704 642 0 15189 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90908
[startup+3.1003 s]
/proc/loadavg: 1.08 1.04 1.35 4/178 26440
/proc/meminfo: memFree=27432480/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=122580 CPUtime=3.09 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 28315 0 0 0 304 5 0 0 20 0 1 0 291087506 125521920 27351 33554432000 134512640 137138936 4287106720 4287102712 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 30645 27351 6480 642 0 23107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122580
[startup+6.30035 s]
/proc/loadavg: 1.08 1.04 1.35 4/178 26440
/proc/meminfo: memFree=27261340/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=167616 CPUtime=6.29 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 43110 0 0 0 623 6 0 0 20 0 1 0 291087506 171638784 38204 33554432000 134512640 137138936 4287106720 4282294480 134542017 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 41904 38204 184 642 0 41260 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 167616
[startup+12.7003 s]
/proc/loadavg: 1.15 1.05 1.35 4/178 26440
/proc/meminfo: memFree=27253344/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=175404 CPUtime=12.69 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 45071 0 0 0 1262 7 0 0 20 0 1 0 291087506 179613696 40162 33554432000 134512640 137138936 4287106720 4282294636 136520996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 43851 40162 184 642 0 43207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175404
[startup+25.5003 s]
/proc/loadavg: 1.48 1.13 1.37 4/178 26440
/proc/meminfo: memFree=27254088/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=175404 CPUtime=25.48 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 45078 0 0 0 2541 7 0 0 20 0 1 0 291087506 179613696 40162 33554432000 134512640 137138936 4287106720 4282294480 134543215 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 43851 40162 184 642 0 43207 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 175404
[startup+51.1003 s]
/proc/loadavg: 1.65 1.20 1.39 4/178 26463
/proc/meminfo: memFree=27252856/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=175404 CPUtime=51.05 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 45106 0 0 0 5098 7 0 0 20 0 1 0 291087506 179613696 40168 33554432000 134512640 137138936 4287106720 4282294480 134541971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 43851 40168 184 642 0 43207 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 175404
[startup+102.307 s]
/proc/loadavg: 1.86 1.33 1.42 4/178 26463
/proc/meminfo: memFree=27249108/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=175536 CPUtime=102.24 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 45127 0 0 0 10216 8 0 0 20 0 1 0 291087506 179748864 41318 33554432000 134512640 137138936 4287106720 4282294532 136502612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 43884 41318 184 642 0 43240 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 175536
[startup+162.3 s]
/proc/loadavg: 1.94 1.44 1.45 4/177 26464
/proc/meminfo: memFree=27246980/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=175536 CPUtime=162.22 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 45130 0 0 0 16213 9 0 0 20 0 1 0 291087506 179748864 41541 33554432000 134512640 137138936 4287106720 4282294704 134566350 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 43884 41541 184 642 0 43240 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 175536
[startup+222.3 s]
/proc/loadavg: 1.98 1.55 1.48 4/177 26464
/proc/meminfo: memFree=27232348/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=179448 CPUtime=222.21 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 346449 0 0 0 22073 148 0 0 20 0 1 0 291087506 183754752 42554 33554432000 134512640 137138936 4287106720 4287105144 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 44862 42554 192 642 0 44218 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 179448
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.51 4/177 26464
/proc/meminfo: memFree=27230120/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=179976 CPUtime=282.21 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 732400 0 0 0 27904 317 0 0 20 0 1 0 291087506 184295424 42686 33554432000 134512640 137138936 4287106720 4287105144 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 44994 42686 192 642 0 44350 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 179976
[startup+342.3 s]
/proc/loadavg: 1.99 1.69 1.54 4/177 26464
/proc/meminfo: memFree=27224040/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=186180 CPUtime=342.2 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 1029722 0 0 0 33831 389 0 0 20 0 1 0 291087506 190648320 44205 33554432000 134512640 137138936 4287106720 4287105216 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 46545 44205 192 642 0 45901 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 186180
[startup+402.3 s]
/proc/loadavg: 1.99 1.74 1.56 4/177 26464
/proc/meminfo: memFree=27188016/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=217352 CPUtime=402.19 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 1292076 0 0 0 39767 452 0 0 20 0 1 0 291087506 222568448 51991 33554432000 134512640 137138936 4287106720 4287105216 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 54338 51991 192 642 0 53694 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 217352
[startup+462.3 s]
/proc/loadavg: 1.99 1.79 1.59 3/177 26465
/proc/meminfo: memFree=27180640/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=226848 CPUtime=462.18 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 1377414 0 0 0 45751 467 0 0 20 0 1 0 291087506 232292352 54366 33554432000 134512640 137138936 4287106720 4287105144 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 56712 54366 192 642 0 56068 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 226848
[startup+522.3 s]
/proc/loadavg: 1.99 1.82 1.61 4/177 26465
/proc/meminfo: memFree=27166132/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=240368 CPUtime=522.17 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 1504097 0 0 0 51726 491 0 0 20 0 1 0 291087506 246136832 57746 33554432000 134512640 137138936 4287106720 4287105144 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 60092 57746 192 642 0 59448 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 240368
[startup+582.3 s]
/proc/loadavg: 1.99 1.85 1.64 4/177 26465
/proc/meminfo: memFree=27161244/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=246480 CPUtime=582.15 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 1630949 0 0 0 57697 518 0 0 20 0 1 0 291087506 252395520 59035 33554432000 134512640 137138936 4287106720 4287105248 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 61620 59052 192 642 0 60976 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 246480
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27110940/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=284888 CPUtime=1062.07 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2316839 0 0 0 105540 667 0 0 20 0 1 0 291087506 291725312 68881 33554432000 134512640 137138936 4287106720 4287105648 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 71222 68881 192 642 0 70578 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 284888
[startup+1122.3 s]
/proc/loadavg: 1.99 1.96 1.77 4/177 26470
/proc/meminfo: memFree=27100900/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=297780 CPUtime=1122.06 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2379504 0 0 0 111525 681 0 0 20 0 1 0 291087506 304926720 72137 33554432000 134512640 137138936 4287106720 4287105144 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 74445 72137 192 642 0 73801 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 297780
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.78 4/177 26470
/proc/meminfo: memFree=27095300/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=302560 CPUtime=1182.04 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2405500 0 0 0 117516 688 0 0 20 0 1 0 291087506 309821440 73300 33554432000 134512640 137138936 4287106720 4287105264 134607574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 75640 73300 192 642 0 74996 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 302560
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.80 4/178 26473
/proc/meminfo: memFree=27093076/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=299972 CPUtime=1242.04 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2496308 0 0 0 123496 708 0 0 20 0 1 0 291087506 307171328 72685 33554432000 134512640 137138936 4287106720 4287105648 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 74993 72685 192 642 0 74349 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 299972
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.81 4/177 26473
/proc/meminfo: memFree=27084104/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=310752 CPUtime=1302.04 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2568476 0 0 0 129479 725 0 0 20 0 1 0 291087506 318210048 75348 33554432000 134512640 137138936 4287106720 4287105264 134607563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 77688 75348 192 642 0 77044 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 310752
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.82 4/177 26474
/proc/meminfo: memFree=27079020/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=314576 CPUtime=1362.01 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2662000 0 0 0 135458 743 0 0 20 0 1 0 291087506 322125824 76336 33554432000 134512640 137138936 4287106720 4287105472 134575873 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 78644 76336 192 642 0 78000 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 314576
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.82 4/177 26474
/proc/meminfo: memFree=27075300/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=318828 CPUtime=1422.01 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2738416 0 0 0 141439 762 0 0 20 0 1 0 291087506 326479872 77367 33554432000 134512640 137138936 4287106720 4287105144 134606693 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 79707 77367 192 642 0 79063 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 318828
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.83 4/177 26474
/proc/meminfo: memFree=27069764/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=323000 CPUtime=1482 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2796255 0 0 0 147425 775 0 0 20 0 1 0 291087506 330752000 78442 33554432000 134512640 137138936 4287106720 4287105264 134607563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 80750 78442 192 642 0 80106 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 323000
[startup+1542.3 s]
/proc/loadavg: 2.12 2.00 1.85 4/177 26474
/proc/meminfo: memFree=27061208/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=331552 CPUtime=1541.99 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2880065 0 0 0 153404 795 0 0 20 0 1 0 291087506 339509248 80548 33554432000 134512640 137138936 4287106720 4287105216 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 82888 80548 192 642 0 82244 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 331552
[startup+1602.3 s]
/proc/loadavg: 2.04 2.00 1.85 4/178 26475
/proc/meminfo: memFree=27054136/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=337680 CPUtime=1601.98 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 2947515 0 0 0 159387 811 0 0 20 0 1 0 291087506 345784320 82080 33554432000 134512640 137138936 4287106720 4287105144 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 84420 82080 192 642 0 83776 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 337680
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.86 4/177 26476
/proc/meminfo: memFree=27046580/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=344088 CPUtime=1661.97 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3046227 0 0 0 165363 834 0 0 20 0 1 0 291087506 352346112 83691 33554432000 134512640 137138936 4287106720 4287105472 134575861 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 86022 83691 192 642 0 85378 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 344088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 26476
/proc/meminfo: memFree=27037280/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=348808 CPUtime=1721.96 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3135667 0 0 0 171341 855 0 0 20 0 1 0 291087506 357179392 84894 33554432000 134512640 137138936 4287106720 4287105648 134542725 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 87202 84894 192 642 0 86558 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 348808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/177 26476
/proc/meminfo: memFree=27014744/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=373272 CPUtime=1781.94 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3220365 0 0 0 177319 875 0 0 20 0 1 0 291087506 382230528 91010 33554432000 134512640 137138936 4287106720 4287105472 134575629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 93318 91010 192 642 0 92674 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 373272
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 26479
/proc/meminfo: memFree=27012112/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=375844 CPUtime=1791.55 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3232762 0 0 0 178277 878 0 0 20 0 1 0 291087506 384864256 91621 33554432000 134512640 137138936 4287106720 4287105144 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 93961 91621 192 642 0 93317 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 375844
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 26479
/proc/meminfo: memFree=27010572/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=374360 CPUtime=1794.74 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3236997 0 0 0 178595 879 0 0 20 0 1 0 291087506 383344640 91250 33554432000 134512640 137138936 4287106720 4287105648 134542725 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 93590 91250 192 642 0 92946 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 374360
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 26479
/proc/meminfo: memFree=27013240/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=377496 CPUtime=1796.34 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3239181 0 0 0 178754 880 0 0 20 0 1 0 291087506 386555904 92034 33554432000 134512640 137138936 4287106720 4287105216 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 94374 92034 192 642 0 93730 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 377496
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 26479
/proc/meminfo: memFree=27011056/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=377496 CPUtime=1797.14 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3240273 0 0 0 178833 881 0 0 20 0 1 0 291087506 386555904 92034 33554432000 134512640 137138936 4287106720 4287105216 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 94374 92034 192 642 0 93730 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 377496
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 26479
/proc/meminfo: memFree=27011056/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=377496 CPUtime=1797.94 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3241638 0 0 0 178913 881 0 0 20 0 1 0 291087506 386555904 92034 33554432000 134512640 137138936 4287106720 4287105216 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 94374 92034 192 642 0 93730 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 377496
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 26479
/proc/meminfo: memFree=27010928/32873648 swapFree=6864/6864
[pid=26437] ppid=26433 vsize=377496 CPUtime=1798.14 cores=1,3,5,7
/proc/26437/stat : 26437 (bsolo) R 26433 26437 24197 0 -1 4202496 3241638 0 0 0 178933 881 0 0 20 0 1 0 291087506 386555904 92034 33554432000 134512640 137138936 4287106720 4286412408 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26437/statm: 94374 92034 192 642 0 93730 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 377496
Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.18
CPU user time (s): 1789.36
CPU system time (s): 8.82166
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 377496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.36
system time used= 8.82166
maximum resident set size= 368136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3241638
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= 109
involuntary context switches= 1845
runsolver used 2.72858 second user time and 7.51786 second system time
The end