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-3731108-1338682708/watcher-3731108-1338682708 -o /tmp/evaluation-result-3731108-1338682708/solver-3731108-1338682708 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731108-1338682708.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.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/28183/stat : 28183 (runsolver) D 28181 28183 27204 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 334396169 12095488 50 33554432000 4194304 5436572 140737127602944 140737127599240 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/28183/statm: 2953 50 31 304 0 2645 0
[startup+0.0540161 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=5488 CPUtime=0.03 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 725 0 0 0 3 0 0 0 20 0 1 0 334396169 5619712 630 33554432000 134512640 135840783 4287259072 4287226316 5403696 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 1372 630 341 325 0 308 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5488
[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=5488 CPUtime=0.08 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 725 0 0 0 8 0 0 0 20 0 1 0 334396169 5619712 630 33554432000 134512640 135840783 4287259072 4287226316 5403696 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 1372 630 341 325 0 308 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5488
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=6228 CPUtime=0.27 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 3153 0 0 0 27 0 0 0 20 0 1 0 334396169 6377472 900 33554432000 134512640 135840783 4287259072 4287256096 8762663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 1557 900 429 325 0 493 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6228
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 28183
/proc/meminfo: memFree=27841464/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=11540 CPUtime=0.67 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 4476 0 0 0 67 0 0 0 20 0 1 0 334396169 11816960 2223 33554432000 134512640 135840783 4287259072 4287246880 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 2885 2224 429 325 0 1821 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11540
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27831660/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=16976 CPUtime=1.48 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 5832 0 0 0 147 1 0 0 20 0 1 0 334396169 17383424 3579 33554432000 134512640 135840783 4287259072 4287252804 8768069 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 4244 3579 429 325 0 3180 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16976
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27821120/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=31740 CPUtime=3.08 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 9550 0 0 0 306 2 0 0 20 0 1 0 334396169 32501760 7297 33554432000 134512640 135840783 4287259072 4287255328 8762663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 7935 7297 429 325 0 6871 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31740
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27794708/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=55240 CPUtime=6.28 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 15403 0 0 0 625 3 0 0 20 0 1 0 334396169 56565760 13150 33554432000 134512640 135840783 4287259072 4287255616 8762663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 13810 13150 429 325 0 12746 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55240
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27747828/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=95596 CPUtime=12.67 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 25482 0 0 0 1263 4 0 0 20 0 1 0 334396169 97890304 23229 33554432000 134512640 135840783 4287259072 4287258384 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 23899 23229 429 325 0 22835 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 95596
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27691400/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=145044 CPUtime=25.47 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 37844 0 0 0 2540 7 0 0 20 0 1 0 334396169 148525056 35591 33554432000 134512640 135840783 4287259072 4287258432 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 36261 35591 429 325 0 35197 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 145044
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28184
/proc/meminfo: memFree=27590044/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=234036 CPUtime=51.07 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 60122 0 0 0 5097 10 0 0 20 0 1 0 334396169 239652864 57869 33554432000 134512640 135840783 4287259072 4287254008 134584977 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 58509 57869 429 325 0 57445 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 234036
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 28187
/proc/meminfo: memFree=27474744/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=325264 CPUtime=102.27 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 82910 0 0 0 10211 16 0 0 20 0 1 0 334396169 333070336 80657 33554432000 134512640 135840783 4287259072 4287258432 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 81316 80657 429 325 0 80252 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 325264
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 28187
/proc/meminfo: memFree=27267476/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=507456 CPUtime=162.26 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 128452 0 0 0 16201 25 0 0 20 0 1 0 334396169 519634944 126199 33554432000 134512640 135840783 4287259072 4287239780 8757220 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 126864 126199 429 325 0 125800 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 507456
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 28188
/proc/meminfo: memFree=27124400/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=626008 CPUtime=222.25 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 158104 0 0 0 22194 31 0 0 20 0 1 0 334396169 641032192 155851 33554432000 134512640 135840783 4287259072 4287258432 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 156502 155851 429 325 0 155438 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 626008
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 28188
/proc/meminfo: memFree=27008368/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=723100 CPUtime=282.23 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 182375 0 0 0 28186 37 0 0 20 0 1 0 334396169 740454400 180122 33554432000 134512640 135840783 4287259072 4287258432 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 180775 180122 429 325 0 179711 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 723100
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 28188
/proc/meminfo: memFree=26916416/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=785908 CPUtime=342.2 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 198091 0 0 0 34178 42 0 0 20 0 1 0 334396169 804769792 195812 33554432000 134512640 135840783 4287259072 4287258432 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 196477 195812 429 325 0 195413 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 785908
[startup+402.3 s]
/proc/loadavg: 2.09 2.02 1.93 3/179 28188
/proc/meminfo: memFree=26842044/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=838244 CPUtime=402.16 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 211219 0 0 0 40170 46 0 0 20 0 1 0 334396169 858361856 208903 33554432000 134512640 135840783 4287259072 4287240496 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 209561 208903 429 325 0 208497 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 838244
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 28188
/proc/meminfo: memFree=26717576/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=932276 CPUtime=462.11 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 234790 0 0 0 46159 52 0 0 20 0 1 0 334396169 954650624 232429 33554432000 134512640 135840783 4287259072 4287258432 134551052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 233069 232429 429 325 0 232005 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 932276
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 28189
/proc/meminfo: memFree=26617288/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1018016 CPUtime=522.06 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 256253 0 0 0 52149 57 0 0 20 0 1 0 334396169 1042448384 253853 33554432000 134512640 135840783 4287259072 4287258432 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 254504 253853 429 325 0 253440 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 1018016
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/179 28189
/proc/meminfo: memFree=26497904/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1118436 CPUtime=582.03 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 281381 0 0 0 58139 64 0 0 20 0 1 0 334396169 1145278464 278952 33554432000 134512640 135840783 4287259072 4287258432 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 279609 278952 429 325 0 278545 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 1118436
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28193
/proc/meminfo: memFree=26115876/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1419004 CPUtime=881.88 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 356643 0 0 0 88104 84 0 0 20 0 1 0 334396169 1453060096 354107 33554432000 134512640 135840783 4287259072 4287258432 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 354751 354107 429 325 0 353687 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 1419004
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28193
/proc/meminfo: memFree=26045472/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1474472 CPUtime=941.84 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 370540 0 0 0 94095 89 0 0 20 0 1 0 334396169 1509859328 367969 33554432000 134512640 135840783 4287259072 4287258432 134550884 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 368618 367969 429 325 0 367554 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 1474472
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28193
/proc/meminfo: memFree=25973580/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1531864 CPUtime=1001.81 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 384912 0 0 0 100087 94 0 0 20 0 1 0 334396169 1568628736 382316 33554432000 134512640 135840783 4287259072 4287258424 1509548 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 382966 382316 429 325 0 381902 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 1531864
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28193
/proc/meminfo: memFree=25893752/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1598604 CPUtime=1061.78 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 401622 0 0 0 106079 99 0 0 20 0 1 0 334396169 1636970496 399006 33554432000 134512640 135840783 4287259072 4287258432 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 399651 399006 429 325 0 398587 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 1598604
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28194
/proc/meminfo: memFree=25816528/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1659900 CPUtime=1121.75 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 416943 0 0 0 112072 103 0 0 20 0 1 0 334396169 1699737600 414309 33554432000 134512640 135840783 4287259072 4287258432 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 414975 414309 429 325 0 413911 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1659900
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28194
/proc/meminfo: memFree=25751084/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1710452 CPUtime=1181.71 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 429623 0 0 0 118065 106 0 0 20 0 1 0 334396169 1751502848 426954 33554432000 134512640 135840783 4287259072 4287258432 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 427613 426954 429 325 0 426549 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 1710452
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 28194
/proc/meminfo: memFree=25686260/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1757696 CPUtime=1241.68 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 441501 0 0 0 124057 111 0 0 20 0 1 0 334396169 1799880704 438785 33554432000 134512640 135840783 4287259072 4287258432 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 439424 438785 429 325 0 438360 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 1757696
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 28197
/proc/meminfo: memFree=25632588/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1797264 CPUtime=1301.64 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 451421 0 0 0 130050 114 0 0 20 0 1 0 334396169 1840398336 448663 33554432000 134512640 135840783 4287259072 4287258432 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 449316 448663 429 325 0 448252 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 1797264
[startup+1362.3 s]
/proc/loadavg: 1.95 1.98 1.93 3/179 28274
/proc/meminfo: memFree=26322524/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1845840 CPUtime=1361.59 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 463603 0 0 0 136040 119 0 0 20 0 1 0 334396169 1890140160 460801 33554432000 134512640 135840783 4287259072 4287258384 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 461460 460801 429 325 0 460396 0
Current children cumulated CPU time (s) 1361.59
Current children cumulated vsize (KiB) 1845840
[startup+1422.31 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 28275
/proc/meminfo: memFree=26243936/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1883888 CPUtime=1421.56 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 473156 0 0 0 142034 122 0 0 20 0 1 0 334396169 1929101312 470307 33554432000 134512640 135840783 4287259072 4287254128 8762663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 470972 470307 429 325 0 469908 0
Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 1883888
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28275
/proc/meminfo: memFree=26175888/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1922328 CPUtime=1481.52 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 482798 0 0 0 148027 125 0 0 20 0 1 0 334396169 1968463872 479919 33554432000 134512640 135840783 4287259072 4287258432 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 480582 479919 429 325 0 479518 0
Current children cumulated CPU time (s) 1481.52
Current children cumulated vsize (KiB) 1922328
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28275
/proc/meminfo: memFree=26109396/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=1961996 CPUtime=1541.52 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 492729 0 0 0 154023 129 0 0 20 0 1 0 334396169 2009083904 489850 33554432000 134512640 135840783 4287259072 4287258432 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 490499 489850 429 325 0 489435 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 1961996
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 28275
/proc/meminfo: memFree=26050868/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2000080 CPUtime=1601.5 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 502254 0 0 0 160018 132 0 0 20 0 1 0 334396169 2048081920 499375 33554432000 134512640 135840783 4287259072 4287258432 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 500020 499375 429 325 0 498956 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 2000080
[startup+1662.3 s]
/proc/loadavg: 2.09 2.01 1.94 3/179 28275
/proc/meminfo: memFree=25992588/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2039892 CPUtime=1661.5 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 512193 0 0 0 166015 135 0 0 20 0 1 0 334396169 2088849408 509314 33554432000 134512640 135840783 4287259072 4287258432 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 509973 509314 429 325 0 508909 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 2039892
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 28276
/proc/meminfo: memFree=25929224/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2080364 CPUtime=1721.49 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 522331 0 0 0 172009 140 0 0 20 0 1 0 334396169 2130292736 519452 33554432000 134512640 135840783 4287259072 4287258432 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 520091 519452 429 325 0 519027 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 2080364
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 28276
/proc/meminfo: memFree=25881360/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2109332 CPUtime=1781.47 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 529547 0 0 0 178005 142 0 0 20 0 1 0 334396169 2159955968 526668 33554432000 134512640 135840783 4287259072 4287258384 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 527333 526668 429 325 0 526269 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 2109332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 28276
/proc/meminfo: memFree=25864868/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2119204 CPUtime=1800.08 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 532027 0 0 0 179865 143 0 0 20 0 1 0 334396169 2170064896 529148 33554432000 134512640 135840783 4287259072 4287258432 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 529801 529148 429 325 0 528737 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2119204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 28276
/proc/meminfo: memFree=25864868/32873844 swapFree=7124/7124
[pid=28183] ppid=28181 vsize=2119204 CPUtime=1800.08 cores=0,2,4,6
/proc/28183/stat : 28183 (bsolo3.0.17) R 28181 28183 27204 0 -1 4202496 532027 0 0 0 179865 143 0 0 20 0 1 0 334396169 2170064896 529148 33554432000 134512640 135840783 4287259072 4287258432 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28183/statm: 529801 529148 429 325 0 528737 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2119204
Child status: 15
Real time (s): 1800.93
CPU time (s): 1800.11
CPU user time (s): 1798.66
CPU system time (s): 1.45578
CPU usage (%): 99.9547
Max. virtual memory (cumulated for all children) (KiB): 2119204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.45578
maximum resident set size= 2116592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532029
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= 701
involuntary context switches= 1882
runsolver used 5.00124 second user time and 7.70283 second system time
The end