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-3743605-1338788382/watcher-3743605-1338788382 -o /tmp/evaluation-result-3743605-1338788382/solver-3743605-1338788382 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743605-1338788382.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.87 1.98 1.93 3/176 30256
/proc/meminfo: memFree=28662900/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=7132 CPUtime=0 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 344966729 7303168 408 33554432000 134512640 135840783 4286791024 4286789712 2106663 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 1783 408 329 325 0 109 0
[startup+0.0968521 s]
/proc/loadavg: 1.87 1.98 1.93 3/176 30256
/proc/meminfo: memFree=28662900/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=11360 CPUtime=0.08 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 1826 0 0 0 8 0 0 0 20 0 1 0 344966729 11632640 1723 33554432000 134512640 135840783 4286791024 4286789840 2106663 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 2840 1723 592 325 0 1166 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11360
[startup+0.100259 s]
/proc/loadavg: 1.87 1.98 1.93 3/176 30256
/proc/meminfo: memFree=28662900/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=11632 CPUtime=0.09 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 1876 0 0 0 9 0 0 0 20 0 1 0 344966729 11911168 1773 33554432000 134512640 135840783 4286791024 4286789840 2106545 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 2908 1774 602 325 0 1234 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11632
[startup+0.300248 s]
/proc/loadavg: 1.87 1.98 1.93 3/176 30256
/proc/meminfo: memFree=28662900/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=20180 CPUtime=0.28 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 4928 0 0 0 28 0 0 0 20 0 1 0 344966729 20664320 4136 33554432000 134512640 135840783 4286791024 4286298860 9180208 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 5045 4136 344 325 0 3981 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20180
[startup+0.700228 s]
/proc/loadavg: 1.87 1.98 1.93 3/176 30256
/proc/meminfo: memFree=28662900/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=20180 CPUtime=0.68 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 4932 0 0 0 68 0 0 0 20 0 1 0 344966729 20664320 4140 33554432000 134512640 135840783 4286791024 4286298496 2104222 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 5045 4140 344 325 0 3981 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20180
[startup+1.50025 s]
/proc/loadavg: 1.87 1.98 1.93 3/177 30257
/proc/meminfo: memFree=28647608/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=20840 CPUtime=1.49 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 5114 0 0 0 148 1 0 0 20 0 1 0 344966729 21340160 4322 33554432000 134512640 135840783 4286791024 4286298436 2093298 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 5210 4322 344 325 0 4146 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20840
[startup+3.10028 s]
/proc/loadavg: 1.87 1.98 1.93 3/177 30257
/proc/meminfo: memFree=28645864/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=20840 CPUtime=3.09 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 5116 0 0 0 308 1 0 0 20 0 1 0 344966729 21340160 4324 33554432000 134512640 135840783 4286791024 4286298496 2104222 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 5210 4324 344 325 0 4146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20840
[startup+6.30028 s]
/proc/loadavg: 1.88 1.98 1.93 3/177 30257
/proc/meminfo: memFree=28645988/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=20840 CPUtime=6.29 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 5116 0 0 0 628 1 0 0 20 0 1 0 344966729 21340160 4324 33554432000 134512640 135840783 4286791024 4286298720 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 5210 4324 344 325 0 4146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20840
[startup+12.7003 s]
/proc/loadavg: 1.89 1.98 1.93 3/177 30257
/proc/meminfo: memFree=28644788/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=20840 CPUtime=12.68 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 5116 0 0 0 1267 1 0 0 20 0 1 0 344966729 21340160 4324 33554432000 134512640 135840783 4286791024 4286298720 134551595 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 5210 4324 344 325 0 4146 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20840
[startup+25.5004 s]
/proc/loadavg: 1.91 1.98 1.93 3/178 30261
/proc/meminfo: memFree=28632016/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=32720 CPUtime=25.48 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 8721 0 0 0 2544 4 0 0 20 0 1 0 344966729 33505280 7367 33554432000 134512640 135840783 4286791024 4286790260 2112103 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 8180 7367 349 325 0 7116 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32720
[startup+51.1004 s]
/proc/loadavg: 1.94 1.98 1.93 3/178 30261
/proc/meminfo: memFree=28569736/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=85340 CPUtime=51.06 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 21904 0 0 0 5099 7 0 0 20 0 1 0 344966729 87388160 20526 33554432000 134512640 135840783 4286791024 4286790384 134551353 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 21335 20526 349 325 0 20271 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85340
[startup+102.3 s]
/proc/loadavg: 1.97 1.98 1.93 3/177 30261
/proc/meminfo: memFree=28459800/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=155828 CPUtime=102.22 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 39536 0 0 0 10210 12 0 0 20 0 1 0 344966729 159567872 38118 33554432000 134512640 135840783 4286791024 4286790384 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 38957 38118 349 325 0 37893 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 155828
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 30261
/proc/meminfo: memFree=28301584/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=248708 CPUtime=162.17 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 62787 0 0 0 16199 18 0 0 20 0 1 0 344966729 254676992 61370 33554432000 134512640 135840783 4286791024 4286790384 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 62177 61370 349 325 0 61113 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 248708
[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 30261
/proc/meminfo: memFree=28160252/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=315864 CPUtime=222.17 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 79592 0 0 0 22193 24 0 0 20 0 1 0 344966729 323444736 78175 33554432000 134512640 135840783 4286791024 4286790160 2104222 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 78966 78175 349 325 0 77902 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 315864
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 30261
/proc/meminfo: memFree=28077944/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=360080 CPUtime=282.16 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 90648 0 0 0 28187 29 0 0 20 0 1 0 344966729 368721920 89231 33554432000 134512640 135840783 4286791024 4286790384 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 90020 89234 349 325 0 88956 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 360080
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 30262
/proc/meminfo: memFree=28003764/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=404476 CPUtime=342.15 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 101740 0 0 0 34181 34 0 0 20 0 1 0 344966729 414183424 100323 33554432000 134512640 135840783 4286791024 4286790384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 101119 100323 349 325 0 100055 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 404476
[startup+402.3 s]
/proc/loadavg: 2.05 2.00 1.94 3/177 30262
/proc/meminfo: memFree=27933952/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=445632 CPUtime=402.14 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 112031 0 0 0 40176 38 0 0 20 0 1 0 344966729 456327168 110614 33554432000 134512640 135840783 4286791024 4286790320 134572689 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 111408 110614 349 325 0 110344 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 445632
[startup+462.3 s]
/proc/loadavg: 2.10 2.02 1.94 3/177 30262
/proc/meminfo: memFree=27865420/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=476248 CPUtime=462.1 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 119701 0 0 0 46170 40 0 0 20 0 1 0 344966729 487677952 118251 33554432000 134512640 135840783 4286791024 4286790384 134550823 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 119062 118251 349 325 0 117998 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 476248
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 30262
/proc/meminfo: memFree=27807168/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=502864 CPUtime=522.05 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 126412 0 0 0 52161 44 0 0 20 0 1 0 344966729 514932736 124916 33554432000 134512640 135840783 4286791024 4286790384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 125716 124916 349 325 0 124652 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 502864
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 30262
/proc/meminfo: memFree=27730440/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=538664 CPUtime=582 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 135409 0 0 0 58152 48 0 0 20 0 1 0 344966729 551591936 133868 33554432000 134512640 135840783 4286791024 4286790384 134551182 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 134666 133868 349 325 0 133602 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 538664
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 30266
/proc/meminfo: memFree=27418064/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=667428 CPUtime=881.91 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 167660 0 0 0 88129 62 0 0 20 0 1 0 344966729 683446272 166071 33554432000 134512640 135840783 4286791024 4286790384 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 166857 166071 349 325 0 165793 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 667428
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 30267
/proc/meminfo: memFree=27346296/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=689468 CPUtime=941.9 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 173146 0 0 0 94126 64 0 0 20 0 1 0 344966729 706015232 171557 33554432000 134512640 135840783 4286791024 4286790384 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 172367 171557 349 325 0 171303 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 689468
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 30267
/proc/meminfo: memFree=27271428/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=713488 CPUtime=1001.89 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 179145 0 0 0 100122 67 0 0 20 0 1 0 344966729 730611712 177556 33554432000 134512640 135840783 4286791024 4286790384 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 178372 177556 349 325 0 177308 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 713488
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 30267
/proc/meminfo: memFree=26996548/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=740104 CPUtime=1061.88 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 185820 0 0 0 106118 70 0 0 20 0 1 0 344966729 757866496 184231 33554432000 134512640 135840783 4286791024 4286790384 134551074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 185026 184231 349 325 0 183962 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 740104
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 30267
/proc/meminfo: memFree=26827688/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=758884 CPUtime=1121.87 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 190506 0 0 0 112114 73 0 0 20 0 1 0 344966729 777097216 188917 33554432000 134512640 135840783 4286791024 4286790384 134550896 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 189721 188917 349 325 0 188657 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 758884
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 30267
/proc/meminfo: memFree=26766832/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=780240 CPUtime=1181.86 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 195857 0 0 0 118111 75 0 0 20 0 1 0 344966729 798965760 194268 33554432000 134512640 135840783 4286791024 4286790384 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 195060 194268 349 325 0 193996 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 780240
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 30271
/proc/meminfo: memFree=26688484/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=808012 CPUtime=1241.85 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 202790 0 0 0 124107 78 0 0 20 0 1 0 344966729 827404288 201201 33554432000 134512640 135840783 4286791024 4286790384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 202003 201201 349 325 0 200939 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 808012
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 30294
/proc/meminfo: memFree=26618080/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=826180 CPUtime=1301.84 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 207318 0 0 0 130105 79 0 0 20 0 1 0 344966729 846008320 205729 33554432000 134512640 135840783 4286791024 4286790384 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 206545 205729 349 325 0 205481 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 826180
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 30294
/proc/meminfo: memFree=26553884/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=849856 CPUtime=1361.83 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 213256 0 0 0 136101 82 0 0 20 0 1 0 344966729 870252544 211667 33554432000 134512640 135840783 4286791024 4286790384 134551353 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 212464 211667 349 325 0 211400 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 849856
[startup+1422.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/177 30294
/proc/meminfo: memFree=26499352/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=873772 CPUtime=1421.83 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 219219 0 0 0 142098 85 0 0 20 0 1 0 344966729 894742528 217630 33554432000 134512640 135840783 4286791024 4286790384 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 218443 217630 349 325 0 217379 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 873772
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 30294
/proc/meminfo: memFree=26457104/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=885420 CPUtime=1481.82 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 222132 0 0 0 148095 87 0 0 20 0 1 0 344966729 906670080 220543 33554432000 134512640 135840783 4286791024 4286790384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 221355 220543 349 325 0 220291 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 885420
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 30294
/proc/meminfo: memFree=26412844/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=898672 CPUtime=1541.81 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 225456 0 0 0 154093 88 0 0 20 0 1 0 344966729 920240128 223867 33554432000 134512640 135840783 4286791024 4286790384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 224668 223867 349 325 0 223604 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 898672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30295
/proc/meminfo: memFree=26368444/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=917400 CPUtime=1601.79 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 230122 0 0 0 160089 90 0 0 20 0 1 0 344966729 939417600 228533 33554432000 134512640 135840783 4286791024 4286790376 12781776 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 229350 228533 349 325 0 228286 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 917400
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30295
/proc/meminfo: memFree=26267508/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=986284 CPUtime=1661.79 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 247342 0 0 0 166084 95 0 0 20 0 1 0 344966729 1009954816 245753 33554432000 134512640 135840783 4286791024 4286790320 134572684 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 246571 245753 349 325 0 245507 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 986284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30295
/proc/meminfo: memFree=26205260/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=1022740 CPUtime=1721.78 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 256486 0 0 0 172080 98 0 0 20 0 1 0 344966729 1047285760 254897 33554432000 134512640 135840783 4286791024 4286790376 12781753 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 255685 254897 349 325 0 254621 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1022740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30295
/proc/meminfo: memFree=26167316/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=1036840 CPUtime=1781.77 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 260003 0 0 0 178077 100 0 0 20 0 1 0 344966729 1061724160 258414 33554432000 134512640 135840783 4286791024 4286790384 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 259210 258414 349 325 0 258146 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1036840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.95 2/175 30296
/proc/meminfo: memFree=27639392/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=1040148 CPUtime=1800.07 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 260821 0 0 0 179907 100 0 0 20 0 1 0 344966729 1065111552 259232 33554432000 134512640 135840783 4286791024 4286790384 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 260037 259232 349 325 0 258973 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1040148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.95 2/175 30296
/proc/meminfo: memFree=27639392/32873844 swapFree=6872/6872
[pid=30256] ppid=30254 vsize=1040148 CPUtime=1800.07 cores=1,3,5,7
/proc/30256/stat : 30256 (bsolo3.0.17) R 30254 30256 30003 0 -1 4202496 260821 0 0 0 179907 100 0 0 20 0 1 0 344966729 1065111552 259232 33554432000 134512640 135840783 4286791024 4286790384 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/30256/statm: 260037 259232 349 325 0 258973 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1040148
Child status: 15
Real time (s): 1800.65
CPU time (s): 1800.12
CPU user time (s): 1799.07
CPU system time (s): 1.04884
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1040148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.04884
maximum resident set size= 1036928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260824
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= 267
involuntary context switches= 1887
runsolver used 4.22236 second user time and 9.14261 second system time
The end