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-3719997-1338506045/watcher-3719997-1338506045 -o /tmp/evaluation-result-3719997-1338506045/solver-3719997-1338506045 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719997-1338506045.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: 0.72 0.17 0.06 3/176 31770
/proc/meminfo: memFree=27672764/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 316730590 3178496 259 33554432000 134512640 134579096 4290149136 4290016436 2331382 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 776 261 215 17 0 82 0
[startup+0.0116399 s]
/proc/loadavg: 0.72 0.17 0.06 3/176 31770
/proc/meminfo: memFree=27672764/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=3368 CPUtime=0 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 395 0 0 0 0 0 0 0 20 0 1 0 316730590 3448832 332 33554432000 134512640 134579096 4290149136 4290016484 2331402 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 842 332 215 17 0 148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3368
[startup+0.100133 s]
/proc/loadavg: 0.72 0.17 0.06 3/176 31770
/proc/meminfo: memFree=27672764/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=6172 CPUtime=0.09 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 1093 0 0 0 9 0 0 0 20 0 1 0 316730590 6320128 1030 33554432000 134512640 134579096 4290149136 4290016412 13632560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1543 1030 221 17 0 849 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6172
[startup+0.300118 s]
/proc/loadavg: 0.72 0.17 0.06 3/176 31770
/proc/meminfo: memFree=27672764/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=11368 CPUtime=0.29 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 2400 0 0 0 29 0 0 0 20 0 1 0 316730590 11640832 2337 33554432000 134512640 134579096 4290149136 4290016532 2331445 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 2842 2337 221 17 0 2148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11368
[startup+0.700114 s]
/proc/loadavg: 0.72 0.17 0.06 3/176 31770
/proc/meminfo: memFree=27672764/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=21624 CPUtime=0.68 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 4968 0 0 0 68 0 0 0 20 0 1 0 316730590 22142976 4905 33554432000 134512640 134579096 4290149136 4290016532 2331382 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 5406 4905 221 17 0 4712 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21624
[startup+1.50011 s]
/proc/loadavg: 0.72 0.17 0.06 3/177 31771
/proc/meminfo: memFree=27646616/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=42004 CPUtime=1.49 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 10056 0 0 0 148 1 0 0 20 0 1 0 316730590 43012096 9993 33554432000 134512640 134579096 4290149136 4290016532 2331402 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 10501 9993 221 17 0 9807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42004
[startup+3.10011 s]
/proc/loadavg: 0.72 0.17 0.06 3/177 31771
/proc/meminfo: memFree=27618352/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=81836 CPUtime=3.08 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 20023 0 0 0 306 2 0 0 20 0 1 0 316730590 83800064 19960 33554432000 134512640 134579096 4290149136 4290016412 13632560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 20459 19960 221 17 0 19765 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 81836
[startup+6.30012 s]
/proc/loadavg: 0.83 0.20 0.07 3/177 31771
/proc/meminfo: memFree=27591188/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=84948 CPUtime=6.28 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 20627 0 0 0 626 2 0 0 20 0 1 0 316730590 86986752 20533 33554432000 134512640 134579096 4290149136 4290148112 134532044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 21237 20533 228 17 0 20543 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84948
[startup+12.7002 s]
/proc/loadavg: 0.92 0.23 0.08 3/177 31771
/proc/meminfo: memFree=27589624/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=86896 CPUtime=12.67 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 21167 0 0 0 1265 2 0 0 20 0 1 0 316730590 88981504 21065 33554432000 134512640 134579096 4290149136 4290147720 1582375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 21724 21065 228 17 0 21030 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 86896
[startup+25.5002 s]
/proc/loadavg: 1.16 0.32 0.11 3/177 31771
/proc/meminfo: memFree=27581044/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=96076 CPUtime=25.47 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 23112 0 0 0 2544 3 0 0 20 0 1 0 316730590 98381824 23003 33554432000 134512640 134579096 4290149136 4290147968 134517903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 24019 23003 230 17 0 23325 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 96076
[startup+51.1002 s]
/proc/loadavg: 1.44 0.45 0.16 3/177 31771
/proc/meminfo: memFree=27553236/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=125196 CPUtime=51.06 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 30413 0 0 0 5100 6 0 0 20 0 1 0 316730590 128200704 30296 33554432000 134512640 134579096 4290149136 4290147984 134527661 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 31299 30296 230 17 0 30605 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 125196
[startup+102.306 s]
/proc/loadavg: 1.76 0.69 0.25 3/176 31819
/proc/meminfo: memFree=27374660/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=275444 CPUtime=102.25 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 67994 0 0 0 10210 15 0 0 20 0 1 0 316730590 282054656 67888 33554432000 134512640 134579096 4290149136 4290148108 13632560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 68861 67888 230 17 0 68167 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 275444
[startup+162.3 s]
/proc/loadavg: 1.91 0.93 0.36 3/177 31820
/proc/meminfo: memFree=27175536/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=466472 CPUtime=162.21 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 115720 0 0 0 16194 27 0 0 20 0 1 0 316730590 477667328 115618 33554432000 134512640 134579096 4290149136 4290147968 134517919 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 116618 115618 230 17 0 115924 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 466472
[startup+222.3 s]
/proc/loadavg: 1.96 1.12 0.46 3/177 31820
/proc/meminfo: memFree=27002088/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=632428 CPUtime=222.19 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 157109 0 0 0 22182 37 0 0 20 0 1 0 316730590 647606272 157008 33554432000 134512640 134579096 4290149136 4290147984 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 158107 157008 230 17 0 157413 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 632428
[startup+282.3 s]
/proc/loadavg: 1.98 1.28 0.55 3/177 31820
/proc/meminfo: memFree=26853072/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=777252 CPUtime=282.18 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 193323 0 0 0 28171 47 0 0 20 0 1 0 316730590 795906048 193226 33554432000 134512640 134579096 4290149136 4290147968 134517903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 194313 193226 230 17 0 193619 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 777252
[startup+342.3 s]
/proc/loadavg: 1.99 1.41 0.64 3/177 31820
/proc/meminfo: memFree=26724264/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=902648 CPUtime=342.16 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 224706 0 0 0 34161 55 0 0 20 0 1 0 316730590 924311552 224609 33554432000 134512640 134579096 4290149136 4290147968 134517903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 225662 224609 230 17 0 224968 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 902648
[startup+402.3 s]
/proc/loadavg: 1.99 1.51 0.72 3/178 31823
/proc/meminfo: memFree=26606492/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=1018632 CPUtime=402.14 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 253708 0 0 0 40151 63 0 0 20 0 1 0 316730590 1043079168 253604 33554432000 134512640 134579096 4290149136 4290147968 134517885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 254658 253604 230 17 0 253964 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1018632
[startup+462.3 s]
/proc/loadavg: 1.99 1.60 0.80 3/177 31824
/proc/meminfo: memFree=26481288/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=1142964 CPUtime=462.12 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 284845 0 0 0 46140 72 0 0 20 0 1 0 316730590 1170395136 284707 33554432000 134512640 134579096 4290149136 4290147968 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 285741 284707 230 17 0 285047 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1142964
[startup+522.3 s]
/proc/loadavg: 1.99 1.67 0.87 3/177 31824
/proc/meminfo: memFree=26351612/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=1269528 CPUtime=522.09 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 316535 0 0 0 52128 81 0 0 20 0 1 0 316730590 1299996672 316362 33554432000 134512640 134579096 4290149136 4290147968 134517922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 317382 316362 230 17 0 316688 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1269528
[startup+582.3 s]
/proc/loadavg: 1.99 1.73 0.94 3/177 31824
/proc/meminfo: memFree=26225904/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=1393260 CPUtime=582.06 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 347487 0 0 0 58116 90 0 0 20 0 1 0 316730590 1426698240 347292 33554432000 134512640 134579096 4290149136 4290148108 13632560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 348315 347292 230 17 0 347621 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1393260
[startup+642.3 s]
################
# More data... #
################
[pid=31770] ppid=31768 vsize=2974492 CPUtime=1181.89 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 742059 0 0 0 117969 220 0 0 20 0 1 0 316730590 3045879808 742022 33554432000 134512640 134579096 4290149136 4290147968 134517872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 743623 742022 230 17 0 742929 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 2974492
[startup+1242.3 s]
/proc/loadavg: 2.07 1.97 1.46 3/177 31831
/proc/meminfo: memFree=24454524/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=3151864 CPUtime=1241.87 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 786397 0 0 0 123955 232 0 0 20 0 1 0 316730590 3227508736 786356 33554432000 134512640 134579096 4290149136 4290147640 1582375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 787966 786356 230 17 0 787272 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 3151864
[startup+1302.3 s]
/proc/loadavg: 2.02 1.97 1.49 3/177 31831
/proc/meminfo: memFree=24271900/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=3332560 CPUtime=1301.86 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 831588 0 0 0 129937 249 0 0 20 0 1 0 316730590 3412541440 831543 33554432000 134512640 134579096 4290149136 4290147848 1588641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 833140 831543 230 17 0 832446 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 3332560
[startup+1362.3 s]
/proc/loadavg: 2.05 1.99 1.53 3/177 31832
/proc/meminfo: memFree=24114572/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=3491944 CPUtime=1361.84 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 871399 0 0 0 135923 261 0 0 20 0 1 0 316730590 3575750656 871348 33554432000 134512640 134579096 4290149136 4290148000 134520196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 872986 871348 230 17 0 872292 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 3491944
[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.56 3/177 31832
/proc/meminfo: memFree=23964684/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=3639800 CPUtime=1421.83 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 908352 0 0 0 141907 276 0 0 20 0 1 0 316730590 3727155200 908292 33554432000 134512640 134579096 4290149136 4290147968 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 909950 908292 230 17 0 909256 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 3639800
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.58 3/177 31832
/proc/meminfo: memFree=23823848/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=3781580 CPUtime=1481.8 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 943692 0 0 0 147893 287 0 0 20 0 1 0 316730590 3872337920 943646 33554432000 134512640 134579096 4290149136 4290148064 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 945395 943646 230 17 0 944701 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 3781580
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/177 31832
/proc/meminfo: memFree=23691692/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=3912608 CPUtime=1541.78 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 976410 0 0 0 153878 300 0 0 20 0 1 0 316730590 4006510592 976359 33554432000 134512640 134579096 4290149136 4290147936 134528560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 978152 976359 230 17 0 977458 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 3912608
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.63 3/178 31835
/proc/meminfo: memFree=23576752/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4033356 CPUtime=1601.76 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 1005372 0 0 0 159860 316 0 0 20 0 1 0 316730590 4130156544 1005329 33554432000 134512640 134579096 4290149136 4290147936 134528560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1008339 1005329 230 17 0 1007645 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 4033356
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/177 31836
/proc/meminfo: memFree=23458864/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4149324 CPUtime=1661.74 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4202496 1034462 0 0 0 165843 331 0 0 20 0 1 0 316730590 4248907776 1034447 33554432000 134512640 134579096 4290149136 4290148108 13632560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1037331 1034447 230 17 0 1036637 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 4149324
[startup+1722.3 s]
/proc/loadavg: 3.28 2.31 1.77 2/178 31837
/proc/meminfo: memFree=14933880/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.77 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 646 0 0 20 0 1 0 316730590 4289802240 1044593 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044593 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.77
Current children cumulated vsize (KiB) 4189260
[startup+1782.3 s]
/proc/loadavg: 4.41 2.81 1.97 2/178 31837
/proc/meminfo: memFree=14687952/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.88 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) S 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 657 0 0 20 0 1 0 316730590 4289802240 1044632 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044632 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.88
Current children cumulated vsize (KiB) 4189260
Solver just ended. Dumping a history of the last processes samples
[startup+1793.01 s]
/proc/loadavg: 4.61 2.93 2.03 2/178 31837
/proc/meminfo: memFree=14687812/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.88 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) S 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 657 0 0 20 0 1 0 316730590 4289802240 1044639 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044639 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.88
Current children cumulated vsize (KiB) 4189260
[startup+1805.8 s]
/proc/loadavg: 4.75 3.02 2.06 2/178 31837
/proc/meminfo: memFree=14687408/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.88 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) S 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 657 0 0 20 0 1 0 316730590 4289802240 1044659 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044659 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.88
Current children cumulated vsize (KiB) 4189260
[startup+1812.2 s]
/proc/loadavg: 4.77 3.05 2.08 2/178 31837
/proc/meminfo: memFree=14687160/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.88 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) S 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 657 0 0 20 0 1 0 316730590 4289802240 1044659 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044659 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.88
Current children cumulated vsize (KiB) 4189260
[startup+1815.4 s]
/proc/loadavg: 4.79 3.08 2.10 2/178 31837
/proc/meminfo: memFree=14687268/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.88 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) S 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 657 0 0 20 0 1 0 316730590 4289802240 1044663 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044663 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.88
Current children cumulated vsize (KiB) 4189260
[startup+1818.6 s]
/proc/loadavg: 4.80 3.11 2.11 2/178 31837
/proc/meminfo: memFree=14687516/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.88 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) S 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 657 0 0 20 0 1 0 316730590 4289802240 1044663 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044663 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.88
Current children cumulated vsize (KiB) 4189260
[startup+1819.41 s]
/proc/loadavg: 4.80 3.11 2.11 2/178 31837
/proc/meminfo: memFree=14687640/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.88 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) S 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 657 0 0 20 0 1 0 316730590 4289802240 1044663 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044663 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.88
Current children cumulated vsize (KiB) 4189260
[startup+1820.2 s]
/proc/loadavg: 4.80 3.11 2.11 2/178 31837
/proc/meminfo: memFree=14687640/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=4189260 CPUtime=1684.88 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) S 31768 31770 31568 0 -1 4204032 1044594 0 0 0 167831 657 0 0 20 0 1 0 316730590 4289802240 1044663 33554432000 134512640 134579096 4290149136 4290147504 13632560 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 1047315 1044663 236 17 0 1046621 0
Current children cumulated CPU time (s) 1684.88
Current children cumulated vsize (KiB) 4189260
[startup+1820.6 s]
/proc/loadavg: 4.80 3.11 2.11 3/178 31837
/proc/meminfo: memFree=14691112/32873648 swapFree=6860/6860
[pid=31770] ppid=31768 vsize=0 CPUtime=1684.9 cores=1,3,5,7
/proc/31770/stat : 31770 (Pueblo) R 31768 31770 31568 0 -1 4204036 1044594 0 0 0 167831 659 0 0 20 0 1 0 316730590 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1684.9
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1820.67
CPU time (s): 1684.98
CPU user time (s): 1678.32
CPU system time (s): 6.65799
CPU usage (%): 92.5472
Max. virtual memory (cumulated for all children) (KiB): 4189260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1678.32
system time used= 6.65799
maximum resident set size= 4178652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1044594
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= 1023679
involuntary context switches= 1708
runsolver used 3.41648 second user time and 8.23175 second system time
The end