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-3733771-1338698554/watcher-3733771-1338698554 -o /tmp/evaluation-result-3733771-1338698554/solver-3733771-1338698554 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733771-1338698554.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: 4.87 3.32 2.50 2/177 12848
/proc/meminfo: memFree=25597836/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 335979463 4583424 156 33554432000 134512640 135840783 4286857872 4286857212 2516312 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 1119 156 135 325 0 39 0
[startup+0.028088 s]
/proc/loadavg: 4.87 3.32 2.50 2/177 12848
/proc/meminfo: memFree=25597836/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=5280 CPUtime=0.02 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 646 0 0 0 2 0 0 0 20 0 1 0 335979463 5406720 566 33554432000 134512640 135840783 4286857872 4286813068 14099504 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 1320 566 341 325 0 256 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5280
[startup+0.100208 s]
/proc/loadavg: 4.87 3.32 2.50 2/177 12848
/proc/meminfo: memFree=25597836/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=5328 CPUtime=0.09 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 691 0 0 0 9 0 0 0 20 0 1 0 335979463 5455872 601 33554432000 134512640 135840783 4286857872 4286809164 14099504 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 1332 601 343 325 0 268 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5328
[startup+0.300178 s]
/proc/loadavg: 4.87 3.32 2.50 2/177 12848
/proc/meminfo: memFree=25597836/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=9820 CPUtime=0.29 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 1793 0 0 0 29 0 0 0 20 0 1 0 335979463 10055680 1703 33554432000 134512640 135840783 4286857872 4286851644 6575210 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 2455 1703 346 325 0 1391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9820
[startup+0.700174 s]
/proc/loadavg: 4.87 3.32 2.50 2/177 12848
/proc/meminfo: memFree=25597836/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=14844 CPUtime=0.69 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 3055 0 0 0 69 0 0 0 20 0 1 0 335979463 15200256 2965 33554432000 134512640 135840783 4286857872 4286857232 134550910 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 3711 2965 346 325 0 2647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14844
[startup+1.50018 s]
/proc/loadavg: 4.87 3.32 2.50 3/178 12849
/proc/meminfo: memFree=25581908/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=22084 CPUtime=1.48 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 4863 0 0 0 148 0 0 0 20 0 1 0 335979463 22614016 4773 33554432000 134512640 135840783 4286857872 4286857232 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 5521 4773 346 325 0 4457 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22084
[startup+3.10023 s]
/proc/loadavg: 4.87 3.32 2.50 3/178 12849
/proc/meminfo: memFree=25570128/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=33588 CPUtime=3.08 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 7765 0 0 0 308 0 0 0 20 0 1 0 335979463 34394112 7675 33554432000 134512640 135840783 4286857872 4286857232 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 8397 7675 346 325 0 7333 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33588
[startup+6.30023 s]
/proc/loadavg: 4.64 3.30 2.50 3/178 12849
/proc/meminfo: memFree=25557604/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=39736 CPUtime=6.29 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 9295 0 0 0 628 1 0 0 20 0 1 0 335979463 40689664 9205 33554432000 134512640 135840783 4286857872 4286857184 134551294 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 9934 9205 346 325 0 8870 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39736
[startup+12.7002 s]
/proc/loadavg: 4.43 3.28 2.50 3/178 12849
/proc/meminfo: memFree=25524412/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=63416 CPUtime=12.68 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 15211 0 0 0 1266 2 0 0 20 0 1 0 335979463 64937984 15121 33554432000 134512640 135840783 4286857872 4286857184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 15854 15121 346 325 0 14790 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63416
[startup+25.5002 s]
/proc/loadavg: 3.89 3.21 2.49 3/178 12849
/proc/meminfo: memFree=25374228/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=190280 CPUtime=25.48 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 46930 0 0 0 2540 8 0 0 20 0 1 0 335979463 194846720 46840 33554432000 134512640 135840783 4286857872 4286857184 134551058 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12848/statm: 47570 46840 346 325 0 46506 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 190280
[startup+51.1003 s]
/proc/loadavg: 3.24 3.12 2.47 3/178 12850
/proc/meminfo: memFree=25099164/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=415428 CPUtime=51.07 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 103206 0 0 0 5088 19 0 0 20 0 1 0 335979463 425398272 103116 33554432000 134512640 135840783 4286857872 4286818076 6575207 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 103857 103116 346 325 0 102793 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 415428
[startup+102.307 s]
/proc/loadavg: 2.54 2.94 2.45 3/177 12850
/proc/meminfo: memFree=24728140/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=676720 CPUtime=102.27 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 168527 0 0 0 10193 34 0 0 20 0 1 0 335979463 692961280 168437 33554432000 134512640 135840783 4286857872 4286857232 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 169180 168437 346 325 0 168116 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 676720
[startup+162.3 s]
/proc/loadavg: 2.20 2.77 2.42 3/177 12850
/proc/meminfo: memFree=24370180/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=899472 CPUtime=162.25 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 224238 0 0 0 16181 44 0 0 20 0 1 0 335979463 921059328 224148 33554432000 134512640 135840783 4286857872 4286857232 134551065 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 224868 224148 346 325 0 223804 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 899472
[startup+222.3 s]
/proc/loadavg: 2.07 2.63 2.39 3/177 12850
/proc/meminfo: memFree=24063324/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=1086028 CPUtime=222.24 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 270856 0 0 0 22172 52 0 0 20 0 1 0 335979463 1112092672 270766 33554432000 134512640 135840783 4286857872 4286857232 134550916 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 271507 270766 346 325 0 270443 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1086028
[startup+282.3 s]
/proc/loadavg: 2.02 2.51 2.36 3/176 12850
/proc/meminfo: memFree=23801160/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=1221100 CPUtime=282.24 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 304645 0 0 0 28164 60 0 0 20 0 1 0 335979463 1250406400 304555 33554432000 134512640 135840783 4286857872 4286857232 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 305275 304555 346 325 0 304211 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1221100
[startup+342.3 s]
/proc/loadavg: 2.01 2.41 2.34 3/177 12851
/proc/meminfo: memFree=23536980/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=1346044 CPUtime=342.23 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 335859 0 0 0 34156 67 0 0 20 0 1 0 335979463 1378349056 335769 33554432000 134512640 135840783 4286857872 4286857232 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 336511 335769 346 325 0 335447 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1346044
[startup+402.3 s]
/proc/loadavg: 2.00 2.34 2.31 3/177 12852
/proc/meminfo: memFree=23277848/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=1497780 CPUtime=402.21 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 373803 0 0 0 40146 75 0 0 20 0 1 0 335979463 1533726720 373713 33554432000 134512640 135840783 4286857872 4286857232 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 374445 373713 346 325 0 373381 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1497780
[startup+462.3 s]
/proc/loadavg: 2.00 2.27 2.29 3/178 12855
/proc/meminfo: memFree=23019768/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=1638780 CPUtime=462.21 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 409054 0 0 0 46136 85 0 0 20 0 1 0 335979463 1678110720 408964 33554432000 134512640 135840783 4286857872 4286857224 6605008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 409695 408964 346 325 0 408631 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1638780
[startup+522.3 s]
/proc/loadavg: 2.00 2.22 2.27 3/177 12855
/proc/meminfo: memFree=22811440/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=1758384 CPUtime=522.2 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 438965 0 0 0 52128 92 0 0 20 0 1 0 335979463 1800585216 438875 33554432000 134512640 135840783 4286857872 4286819760 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 439596 438875 346 325 0 438532 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1758384
[startup+582.3 s]
/proc/loadavg: 2.04 2.19 2.25 3/177 12855
/proc/meminfo: memFree=22605504/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=1883324 CPUtime=582.19 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 470180 0 0 0 58121 98 0 0 20 0 1 0 335979463 1928523776 470090 33554432000 134512640 135840783 4286857872 4286857232 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 470831 470090 346 325 0 469767 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1883324
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.06 2.17 3/177 12856
/proc/meminfo: memFree=21748804/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2351012 CPUtime=882.14 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 587113 0 0 0 88091 123 0 0 20 0 1 0 335979463 2407436288 587023 33554432000 134512640 135840783 4286857872 4286857232 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 587753 587023 346 325 0 586689 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 2351012
[startup+942.3 s]
/proc/loadavg: 2.00 2.05 2.16 3/177 12856
/proc/meminfo: memFree=21595692/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2428352 CPUtime=942.13 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 606436 0 0 0 94086 127 0 0 20 0 1 0 335979463 2486632448 606346 33554432000 134512640 135840783 4286857872 4286857232 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 607088 606346 346 325 0 606024 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 2428352
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.15 3/177 12857
/proc/meminfo: memFree=21441588/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2509096 CPUtime=1002.13 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 626631 0 0 0 100081 132 0 0 20 0 1 0 335979463 2569314304 626541 33554432000 134512640 135840783 4286857872 4286857232 134550921 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 627274 626541 346 325 0 626210 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 2509096
[startup+1062.3 s]
/proc/loadavg: 2.06 2.06 2.15 3/178 12860
/proc/meminfo: memFree=21288404/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2579440 CPUtime=1062.12 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 644219 0 0 0 106077 135 0 0 20 0 1 0 335979463 2641346560 644129 33554432000 134512640 135840783 4286857872 4286857232 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 644860 644129 346 325 0 643796 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2579440
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.14 3/178 12882
/proc/meminfo: memFree=21124296/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2660148 CPUtime=1122.11 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 664405 0 0 0 112071 140 0 0 20 0 1 0 335979463 2723991552 664315 33554432000 134512640 135840783 4286857872 4286819824 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 665037 664315 346 325 0 663973 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2660148
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.12 3/177 12882
/proc/meminfo: memFree=20978244/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2728456 CPUtime=1182.1 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 681473 0 0 0 118066 144 0 0 20 0 1 0 335979463 2793938944 681383 33554432000 134512640 135840783 4286857872 4286857232 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 682114 681383 346 325 0 681050 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2728456
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/177 12882
/proc/meminfo: memFree=20824264/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2798260 CPUtime=1242.09 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 698933 0 0 0 124061 148 0 0 20 0 1 0 335979463 2865418240 698843 33554432000 134512640 135840783 4286857872 4286857232 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 699565 698843 346 325 0 698501 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2798260
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/177 12883
/proc/meminfo: memFree=20674624/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2864584 CPUtime=1302.09 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 715505 0 0 0 130058 151 0 0 20 0 1 0 335979463 2933334016 715415 33554432000 134512640 135840783 4286857872 4286857232 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 716146 715415 346 325 0 715082 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2864584
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/177 12883
/proc/meminfo: memFree=20537260/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=2930512 CPUtime=1362.07 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 731997 0 0 0 136052 155 0 0 20 0 1 0 335979463 3000844288 731907 33554432000 134512640 135840783 4286857872 4286857232 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 732628 731907 346 325 0 731564 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2930512
[startup+1422.31 s]
/proc/loadavg: 1.91 1.98 2.07 3/177 14214
/proc/meminfo: memFree=24168912/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=3008904 CPUtime=1422.07 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 751603 0 0 0 142047 160 0 0 20 0 1 0 335979463 3081117696 751504 33554432000 134512640 135840783 4286857872 4286857232 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 752226 751504 346 325 0 751162 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3008904
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 2.07 3/177 14214
/proc/meminfo: memFree=24082916/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=3082656 CPUtime=1482.04 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 770031 0 0 0 148040 164 0 0 20 0 1 0 335979463 3156639744 769923 33554432000 134512640 135840783 4286857872 4286857232 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 770664 769923 346 325 0 769600 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 3082656
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 2.07 3/177 14214
/proc/meminfo: memFree=24002348/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=3146932 CPUtime=1542.02 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 786120 0 0 0 154034 168 0 0 20 0 1 0 335979463 3222458368 786003 33554432000 134512640 135840783 4286857872 4286857232 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 786733 786003 346 325 0 785669 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 3146932
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.07 3/177 14215
/proc/meminfo: memFree=23876020/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=3236744 CPUtime=1602.01 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 808575 0 0 0 160029 172 0 0 20 0 1 0 335979463 3314425856 808445 33554432000 134512640 135840783 4286857872 4286857232 134551100 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 809186 808445 346 325 0 808122 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 3236744
[startup+1662.3 s]
/proc/loadavg: 2.12 2.03 2.07 3/178 14218
/proc/meminfo: memFree=23774100/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=3316444 CPUtime=1662 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 828517 0 0 0 166024 176 0 0 20 0 1 0 335979463 3396038656 828369 33554432000 134512640 135840783 4286857872 4286857232 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 829111 828369 346 325 0 828047 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 3316444
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.07 3/177 14218
/proc/meminfo: memFree=23669356/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=3414312 CPUtime=1721.98 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 853004 0 0 0 172018 180 0 0 20 0 1 0 335979463 3496255488 852846 33554432000 134512640 135840783 4286857872 4286857232 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 853578 852846 346 325 0 852514 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 3414312
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.06 3/177 14218
/proc/meminfo: memFree=23573904/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=3504760 CPUtime=1781.97 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 875619 0 0 0 178011 186 0 0 20 0 1 0 335979463 3588874240 875449 33554432000 134512640 135840783 4286857872 4286857232 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 876190 875449 346 325 0 875126 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3504760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 2.06 3/177 14218
/proc/meminfo: memFree=23549072/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=3527348 CPUtime=1800.07 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202496 881267 0 0 0 179820 187 0 0 20 0 1 0 335979463 3612004352 881096 33554432000 134512640 135840783 4286857872 4286857232 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 881837 881096 346 325 0 880773 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3527348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.51 s]
/proc/loadavg: 2.02 2.03 2.06 3/177 14218
/proc/meminfo: memFree=23549072/32873648 swapFree=7368/7368
[pid=12848] ppid=12846 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/12848/stat : 12848 (bsolo3.0.17) R 12846 12848 10459 0 -1 4202500 881270 0 0 0 179820 197 0 0 20 0 1 0 335979463 0 0 33554432000 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12848/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 15
Real time (s): 1800.58
CPU time (s): 1800.25
CPU user time (s): 1798.2
CPU system time (s): 2.04569
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 3527348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 2.04569
maximum resident set size= 3524384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 881270
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= 103
involuntary context switches= 2338
runsolver used 3.90041 second user time and 8.85365 second system time
The end