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-3733485-1338695984/watcher-3733485-1338695984 -o /tmp/evaluation-result-3733485-1338695984/solver-3733485-1338695984 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733485-1338695984.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.92 1.98 1.99 3/175 11519
/proc/meminfo: memFree=27352048/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=12736 CPUtime=0 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 335724425 13041664 401 33554432000 134512640 135840783 4287604080 4287602736 1582375 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 3184 402 327 325 0 2062 0
[startup+0.0595579 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 11519
/proc/meminfo: memFree=27352048/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=6204 CPUtime=0.05 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 945 0 0 0 5 0 0 0 20 0 1 0 335724425 6352896 823 33554432000 134512640 135840783 4287604080 4287538448 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 1551 823 345 325 0 487 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6204
[startup+0.100208 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 11519
/proc/meminfo: memFree=27352048/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=6204 CPUtime=0.09 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 945 0 0 0 9 0 0 0 20 0 1 0 335724425 6352896 823 33554432000 134512640 135840783 4287604080 4287538448 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 1551 823 345 325 0 487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6204
[startup+0.300119 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 11519
/proc/meminfo: memFree=27352048/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=6204 CPUtime=0.29 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 945 0 0 0 29 0 0 0 20 0 1 0 335724425 6352896 823 33554432000 134512640 135840783 4287604080 4287538448 134551175 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 1551 823 345 325 0 487 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6204
[startup+0.700174 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 11519
/proc/meminfo: memFree=27352048/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=6204 CPUtime=0.69 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 945 0 0 0 69 0 0 0 20 0 1 0 335724425 6352896 823 33554432000 134512640 135840783 4287604080 4287538448 134551175 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 1551 823 345 325 0 487 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6204
[startup+1.50017 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11520
/proc/meminfo: memFree=27349312/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=6204 CPUtime=1.49 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 945 0 0 0 149 0 0 0 20 0 1 0 335724425 6352896 823 33554432000 134512640 135840783 4287604080 4287538588 8684592 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 1551 823 345 325 0 487 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6204
[startup+3.10023 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11520
/proc/meminfo: memFree=27349032/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=6204 CPUtime=3.09 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 945 0 0 0 309 0 0 0 20 0 1 0 335724425 6352896 823 33554432000 134512640 135840783 4287604080 4287538448 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 1551 823 345 325 0 487 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6204
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11521
/proc/meminfo: memFree=27344836/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=23696 CPUtime=6.29 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 5379 0 0 0 628 1 0 0 20 0 1 0 335724425 24264704 5194 33554432000 134512640 135840783 4287604080 4287603440 134551186 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 5924 5194 350 325 0 4860 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23696
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11521
/proc/meminfo: memFree=27231108/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=136024 CPUtime=12.68 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 33460 0 0 0 1264 4 0 0 20 0 1 0 335724425 139288576 33275 33554432000 134512640 135840783 4287604080 4287568848 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 34006 33275 350 325 0 32942 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 136024
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 11524
/proc/meminfo: memFree=26969792/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=327436 CPUtime=25.48 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 81323 0 0 0 2535 13 0 0 20 0 1 0 335724425 335294464 81134 33554432000 134512640 135840783 4287604080 4287603440 134551063 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 81859 81134 350 325 0 80795 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 327436
[startup+51.1001 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 11524
/proc/meminfo: memFree=26581328/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=630652 CPUtime=51.05 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 157134 0 0 0 5079 26 0 0 20 0 1 0 335724425 645787648 156938 33554432000 134512640 135840783 4287604080 4287603376 134572583 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11519/statm: 157663 156938 350 325 0 156599 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 630652
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 11547
/proc/meminfo: memFree=25977320/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=1142716 CPUtime=102.23 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 285165 0 0 0 10173 50 0 0 20 0 1 0 335724425 1170141184 284933 33554432000 134512640 135840783 4287604080 4287569344 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 285679 284936 350 325 0 284615 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 1142716
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11547
/proc/meminfo: memFree=25475968/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=1581300 CPUtime=162.18 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 394861 0 0 0 16147 71 0 0 20 0 1 0 335724425 1619251200 394599 33554432000 134512640 135840783 4287604080 4287603440 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 395325 394599 350 325 0 394261 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 1581300
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11547
/proc/meminfo: memFree=25145796/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=1879884 CPUtime=222.15 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 469514 0 0 0 22129 86 0 0 20 0 1 0 335724425 1925001216 469228 33554432000 134512640 135840783 4287604080 4287570112 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 469971 469228 350 325 0 468907 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 1879884
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11547
/proc/meminfo: memFree=24760316/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=2228724 CPUtime=282.11 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 556746 0 0 0 28107 104 0 0 20 0 1 0 335724425 2282213376 556446 33554432000 134512640 135840783 4287604080 4287603392 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 557181 556446 350 325 0 556117 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 2228724
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11548
/proc/meminfo: memFree=24343484/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=2609424 CPUtime=342.09 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 651964 0 0 0 34084 125 0 0 20 0 1 0 335724425 2672050176 651640 33554432000 134512640 135840783 4287604080 4287603440 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 652356 651640 350 325 0 651292 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 2609424
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11548
/proc/meminfo: memFree=24028192/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=2888552 CPUtime=402.06 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 721751 0 0 0 40066 140 0 0 20 0 1 0 335724425 2957877248 721421 33554432000 134512640 135840783 4287604080 4287603392 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 722138 721421 350 325 0 721074 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 2888552
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11548
/proc/meminfo: memFree=23782204/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=3098776 CPUtime=462.02 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 774319 0 0 0 46051 151 0 0 20 0 1 0 335724425 3173146624 773969 33554432000 134512640 135840783 4287604080 4287569040 134574500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 774694 773969 350 325 0 773630 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 3098776
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11548
/proc/meminfo: memFree=23531776/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=3325068 CPUtime=522 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 830897 0 0 0 52035 165 0 0 20 0 1 0 335724425 3404869632 830533 33554432000 134512640 135840783 4287604080 4287603440 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 831267 830533 350 325 0 830203 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 3325068
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11548
/proc/meminfo: memFree=23264460/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=3588684 CPUtime=581.97 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 896833 0 0 0 58019 178 0 0 20 0 1 0 335724425 3674812416 896455 33554432000 134512640 135840783 4287604080 4287603392 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 897171 896455 350 325 0 896107 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 3588684
[startup+642.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 11552
/proc/meminfo: memFree=23042856/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=3808136 CPUtime=641.94 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 951712 0 0 0 64003 191 0 0 20 0 1 0 335724425 3899531264 951318 33554432000 134512640 135840783 4287604080 4287603440 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 952034 951318 350 325 0 950970 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 3808136
[startup+702.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 11552
/proc/meminfo: memFree=22885680/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=3966824 CPUtime=701.91 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 991377 0 0 0 69993 198 0 0 20 0 1 0 335724425 4062027776 990979 33554432000 134512640 135840783 4287604080 4287603440 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 991706 990979 350 325 0 990642 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 3966824
[startup+762.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11552
/proc/meminfo: memFree=22684220/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4166524 CPUtime=761.9 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4202496 1041267 0 0 0 75980 210 0 0 20 0 1 0 335724425 4266520576 1040857 33554432000 134512640 135840783 4287604080 4287603440 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11519/statm: 1041631 1040857 350 325 0 1040567 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 4166524
[startup+822.3 s]
/proc/loadavg: 3.46 2.37 2.12 2/178 11553
/proc/meminfo: memFree=13970408/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.48 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 477 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.48
Current children cumulated vsize (KiB) 4190080
[startup+882.3 s]
/proc/loadavg: 4.47 2.86 2.31 2/178 11553
/proc/meminfo: memFree=13905460/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.51 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 480 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.51
Current children cumulated vsize (KiB) 4190080
Solver just ended. Dumping a history of the last processes samples
[startup+897 s]
/proc/loadavg: 4.65 2.98 2.35 2/178 11553
/proc/meminfo: memFree=13894764/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.51 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 480 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.51
Current children cumulated vsize (KiB) 4190080
[startup+922.6 s]
/proc/loadavg: 4.83 3.16 2.43 2/178 11554
/proc/meminfo: memFree=13872908/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.51 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 480 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.51
Current children cumulated vsize (KiB) 4190080
[startup+929 s]
/proc/loadavg: 4.94 3.24 2.46 2/178 11554
/proc/meminfo: memFree=13866708/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.51 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 480 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.51
Current children cumulated vsize (KiB) 4190080
[startup+935.4 s]
/proc/loadavg: 4.94 3.26 2.47 2/178 11554
/proc/meminfo: memFree=13862492/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.51 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 480 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.51
Current children cumulated vsize (KiB) 4190080
[startup+937 s]
/proc/loadavg: 4.94 3.26 2.47 2/178 11554
/proc/meminfo: memFree=13862352/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.51 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 480 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.51
Current children cumulated vsize (KiB) 4190080
[startup+937.8 s]
/proc/loadavg: 4.94 3.26 2.47 2/178 11554
/proc/meminfo: memFree=13861360/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.51 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 480 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.51
Current children cumulated vsize (KiB) 4190080
[startup+938.6 s]
/proc/loadavg: 4.95 3.29 2.49 2/178 11554
/proc/meminfo: memFree=13862104/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=4190080 CPUtime=774.51 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) S 11517 11519 9030 0 -1 4204032 1047248 0 0 0 76971 480 0 0 20 0 1 0 335724425 4290641920 1046837 33554432000 134512640 135840783 4287604080 4287568808 8684592 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 1047520 1046837 379 325 0 1046456 0
Current children cumulated CPU time (s) 774.51
Current children cumulated vsize (KiB) 4190080
[startup+939 s]
/proc/loadavg: 4.95 3.29 2.49 2/178 11554
/proc/meminfo: memFree=13862104/32873648 swapFree=6860/6860
[pid=11519] ppid=11517 vsize=0 CPUtime=774.64 cores=1,3,5,7
/proc/11519/stat : 11519 (bsolo3.0.17) R 11517 11519 9030 0 -1 4204036 1047248 0 0 0 76971 493 0 0 20 0 1 0 335724425 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11519/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 774.64
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 939.034
CPU time (s): 774.688
CPU user time (s): 769.716
CPU system time (s): 4.97224
CPU usage (%): 82.4984
Max. virtual memory (cumulated for all children) (KiB): 4190080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 769.716
system time used= 4.97224
maximum resident set size= 4187348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1047248
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= 1045033
involuntary context switches= 921
runsolver used 2.33964 second user time and 7.53085 second system time
The end