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-3744517-1338808586/watcher-3744517-1338808586 -o /tmp/evaluation-result-3744517-1338808586/solver-3744517-1338808586 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744517-1338808586.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.05 2.01 1.96 3/176 13699
/proc/meminfo: memFree=29976084/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 346987164 4583424 156 33554432000 134512640 135840783 4292629440 4292628780 1541464 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 1119 157 136 325 0 39 0
[startup+0.081221 s]
/proc/loadavg: 2.05 2.01 1.96 3/176 13699
/proc/meminfo: memFree=29976084/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=9696 CPUtime=0.07 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 1612 0 0 0 7 0 0 0 20 0 1 0 346987164 9928704 1548 33554432000 134512640 135840783 4292629440 4292628432 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 2424 1549 544 325 0 1012 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9696
[startup+0.100299 s]
/proc/loadavg: 2.05 2.01 1.96 3/176 13699
/proc/meminfo: memFree=29976084/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=10512 CPUtime=0.08 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 1846 0 0 0 8 0 0 0 20 0 1 0 346987164 10764288 1782 33554432000 134512640 135840783 4292629440 4292627888 2102567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 2628 1782 601 325 0 1216 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10512
[startup+0.300284 s]
/proc/loadavg: 2.05 2.01 1.96 3/176 13699
/proc/meminfo: memFree=29976084/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=13276 CPUtime=0.28 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 2937 0 0 0 28 0 0 0 20 0 1 0 346987164 13594624 2525 33554432000 134512640 135840783 4292629440 4292439820 8447024 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 3319 2525 342 325 0 2255 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13276
[startup+0.700301 s]
/proc/loadavg: 2.05 2.01 1.96 3/176 13699
/proc/meminfo: memFree=29976084/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=14628 CPUtime=0.68 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 3420 0 0 0 67 1 0 0 20 0 1 0 346987164 14979072 2884 33554432000 134512640 135840783 4292629440 4292628800 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 3657 2884 347 325 0 2593 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14628
[startup+1.50024 s]
/proc/loadavg: 2.05 2.01 1.96 3/177 13700
/proc/meminfo: memFree=29965396/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=16872 CPUtime=1.49 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 3997 0 0 0 147 2 0 0 20 0 1 0 346987164 17276928 3461 33554432000 134512640 135840783 4292629440 4292628468 2089314 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 4218 3461 347 325 0 3154 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16872
[startup+3.10028 s]
/proc/loadavg: 2.05 2.01 1.96 3/177 13700
/proc/meminfo: memFree=29960172/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=23344 CPUtime=3.08 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 5593 0 0 0 306 2 0 0 20 0 1 0 346987164 23904256 5057 33554432000 134512640 135840783 4292629440 4292626944 2102449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 5836 5057 347 325 0 4772 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23344
[startup+6.3003 s]
/proc/loadavg: 2.05 2.01 1.96 3/177 13700
/proc/meminfo: memFree=29947648/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=32608 CPUtime=6.28 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 7930 0 0 0 625 3 0 0 20 0 1 0 346987164 33390592 7394 33554432000 134512640 135840783 4292629440 4292628800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 8152 7394 347 325 0 7088 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32608
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.96 3/177 13700
/proc/meminfo: memFree=29930660/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=44912 CPUtime=12.68 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 11008 0 0 0 1264 4 0 0 20 0 1 0 346987164 45989888 10472 33554432000 134512640 135840783 4292629440 4292624864 2102567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 11228 10472 347 325 0 10164 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44912
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 13700
/proc/meminfo: memFree=29899768/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=69900 CPUtime=25.49 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 17248 0 0 0 2542 7 0 0 20 0 1 0 346987164 71577600 16712 33554432000 134512640 135840783 4292629440 4292628800 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 17475 16712 347 325 0 16411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69900
[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 1.97 3/177 13700
/proc/meminfo: memFree=29858196/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=102292 CPUtime=51.08 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 25341 0 0 0 5098 10 0 0 20 0 1 0 346987164 104747008 24805 33554432000 134512640 135840783 4292629440 4292628752 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 25573 24805 347 325 0 24509 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 102292
[startup+102.307 s]
/proc/loadavg: 2.15 2.05 1.98 3/177 13700
/proc/meminfo: memFree=29792380/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=147404 CPUtime=102.28 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 36617 0 0 0 10211 17 0 0 20 0 1 0 346987164 150941696 36081 33554432000 134512640 135840783 4292629440 4292628800 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 36851 36081 347 325 0 35787 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 147404
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/177 13700
/proc/meminfo: memFree=29586584/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=211044 CPUtime=162.26 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 52527 0 0 0 16202 24 0 0 20 0 1 0 346987164 216109056 51991 33554432000 134512640 135840783 4292629440 4292628576 2100126 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 52761 51991 347 325 0 51697 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 211044
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/178 13703
/proc/meminfo: memFree=29337588/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=250052 CPUtime=222.25 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 62276 0 0 0 22196 29 0 0 20 0 1 0 346987164 256053248 61740 33554432000 134512640 135840783 4292629440 4292628800 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 62513 61740 347 325 0 61449 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 250052
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 13704
/proc/meminfo: memFree=29044760/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=285488 CPUtime=282.24 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 71154 0 0 0 28190 34 0 0 20 0 1 0 346987164 292339712 70618 33554432000 134512640 135840783 4292629440 4292628800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 71372 70618 347 325 0 70308 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 285488
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 13704
/proc/meminfo: memFree=28850356/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=312196 CPUtime=342.23 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 77833 0 0 0 34185 38 0 0 20 0 1 0 346987164 319688704 77297 33554432000 134512640 135840783 4292629440 4292628800 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 78049 77297 347 325 0 76985 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 312196
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 13704
/proc/meminfo: memFree=28762344/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=336128 CPUtime=402.22 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 83815 0 0 0 40179 43 0 0 20 0 1 0 346987164 344195072 83279 33554432000 134512640 135840783 4292629440 4292628800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 84032 83279 347 325 0 82968 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 336128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13704
/proc/meminfo: memFree=28680036/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=361516 CPUtime=462.21 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 90155 0 0 0 46174 47 0 0 20 0 1 0 346987164 370192384 89619 33554432000 134512640 135840783 4292629440 4292628800 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 90379 89619 347 325 0 89315 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 361516
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13704
/proc/meminfo: memFree=28608640/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=385052 CPUtime=522.2 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 96023 0 0 0 52169 51 0 0 20 0 1 0 346987164 394293248 95487 33554432000 134512640 135840783 4292629440 4292628800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 96263 95487 347 325 0 95199 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 385052
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13782
/proc/meminfo: memFree=30669908/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=408584 CPUtime=582.16 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 101939 0 0 0 58161 55 0 0 20 0 1 0 346987164 418390016 101386 33554432000 134512640 135840783 4292629440 4292628576 2100126 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 102146 101386 347 325 0 101082 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 408584
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 13785
/proc/meminfo: memFree=30315000/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=487764 CPUtime=821.97 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 121929 0 0 0 82126 71 0 0 20 0 1 0 346987164 499470336 121185 33554432000 134512640 135840783 4292629440 4292628800 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 121941 121185 347 325 0 120877 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 487764
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13786
/proc/meminfo: memFree=30231592/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=505080 CPUtime=881.96 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 126285 0 0 0 88121 75 0 0 20 0 1 0 346987164 517201920 125529 33554432000 134512640 135840783 4292629440 4292628676 2097133 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 126270 125529 347 325 0 125206 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 505080
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13786
/proc/meminfo: memFree=30136264/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=522404 CPUtime=941.94 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 130602 0 0 0 94116 78 0 0 20 0 1 0 346987164 534941696 129846 33554432000 134512640 135840783 4292629440 4292628800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 130601 129846 347 325 0 129537 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 522404
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13786
/proc/meminfo: memFree=30046268/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=540516 CPUtime=1001.93 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 135144 0 0 0 100112 81 0 0 20 0 1 0 346987164 553488384 134388 33554432000 134512640 135840783 4292629440 4292625744 134586885 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 135129 134388 347 325 0 134065 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 540516
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13786
/proc/meminfo: memFree=29950816/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=560208 CPUtime=1061.92 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 140071 0 0 0 106108 84 0 0 20 0 1 0 346987164 573652992 139315 33554432000 134512640 135840783 4292629440 4292628736 134572899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 140052 139315 347 325 0 138988 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 560208
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/177 13786
/proc/meminfo: memFree=29871484/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=578188 CPUtime=1121.92 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 144569 0 0 0 112104 88 0 0 20 0 1 0 346987164 592064512 143813 33554432000 134512640 135840783 4292629440 4292628752 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 144547 143813 347 325 0 143483 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 578188
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/176 13786
/proc/meminfo: memFree=29796252/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=596564 CPUtime=1181.9 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 149156 0 0 0 118100 90 0 0 20 0 1 0 346987164 610881536 148400 33554432000 134512640 135840783 4292629440 4292628800 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 149141 148400 347 325 0 148077 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 596564
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 13787
/proc/meminfo: memFree=29721252/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=613612 CPUtime=1241.9 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 153415 0 0 0 124096 94 0 0 20 0 1 0 346987164 628338688 152659 33554432000 134512640 135840783 4292629440 4292628800 134550896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 153403 152659 347 325 0 152339 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 613612
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 13787
/proc/meminfo: memFree=29652088/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=629208 CPUtime=1301.89 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 157319 0 0 0 130092 97 0 0 20 0 1 0 346987164 644308992 156563 33554432000 134512640 135840783 4292629440 4292628800 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 157302 156563 347 325 0 156238 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 629208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 13787
/proc/meminfo: memFree=29593588/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=644940 CPUtime=1361.88 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 161243 0 0 0 136088 100 0 0 20 0 1 0 346987164 660418560 160487 33554432000 134512640 135840783 4292629440 4292628800 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 161235 160487 347 325 0 160171 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 644940
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 13790
/proc/meminfo: memFree=29541968/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=659744 CPUtime=1421.88 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 164942 0 0 0 142086 102 0 0 20 0 1 0 346987164 675577856 164186 33554432000 134512640 135840783 4292629440 4292628800 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 164936 164186 347 325 0 163872 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 659744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 13790
/proc/meminfo: memFree=29495004/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=674152 CPUtime=1481.86 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 168551 0 0 0 148080 106 0 0 20 0 1 0 346987164 690331648 167795 33554432000 134512640 135840783 4292629440 4292628800 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 168538 167795 347 325 0 167474 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 674152
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 13791
/proc/meminfo: memFree=29451976/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=685784 CPUtime=1541.85 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 171464 0 0 0 154077 108 0 0 20 0 1 0 346987164 702242816 170708 33554432000 134512640 135840783 4292629440 4292628800 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 171446 170708 347 325 0 170382 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 685784
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 13792
/proc/meminfo: memFree=29407204/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=697944 CPUtime=1601.85 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 174481 0 0 0 160074 111 0 0 20 0 1 0 346987164 714694656 173725 33554432000 134512640 135840783 4292629440 4292628800 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 174486 173725 347 325 0 173422 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 697944
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13792
/proc/meminfo: memFree=29281352/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=711292 CPUtime=1661.83 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 177824 0 0 0 166070 113 0 0 20 0 1 0 346987164 728363008 177068 33554432000 134512640 135840783 4292629440 4292628800 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 177823 177068 347 325 0 176759 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 711292
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13792
/proc/meminfo: memFree=29180396/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=724908 CPUtime=1721.81 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 181241 0 0 0 172066 115 0 0 20 0 1 0 346987164 742305792 180475 33554432000 134512640 135840783 4292629440 4292628752 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 181227 180475 347 325 0 180163 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 724908
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13792
/proc/meminfo: memFree=29091888/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=738256 CPUtime=1781.75 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 184640 0 0 0 178057 118 0 0 20 0 1 0 346987164 755974144 183826 33554432000 134512640 135840783 4292629440 4292628800 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 184564 183826 347 325 0 183500 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 738256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13793
/proc/meminfo: memFree=29069908/32873844 swapFree=8656/8656
[pid=13699] ppid=13697 vsize=741956 CPUtime=1800.05 cores=1,3,5,7
/proc/13699/stat : 13699 (bsolo3.0.17) R 13697 13699 11815 0 -1 4202496 185569 0 0 0 179886 119 0 0 20 0 1 0 346987164 759762944 184739 33554432000 134512640 135840783 4292629440 4292628800 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13699/statm: 185489 184739 347 325 0 184425 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 741956
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.07
CPU user time (s): 1798.86
CPU system time (s): 1.20982
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 741956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.20982
maximum resident set size= 738956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185572
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= 322
involuntary context switches= 1844
runsolver used 4.22036 second user time and 9.57554 second system time
The end