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-3744481-1338808023/watcher-3744481-1338808023 -o /tmp/evaluation-result-3744481-1338808023/solver-3744481-1338808023 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744481-1338808023.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.05 1.99 3/176 4612
/proc/meminfo: memFree=24512676/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) D 4610 4612 2050 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 346928352 2723840 47 33554432000 134512640 135840783 4289007568 4289005604 5551044 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 665 47 37 325 0 32 0
[startup+0.035847 s]
/proc/loadavg: 2.18 2.05 1.99 3/176 4612
/proc/meminfo: memFree=24512676/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=7464 CPUtime=0.02 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 909 0 0 0 2 0 0 0 20 0 1 0 346928352 7643136 845 33554432000 134512640 135840783 4289007568 4289006240 6063399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 1866 845 406 325 0 454 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7464
[startup+0.100265 s]
/proc/loadavg: 2.18 2.05 1.99 3/176 4612
/proc/meminfo: memFree=24512676/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=10512 CPUtime=0.09 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 1849 0 0 0 9 0 0 0 20 0 1 0 346928352 10764288 1785 33554432000 134512640 135840783 4289007568 4289006016 6063399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 2628 1786 602 325 0 1216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10512
[startup+0.300262 s]
/proc/loadavg: 2.18 2.05 1.99 3/176 4612
/proc/meminfo: memFree=24512676/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=13276 CPUtime=0.28 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 2937 0 0 0 28 0 0 0 20 0 1 0 346928352 13594624 2525 33554432000 134512640 135840783 4289007568 4288817948 11445296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 3319 2525 342 325 0 2255 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13276
[startup+0.70028 s]
/proc/loadavg: 2.18 2.05 1.99 3/176 4612
/proc/meminfo: memFree=24512676/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=14628 CPUtime=0.69 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 3420 0 0 0 67 2 0 0 20 0 1 0 346928352 14979072 2884 33554432000 134512640 135840783 4289007568 4289006928 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 3657 2884 347 325 0 2593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14628
[startup+1.5002 s]
/proc/loadavg: 2.17 2.05 1.99 3/177 4613
/proc/meminfo: memFree=24501276/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=17004 CPUtime=1.49 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 4015 0 0 0 147 2 0 0 20 0 1 0 346928352 17412096 3479 33554432000 134512640 135840783 4289007568 4289006928 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 4251 3479 347 325 0 3187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17004
[startup+3.10016 s]
/proc/loadavg: 2.17 2.05 1.99 3/177 4613
/proc/meminfo: memFree=24496424/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=23476 CPUtime=3.09 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 5628 0 0 0 307 2 0 0 20 0 1 0 346928352 24039424 5092 33554432000 134512640 135840783 4289007568 4289004304 6063399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 5869 5092 347 325 0 4805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23476
[startup+6.30023 s]
/proc/loadavg: 2.15 2.05 1.99 3/174 4633
/proc/meminfo: memFree=27109516/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=32872 CPUtime=6.28 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 7998 0 0 0 626 2 0 0 20 0 1 0 346928352 33660928 7462 33554432000 134512640 135840783 4289007568 4289006836 6060676 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 8218 7462 347 325 0 7154 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32872
[startup+12.7002 s]
/proc/loadavg: 2.14 2.05 1.99 3/177 4652
/proc/meminfo: memFree=27063672/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=48216 CPUtime=12.68 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 11834 0 0 0 1264 4 0 0 20 0 1 0 346928352 49373184 11306 33554432000 134512640 135840783 4289007568 4289003152 6063399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 12054 11306 347 325 0 10990 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48216
[startup+25.5002 s]
/proc/loadavg: 2.12 2.05 1.99 3/177 4652
/proc/meminfo: memFree=27005392/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=75452 CPUtime=25.47 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 18638 0 0 0 2541 6 0 0 20 0 1 0 346928352 77262848 18102 33554432000 134512640 135840783 4289007568 4289006920 1419469 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 18863 18102 347 325 0 17799 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 75452
[startup+51.1003 s]
/proc/loadavg: 2.12 2.06 2.00 3/177 4652
/proc/meminfo: memFree=26930580/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=112608 CPUtime=51.05 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 27973 0 0 0 5095 10 0 0 20 0 1 0 346928352 115310592 27413 33554432000 134512640 135840783 4289007568 4289003568 6063399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 28152 27413 347 325 0 27088 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 112608
[startup+102.307 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 4652
/proc/meminfo: memFree=26804640/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=177096 CPUtime=102.21 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 44133 0 0 0 10204 17 0 0 20 0 1 0 346928352 181346304 43533 33554432000 134512640 135840783 4289007568 4289006928 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 44274 43533 347 325 0 43210 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 177096
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 4652
/proc/meminfo: memFree=26674344/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=244104 CPUtime=162.18 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 60913 0 0 0 16196 22 0 0 20 0 1 0 346928352 249962496 60292 33554432000 134512640 135840783 4289007568 4289006928 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 61026 60292 347 325 0 59962 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 244104
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 4656
/proc/meminfo: memFree=26575204/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=294216 CPUtime=222.17 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 73423 0 0 0 22190 27 0 0 20 0 1 0 346928352 301277184 72802 33554432000 134512640 135840783 4289007568 4289006928 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 73554 72802 347 325 0 72490 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 294216
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4656
/proc/meminfo: memFree=26505812/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=328328 CPUtime=282.16 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 81966 0 0 0 28185 31 0 0 20 0 1 0 346928352 336207872 81345 33554432000 134512640 135840783 4289007568 4289006880 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 82082 81345 347 325 0 81018 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 328328
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4656
/proc/meminfo: memFree=26443196/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=363632 CPUtime=342.15 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 90765 0 0 0 34180 35 0 0 20 0 1 0 346928352 372359168 90144 33554432000 134512640 135840783 4289007568 4289006880 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 90908 90144 347 325 0 89844 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 363632
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4656
/proc/meminfo: memFree=26380880/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=396156 CPUtime=402.14 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 98923 0 0 0 40174 40 0 0 20 0 1 0 346928352 405663744 98302 33554432000 134512640 135840783 4289007568 4289006928 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 99039 98302 347 325 0 97975 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 396156
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4656
/proc/meminfo: memFree=26320220/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=427220 CPUtime=462.12 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 106675 0 0 0 46168 44 0 0 20 0 1 0 346928352 437473280 106043 33554432000 134512640 135840783 4289007568 4289006928 134551646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 106805 106043 347 325 0 105741 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 427220
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4657
/proc/meminfo: memFree=26269660/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=451544 CPUtime=522.08 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 112804 0 0 0 52160 48 0 0 20 0 1 0 346928352 462381056 112124 33554432000 134512640 135840783 4289007568 4289006928 134551018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 112886 112124 347 325 0 111822 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 451544
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4657
/proc/meminfo: memFree=26219220/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=477984 CPUtime=582.04 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 119490 0 0 0 58152 52 0 0 20 0 1 0 346928352 489455616 118763 33554432000 134512640 135840783 4289007568 4289006704 6060958 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 119496 118763 347 325 0 118432 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 477984
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4661
/proc/meminfo: memFree=26041736/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=574752 CPUtime=821.97 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 143684 0 0 0 82133 64 0 0 20 0 1 0 346928352 588546048 142929 33554432000 134512640 135840783 4289007568 4289006920 1419472 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 143688 142929 347 325 0 142624 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 574752
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4661
/proc/meminfo: memFree=25997256/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=598544 CPUtime=881.96 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 149652 0 0 0 88128 68 0 0 20 0 1 0 346928352 612909056 148897 33554432000 134512640 135840783 4289007568 4289006880 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 149636 148897 347 325 0 148572 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 598544
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4661
/proc/meminfo: memFree=25954752/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=621148 CPUtime=941.95 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 155289 0 0 0 94124 71 0 0 20 0 1 0 346928352 636055552 154534 33554432000 134512640 135840783 4289007568 4289006928 134551475 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 155287 154534 347 325 0 154223 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 621148
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4661
/proc/meminfo: memFree=25917376/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=641236 CPUtime=1001.95 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 160329 0 0 0 100120 75 0 0 20 0 1 0 346928352 656625664 159574 33554432000 134512640 135840783 4289007568 4289003328 6063399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 160309 159574 347 325 0 159245 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 641236
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4661
/proc/meminfo: memFree=25878688/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=661464 CPUtime=1061.94 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 165379 0 0 0 106116 78 0 0 20 0 1 0 346928352 677339136 164624 33554432000 134512640 135840783 4289007568 4289006928 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 165366 164624 347 325 0 164302 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 661464
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4662
/proc/meminfo: memFree=25841872/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=679572 CPUtime=1121.92 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 169888 0 0 0 112111 81 0 0 20 0 1 0 346928352 695881728 169133 33554432000 134512640 135840783 4289007568 4289006880 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 169893 169133 347 325 0 168829 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 679572
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4662
/proc/meminfo: memFree=25809500/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=695432 CPUtime=1181.92 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 173874 0 0 0 118108 84 0 0 20 0 1 0 346928352 712122368 173119 33554432000 134512640 135840783 4289007568 4289006928 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 173858 173119 347 325 0 172794 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 695432
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 4663
/proc/meminfo: memFree=25774400/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=713144 CPUtime=1241.9 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 178294 0 0 0 124103 87 0 0 20 0 1 0 346928352 730259456 177539 33554432000 134512640 135840783 4289007568 4289006928 134550994 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 178286 177539 347 325 0 177222 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 713144
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4663
/proc/meminfo: memFree=25738328/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=731648 CPUtime=1301.88 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 182968 0 0 0 130098 90 0 0 20 0 1 0 346928352 749207552 182176 33554432000 134512640 135840783 4289007568 4289006928 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 182912 182176 347 325 0 181848 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 731648
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4663
/proc/meminfo: memFree=25708844/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=748036 CPUtime=1361.83 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 187087 0 0 0 136089 94 0 0 20 0 1 0 346928352 765988864 186247 33554432000 134512640 135840783 4289007568 4289006928 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 187009 186247 347 325 0 185945 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 748036
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4666
/proc/meminfo: memFree=25677756/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=765876 CPUtime=1421.78 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 191621 0 0 0 142082 96 0 0 20 0 1 0 346928352 784257024 190733 33554432000 134512640 135840783 4289007568 4289006928 134550820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 191469 190733 347 325 0 190405 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 765876
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25645636/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=783856 CPUtime=1481.76 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 196099 0 0 0 148077 99 0 0 20 0 1 0 346928352 802668544 195209 33554432000 134512640 135840783 4289007568 4289006928 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 195964 195209 347 325 0 194900 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 783856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25617116/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=797736 CPUtime=1541.76 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 199567 0 0 0 154074 102 0 0 20 0 1 0 346928352 816881664 198677 33554432000 134512640 135840783 4289007568 4289006928 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 199434 198677 347 325 0 198370 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 797736
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25587112/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=813600 CPUtime=1601.75 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 203549 0 0 0 160070 105 0 0 20 0 1 0 346928352 833126400 202659 33554432000 134512640 135840783 4289007568 4289006928 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 203400 202659 347 325 0 202336 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 813600
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25559212/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=827084 CPUtime=1661.74 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 206923 0 0 0 166068 106 0 0 20 0 1 0 346928352 846934016 206033 33554432000 134512640 135840783 4289007568 4289006880 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 206771 206033 347 325 0 205707 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 827084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25532800/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=840304 CPUtime=1721.73 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 210226 0 0 0 172064 109 0 0 20 0 1 0 346928352 860471296 209336 33554432000 134512640 135840783 4289007568 4289006928 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 210076 209336 347 325 0 209012 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 840304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4668
/proc/meminfo: memFree=25502644/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=854976 CPUtime=1781.71 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 213889 0 0 0 178060 111 0 0 20 0 1 0 346928352 875495424 212999 33554432000 134512640 135840783 4289007568 4289006928 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 213744 212999 347 325 0 212680 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 854976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4668
/proc/meminfo: memFree=25494180/32873648 swapFree=6860/6860
[pid=4612] ppid=4610 vsize=859336 CPUtime=1800.02 cores=0,2,4,6
/proc/4612/stat : 4612 (bsolo3.0.17) R 4610 4612 2050 0 -1 4202496 214964 0 0 0 179890 112 0 0 20 0 1 0 346928352 879960064 214074 33554432000 134512640 135840783 4289007568 4289006928 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4612/statm: 214834 214074 347 325 0 213770 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 859336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.05
CPU user time (s): 1798.91
CPU system time (s): 1.13583
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 859336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.13583
maximum resident set size= 856296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214967
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= 383
involuntary context switches= 1909
runsolver used 3.02954 second user time and 9.8365 second system time
The end