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-3731361-1338684153/watcher-3731361-1338684153 -o /tmp/evaluation-result-3731361-1338684153/solver-3731361-1338684153 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731361-1338684153.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.93 3/178 7695
/proc/meminfo: memFree=28852896/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) D 7693 7695 7079 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 334540093 2723840 48 33554432000 134512640 135840783 4292650272 4292648308 7222212 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 665 48 37 325 0 32 0
[startup+0.05025 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 7695
/proc/meminfo: memFree=28852896/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=7080 CPUtime=0.04 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 1190 0 0 0 4 0 0 0 20 0 1 0 334540093 7249920 1010 33554432000 134512640 135840783 4292650272 4292649360 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 1770 1016 339 325 0 706 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7080
[startup+0.100291 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 7695
/proc/meminfo: memFree=28852896/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=7676 CPUtime=0.09 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 1331 0 0 0 9 0 0 0 20 0 1 0 334540093 7860224 1151 33554432000 134512640 135840783 4292650272 4292520700 11564080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 1919 1151 343 325 0 855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7676
[startup+0.300208 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 7695
/proc/meminfo: memFree=28852896/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=8892 CPUtime=0.29 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 1820 0 0 0 28 1 0 0 20 0 1 0 334540093 9105408 1479 33554432000 134512640 135840783 4292650272 4292649504 134574943 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 2223 1479 348 325 0 1159 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8892
[startup+0.700214 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 7695
/proc/meminfo: memFree=28852896/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=9956 CPUtime=0.69 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 2077 0 0 0 68 1 0 0 20 0 1 0 334540093 10194944 1736 33554432000 134512640 135840783 4292650272 4292649584 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 2489 1736 348 325 0 1425 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9956
[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28847448/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=10488 CPUtime=1.49 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 2224 0 0 0 148 1 0 0 20 0 1 0 334540093 10739712 1883 33554432000 134512640 135840783 4292650272 4292649632 134551065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 2622 1883 348 325 0 1558 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10488
[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28846208/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=14056 CPUtime=3.09 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 3122 0 0 0 308 1 0 0 20 0 1 0 334540093 14393344 2781 33554432000 134512640 135840783 4292650272 4292648600 134585064 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 3514 2781 350 325 0 2450 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14056
[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28822284/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=50036 CPUtime=6.28 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 12104 0 0 0 626 2 0 0 20 0 1 0 334540093 51236864 11763 33554432000 134512640 135840783 4292650272 4292649632 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 12509 11763 350 325 0 11445 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50036
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28764136/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=95096 CPUtime=12.69 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 23364 0 0 0 1265 4 0 0 20 0 1 0 334540093 97378304 23023 33554432000 134512640 135840783 4292650272 4292649584 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 23774 23023 350 325 0 22710 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95096
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28593644/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=267948 CPUtime=25.48 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 66576 0 0 0 2537 11 0 0 20 0 1 0 334540093 274378752 66235 33554432000 134512640 135840783 4292650272 4292649632 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 66987 66235 350 325 0 65923 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 267948
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28391956/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=467696 CPUtime=51.07 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 116515 0 0 0 5086 21 0 0 20 0 1 0 334540093 478920704 116189 33554432000 134512640 135840783 4292650272 4292649632 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 116924 116189 350 325 0 115860 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 467696
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 7696
/proc/meminfo: memFree=28099360/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=756500 CPUtime=102.25 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 188723 0 0 0 10186 39 0 0 20 0 1 0 334540093 774656000 188394 33554432000 134512640 135840783 4292650272 4292649632 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 189125 188394 350 325 0 188061 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 756500
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 7696
/proc/meminfo: memFree=27939428/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=917252 CPUtime=162.24 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 228910 0 0 0 16174 50 0 0 20 0 1 0 334540093 939266048 228581 33554432000 134512640 135840783 4292650272 4292649632 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 229313 228581 350 325 0 228249 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 917252
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 7696
/proc/meminfo: memFree=27788920/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=1065908 CPUtime=222.23 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 266076 0 0 0 22163 60 0 0 20 0 1 0 334540093 1091489792 265746 33554432000 134512640 135840783 4292650272 4292649632 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 266477 265746 350 325 0 265413 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1065908
[startup+282.3 s]
/proc/loadavg: 2.05 2.00 1.94 3/179 7697
/proc/meminfo: memFree=27552604/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=1297900 CPUtime=282.22 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 324097 0 0 0 28149 73 0 0 20 0 1 0 334540093 1329049600 323760 33554432000 134512640 135840783 4292650272 4292649632 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 324475 323760 350 325 0 323411 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1297900
[startup+342.3 s]
/proc/loadavg: 1.95 1.98 1.93 3/179 7736
/proc/meminfo: memFree=27405364/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=1494848 CPUtime=342.18 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 373339 0 0 0 34135 83 0 0 20 0 1 0 334540093 1530724352 373002 33554432000 134512640 135840783 4292650272 4292649632 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 373712 373002 350 325 0 372648 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1494848
[startup+402.3 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 7736
/proc/meminfo: memFree=27315988/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=1572500 CPUtime=402.16 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 392728 0 0 0 40128 88 0 0 20 0 1 0 334540093 1610240000 392390 33554432000 134512640 135840783 4292650272 4292649632 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 393125 392390 350 325 0 392061 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1572500
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/180 7739
/proc/meminfo: memFree=27164852/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=1692584 CPUtime=462.16 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 422752 0 0 0 46120 96 0 0 20 0 1 0 334540093 1733206016 422414 33554432000 134512640 135840783 4292650272 4292649584 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 423146 422414 350 325 0 422082 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1692584
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 7739
/proc/meminfo: memFree=27070276/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=1769340 CPUtime=522.14 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 441951 0 0 0 52114 100 0 0 20 0 1 0 334540093 1811804160 441613 33554432000 134512640 135840783 4292650272 4292649632 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 442335 441613 350 325 0 441271 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1769340
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 7740
/proc/meminfo: memFree=26972592/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=1852096 CPUtime=582.12 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 462626 0 0 0 58107 105 0 0 20 0 1 0 334540093 1896546304 462288 33554432000 134512640 135840783 4292650272 4292649632 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 463024 462288 350 325 0 461960 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1852096
[startup+642.3 s]
################
# More data... #
################
[pid=7695] ppid=7693 vsize=3009540 CPUtime=882.02 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 751988 0 0 0 88033 169 0 0 20 0 1 0 334540093 3081768960 751649 33554432000 134512640 135840783 4292650272 4292649632 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 752385 751649 350 325 0 751321 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 3009540
[startup+942.3 s]
/proc/loadavg: 2.07 2.00 1.94 3/179 7741
/proc/meminfo: memFree=25628848/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=3156536 CPUtime=942.01 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 788731 0 0 0 94023 178 0 0 20 0 1 0 334540093 3232292864 788392 33554432000 134512640 135840783 4292650272 4292649584 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 789134 788392 350 325 0 788070 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 3156536
[startup+1002.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/179 7741
/proc/meminfo: memFree=25465940/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=3317616 CPUtime=1002 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 829018 0 0 0 100012 188 0 0 20 0 1 0 334540093 3397238784 828679 33554432000 134512640 135840783 4292650272 4292649632 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 829404 828679 350 325 0 828340 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 3317616
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/180 7744
/proc/meminfo: memFree=25329800/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=3456304 CPUtime=1061.98 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 863690 0 0 0 106000 198 0 0 20 0 1 0 334540093 3539255296 863351 33554432000 134512640 135840783 4292650272 4292649632 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 864076 863351 350 325 0 863012 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 3456304
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 7767
/proc/meminfo: memFree=25035808/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=3740140 CPUtime=1121.96 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 934654 0 0 0 111982 214 0 0 20 0 1 0 334540093 3829903360 934312 33554432000 134512640 135840783 4292650272 4292649632 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 935035 934312 350 325 0 933971 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 3740140
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 7768
/proc/meminfo: memFree=24858524/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=3917888 CPUtime=1181.96 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 978981 0 0 0 117970 226 0 0 20 0 1 0 334540093 4011917312 978639 33554432000 134512640 135840783 4292650272 4292649584 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 979472 978639 350 325 0 978408 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 3917888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 7768
/proc/meminfo: memFree=24751292/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4023368 CPUtime=1241.93 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 1005294 0 0 0 123961 232 0 0 20 0 1 0 334540093 4119928832 1004952 33554432000 134512640 135840783 4292650272 4292649632 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 1005842 1004952 350 325 0 1004778 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 4023368
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 7768
/proc/meminfo: memFree=24659684/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4113488 CPUtime=1301.93 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4202496 1027884 0 0 0 129954 239 0 0 20 0 1 0 334540093 4212211712 1027541 33554432000 134512640 135840783 4292650272 4292649632 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7695/statm: 1028372 1027541 350 325 0 1027308 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 4113488
[startup+1362.3 s]
/proc/loadavg: 2.74 2.16 1.99 2/181 7769
/proc/meminfo: memFree=17508500/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1344.51 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 467 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1344.51
Current children cumulated vsize (KiB) 4189272
[startup+1422.31 s]
/proc/loadavg: 4.31 2.71 2.19 2/181 7769
/proc/meminfo: memFree=15828892/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
[startup+1482.3 s]
/proc/loadavg: 4.97 3.20 2.39 2/181 7770
/proc/meminfo: memFree=15828920/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
Solver just ended. Dumping a history of the last processes samples
[startup+1485.7 s]
/proc/loadavg: 5.05 3.24 2.40 2/181 7770
/proc/meminfo: memFree=15828796/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
[startup+1492.1 s]
/proc/loadavg: 5.13 3.29 2.42 2/181 7770
/proc/meminfo: memFree=15828904/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
[startup+1498.5 s]
/proc/loadavg: 5.12 3.32 2.44 2/181 7770
/proc/meminfo: memFree=15828764/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
[startup+1500.1 s]
/proc/loadavg: 5.11 3.35 2.45 2/181 7770
/proc/meminfo: memFree=15828392/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
[startup+1501.7 s]
/proc/loadavg: 5.11 3.35 2.45 2/181 7770
/proc/meminfo: memFree=15828640/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
[startup+1502.51 s]
/proc/loadavg: 5.11 3.35 2.45 2/181 7770
/proc/meminfo: memFree=15828392/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
[startup+1502.7 s]
/proc/loadavg: 5.11 3.35 2.45 2/181 7770
/proc/meminfo: memFree=15828392/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=4189272 CPUtime=1347 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) S 7693 7695 7079 0 -1 4204032 1046976 0 1 0 133984 716 0 0 20 0 1 0 334540093 4289814528 1046633 33554432000 134512640 135840783 4292650272 4292610136 11564080 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 1047318 1046633 379 325 0 1046254 0
Current children cumulated CPU time (s) 1347
Current children cumulated vsize (KiB) 4189272
[startup+1502.8 s]
/proc/loadavg: 5.11 3.35 2.45 2/181 7770
/proc/meminfo: memFree=15828392/32873844 swapFree=7380/7380
[pid=7695] ppid=7693 vsize=0 CPUtime=1347.05 cores=1,3,5,7
/proc/7695/stat : 7695 (bsolo3.0.17) R 7693 7695 7079 0 -1 4204036 1046976 0 1 0 133984 721 0 0 20 0 1 0 334540093 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 1 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1347.05
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1502.89
CPU time (s): 1347.16
CPU user time (s): 1339.85
CPU system time (s): 7.30689
CPU usage (%): 89.6375
Max. virtual memory (cumulated for all children) (KiB): 4189272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1339.85
system time used= 7.30689
maximum resident set size= 4186532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046976
page faults= 1
swaps= 0
block input operations= 136
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1020238
involuntary context switches= 1413
runsolver used 2.71559 second user time and 6.31904 second system time
The end