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-3733680-1338697708/watcher-3733680-1338697708 -o /tmp/evaluation-result-3733680-1338697708/solver-3733680-1338697708 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733680-1338697708.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: 2.00 2.16 2.21 3/176 25744
/proc/meminfo: memFree=26764780/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) D 25742 25744 23594 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 335898118 2723840 47 33554432000 134512640 135840783 4289691072 4289689108 8344516 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 665 47 37 325 0 32 0
[startup+0.093629 s]
/proc/loadavg: 2.00 2.16 2.21 3/176 25744
/proc/meminfo: memFree=26764780/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=6192 CPUtime=0.08 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 871 0 0 0 8 0 0 0 20 0 1 0 335898118 6340608 771 33554432000 134512640 135840783 4289691072 4289591884 5301296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1548 771 341 325 0 484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6192
[startup+0.100159 s]
/proc/loadavg: 2.00 2.16 2.21 3/176 25744
/proc/meminfo: memFree=26764780/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=6192 CPUtime=0.09 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 871 0 0 0 9 0 0 0 20 0 1 0 335898118 6340608 771 33554432000 134512640 135840783 4289691072 4289591884 5301296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1548 771 341 325 0 484 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6192
[startup+0.300221 s]
/proc/loadavg: 2.00 2.16 2.21 3/176 25744
/proc/meminfo: memFree=26764780/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=6332 CPUtime=0.28 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 1003 0 0 0 28 0 0 0 20 0 1 0 335898118 6483968 839 33554432000 134512640 135840783 4289691072 4289583452 5301296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1583 839 343 325 0 519 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6332
[startup+0.700228 s]
/proc/loadavg: 2.00 2.16 2.21 3/176 25744
/proc/meminfo: memFree=26764780/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=11784 CPUtime=0.68 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 2394 0 0 0 68 0 0 0 20 0 1 0 335898118 12066816 2198 33554432000 134512640 135840783 4289691072 4289682512 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 2946 2198 346 325 0 1882 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11784
[startup+1.50023 s]
/proc/loadavg: 2.00 2.16 2.21 3/177 25745
/proc/meminfo: memFree=26750512/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=23628 CPUtime=1.48 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 5362 0 0 0 148 0 0 0 20 0 1 0 335898118 24195072 5166 33554432000 134512640 135840783 4289691072 4289682656 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 5907 5166 346 325 0 4843 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23628
[startup+3.10028 s]
/proc/loadavg: 2.00 2.16 2.21 3/177 25745
/proc/meminfo: memFree=26742080/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=27948 CPUtime=3.09 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 6445 0 0 0 308 1 0 0 20 0 1 0 335898118 28618752 6249 33554432000 134512640 135840783 4289691072 4289679664 134586828 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 6987 6249 346 325 0 5923 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27948
[startup+6.30028 s]
/proc/loadavg: 2.00 2.16 2.21 3/177 25745
/proc/meminfo: memFree=26738496/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=30788 CPUtime=6.29 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 7162 0 0 0 628 1 0 0 20 0 1 0 335898118 31526912 6966 33554432000 134512640 135840783 4289691072 4289690384 134551475 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 7697 6966 346 325 0 6633 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30788
[startup+12.7003 s]
/proc/loadavg: 2.00 2.16 2.20 3/177 25745
/proc/meminfo: memFree=26733448/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=35928 CPUtime=12.68 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 8434 0 0 0 1267 1 0 0 20 0 1 0 335898118 36790272 8238 33554432000 134512640 135840783 4289691072 4289690544 134552292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 8982 8238 346 325 0 7918 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35928
[startup+25.5003 s]
/proc/loadavg: 2.00 2.15 2.20 3/177 25745
/proc/meminfo: memFree=26722544/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=46640 CPUtime=25.48 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 11112 0 0 0 2547 1 0 0 20 0 1 0 335898118 47759360 10916 33554432000 134512640 135840783 4289691072 4289690344 8851641 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 11660 10916 346 325 0 10596 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46640
[startup+51.1003 s]
/proc/loadavg: 2.00 2.13 2.19 3/177 25745
/proc/meminfo: memFree=26681168/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=87952 CPUtime=51.07 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 21448 0 0 0 5104 3 0 0 20 0 1 0 335898118 90062848 21245 33554432000 134512640 135840783 4289691072 4289690384 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 21988 21245 346 325 0 20924 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87952
[startup+102.307 s]
/proc/loadavg: 2.07 2.13 2.18 3/178 25748
/proc/meminfo: memFree=26410976/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=356800 CPUtime=102.24 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 88717 0 0 0 10208 16 0 0 20 0 1 0 335898118 365363200 88478 33554432000 134512640 135840783 4289691072 4289690432 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 89200 88478 346 325 0 88136 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 356800
[startup+162.3 s]
/proc/loadavg: 2.13 2.13 2.18 3/177 25749
/proc/meminfo: memFree=26021220/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=749360 CPUtime=162.22 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 186877 0 0 0 16186 36 0 0 20 0 1 0 335898118 767344640 186611 33554432000 134512640 135840783 4289691072 4289690432 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 187340 186611 346 325 0 186276 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 749360
[startup+222.3 s]
/proc/loadavg: 2.17 2.14 2.18 3/177 25749
/proc/meminfo: memFree=25740264/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=1028004 CPUtime=222.19 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 256566 0 0 0 22169 50 0 0 20 0 1 0 335898118 1052676096 256272 33554432000 134512640 135840783 4289691072 4289690432 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 257001 256272 346 325 0 255937 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1028004
[startup+282.3 s]
/proc/loadavg: 2.13 2.12 2.17 3/177 25749
/proc/meminfo: memFree=25253096/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=1515428 CPUtime=282.18 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 378439 0 0 0 28144 74 0 0 20 0 1 0 335898118 1551798272 378131 33554432000 134512640 135840783 4289691072 4289690432 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 378857 378131 346 325 0 377793 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1515428
[startup+342.3 s]
/proc/loadavg: 2.05 2.10 2.16 3/177 25749
/proc/meminfo: memFree=24938168/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=1827532 CPUtime=342.16 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 456471 0 0 0 34125 91 0 0 20 0 1 0 335898118 1871392768 456160 33554432000 134512640 135840783 4289691072 4289690432 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 456883 456160 346 325 0 455819 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1827532
[startup+402.3 s]
/proc/loadavg: 2.07 2.09 2.16 3/177 25749
/proc/meminfo: memFree=24674944/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=2089160 CPUtime=402.15 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 521887 0 0 0 40110 105 0 0 20 0 1 0 335898118 2139299840 521568 33554432000 134512640 135840783 4289691072 4289690384 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 522290 521568 346 325 0 521226 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 2089160
[startup+462.3 s]
/proc/loadavg: 2.02 2.07 2.14 3/177 25750
/proc/meminfo: memFree=24397460/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=2359340 CPUtime=462.12 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 589450 0 0 0 46094 118 0 0 20 0 1 0 335898118 2415964160 589113 33554432000 134512640 135840783 4289691072 4289690432 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 589835 589113 346 325 0 588771 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 2359340
[startup+522.3 s]
/proc/loadavg: 2.01 2.06 2.13 3/177 25750
/proc/meminfo: memFree=24097656/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=2660044 CPUtime=522.1 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 664639 0 0 0 52079 131 0 0 20 0 1 0 335898118 2723885056 664283 33554432000 134512640 135840783 4289691072 4289690432 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 665011 664283 346 325 0 663947 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 2660044
[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.12 3/177 25750
/proc/meminfo: memFree=23674348/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=3081992 CPUtime=582.08 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 770146 0 0 0 58058 150 0 0 20 0 1 0 335898118 3155959808 769776 33554432000 134512640 135840783 4289691072 4289690432 134550896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 770498 769776 346 325 0 769434 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 3081992
[startup+642.3 s]
/proc/loadavg: 2.03 2.05 2.11 3/177 25750
/proc/meminfo: memFree=23423524/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=3330072 CPUtime=642.07 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 832176 0 0 0 64045 162 0 0 20 0 1 0 335898118 3409993728 831795 33554432000 134512640 135840783 4289691072 4289690432 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 832518 831795 346 325 0 831454 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 3330072
[startup+702.3 s]
/proc/loadavg: 2.01 2.04 2.10 3/178 25753
/proc/meminfo: memFree=23159532/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=3593336 CPUtime=702.05 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 898005 0 0 0 70029 176 0 0 20 0 1 0 335898118 3679576064 897620 33554432000 134512640 135840783 4289691072 4289690432 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 898334 897620 346 325 0 897270 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 3593336
[startup+762.307 s]
/proc/loadavg: 2.00 2.03 2.09 3/177 25754
/proc/meminfo: memFree=22981448/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=3771020 CPUtime=762.03 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 942425 0 0 0 76017 186 0 0 20 0 1 0 335898118 3861524480 942033 33554432000 134512640 135840783 4289691072 4289690432 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 942755 942033 346 325 0 941691 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 3771020
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/177 25754
/proc/meminfo: memFree=22813952/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=3940836 CPUtime=822.01 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 984679 0 0 0 82007 194 0 0 20 0 1 0 335898118 4035416064 984282 33554432000 134512640 135840783 4289691072 4289596192 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 985209 984287 346 325 0 984145 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 3940836
[startup+882.3 s]
/proc/loadavg: 2.06 2.03 2.08 3/177 25754
/proc/meminfo: memFree=22643852/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4103660 CPUtime=882 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4202496 1025466 0 0 0 87999 201 0 0 20 0 1 0 335898118 4202147840 1025065 33554432000 134512640 135840783 4289691072 4289690432 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1025915 1025065 346 325 0 1024851 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 4103660
[startup+942.3 s]
/proc/loadavg: 3.04 2.26 2.16 2/178 25755
/proc/meminfo: memFree=14772848/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4188656 CPUtime=916.5 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) S 25742 25744 23594 0 -1 4204032 1046884 0 0 0 91181 469 0 0 20 0 1 0 335898118 4289183744 1046480 33554432000 134512640 135840783 4289691072 4289598664 5301296 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1047164 1046480 375 325 0 1046100 0
Current children cumulated CPU time (s) 916.5
Current children cumulated vsize (KiB) 4188656
[startup+1002.3 s]
/proc/loadavg: 4.35 2.78 2.34 2/178 25755
/proc/meminfo: memFree=14089368/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4188656 CPUtime=917.23 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) S 25742 25744 23594 0 -1 4204032 1046884 0 0 0 91181 542 0 0 20 0 1 0 335898118 4289183744 1046480 33554432000 134512640 135840783 4289691072 4289598664 5301296 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1047164 1046480 375 325 0 1046100 0
Current children cumulated CPU time (s) 917.23
Current children cumulated vsize (KiB) 4188656
Solver just ended. Dumping a history of the last processes samples
[startup+1024.7 s]
/proc/loadavg: 4.53 2.92 2.39 2/177 25755
/proc/meminfo: memFree=14089220/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4188656 CPUtime=917.23 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) S 25742 25744 23594 0 -1 4204032 1046884 0 0 0 91181 542 0 0 20 0 1 0 335898118 4289183744 1046480 33554432000 134512640 135840783 4289691072 4289598664 5301296 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1047164 1046480 375 325 0 1046100 0
Current children cumulated CPU time (s) 917.23
Current children cumulated vsize (KiB) 4188656
[startup+1037.5 s]
/proc/loadavg: 4.63 3.02 2.43 2/178 25756
/proc/meminfo: memFree=14090164/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4188656 CPUtime=917.23 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) S 25742 25744 23594 0 -1 4204032 1046884 0 0 0 91181 542 0 0 20 0 1 0 335898118 4289183744 1046480 33554432000 134512640 135840783 4289691072 4289598664 5301296 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1047164 1046480 375 325 0 1046100 0
Current children cumulated CPU time (s) 917.23
Current children cumulated vsize (KiB) 4188656
[startup+1043.9 s]
/proc/loadavg: 4.66 3.05 2.45 2/178 25756
/proc/meminfo: memFree=14088536/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4188656 CPUtime=917.23 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) S 25742 25744 23594 0 -1 4204032 1046884 0 0 0 91181 542 0 0 20 0 1 0 335898118 4289183744 1046480 33554432000 134512640 135840783 4289691072 4289598664 5301296 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1047164 1046480 375 325 0 1046100 0
Current children cumulated CPU time (s) 917.23
Current children cumulated vsize (KiB) 4188656
[startup+1045.5 s]
/proc/loadavg: 4.66 3.05 2.45 2/178 25756
/proc/meminfo: memFree=14088908/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4188656 CPUtime=917.23 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) S 25742 25744 23594 0 -1 4204032 1046884 0 0 0 91181 542 0 0 20 0 1 0 335898118 4289183744 1046480 33554432000 134512640 135840783 4289691072 4289598664 5301296 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1047164 1046480 375 325 0 1046100 0
Current children cumulated CPU time (s) 917.23
Current children cumulated vsize (KiB) 4188656
[startup+1046.3 s]
/proc/loadavg: 4.69 3.09 2.46 2/178 25756
/proc/meminfo: memFree=14088784/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4188656 CPUtime=917.23 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) S 25742 25744 23594 0 -1 4204032 1046884 0 0 0 91181 542 0 0 20 0 1 0 335898118 4289183744 1046480 33554432000 134512640 135840783 4289691072 4289598664 5301296 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1047164 1046480 375 325 0 1046100 0
Current children cumulated CPU time (s) 917.23
Current children cumulated vsize (KiB) 4188656
[startup+1047.1 s]
/proc/loadavg: 4.69 3.09 2.46 2/178 25756
/proc/meminfo: memFree=14090272/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=4188656 CPUtime=917.23 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) S 25742 25744 23594 0 -1 4204032 1046884 0 0 0 91181 542 0 0 20 0 1 0 335898118 4289183744 1046480 33554432000 134512640 135840783 4289691072 4289598664 5301296 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 1047164 1046480 375 325 0 1046100 0
Current children cumulated CPU time (s) 917.23
Current children cumulated vsize (KiB) 4188656
[startup+1047.5 s]
/proc/loadavg: 4.69 3.09 2.46 2/178 25756
/proc/meminfo: memFree=14090272/32873648 swapFree=7120/7120
[pid=25744] ppid=25742 vsize=0 CPUtime=917.37 cores=1,3,5,7
/proc/25744/stat : 25744 (bsolo3.0.17) R 25742 25744 23594 0 -1 4204036 1046884 0 0 0 91181 556 0 0 20 0 1 0 335898118 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25744/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 917.37
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1047.52
CPU time (s): 917.405
CPU user time (s): 911.819
CPU system time (s): 5.58515
CPU usage (%): 87.5789
Max. virtual memory (cumulated for all children) (KiB): 4188656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 911.819
system time used= 5.58515
maximum resident set size= 4185920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046884
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= 1004484
involuntary context switches= 926
runsolver used 1.65875 second user time and 5.74013 second system time
The end