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-3720830-1338514976/watcher-3720830-1338514976 -o /tmp/evaluation-result-3720830-1338514976/solver-3720830-1338514976 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720830-1338514976.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.01 2.01 2.00 3/176 14695
/proc/meminfo: memFree=28339376/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 317626192 3178496 278 33554432000 134512640 134579096 4291413904 4291281252 2331377 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 776 278 221 17 0 82 0
[startup+0.0975401 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14695
/proc/meminfo: memFree=28339376/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=6032 CPUtime=0.09 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 1069 0 0 0 9 0 0 0 20 0 1 0 317626192 6176768 1007 33554432000 134512640 134579096 4291413904 4291281304 134534715 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 1508 1007 221 17 0 814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6032
[startup+0.100279 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14695
/proc/meminfo: memFree=28339376/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=6168 CPUtime=0.09 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 1085 0 0 0 9 0 0 0 20 0 1 0 317626192 6316032 1023 33554432000 134512640 134579096 4291413904 4291281300 2331407 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 1542 1023 221 17 0 848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6168
[startup+0.300233 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14695
/proc/meminfo: memFree=28339376/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=11116 CPUtime=0.29 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 2027 0 0 0 29 0 0 0 20 0 1 0 317626192 11382784 1965 33554432000 134512640 134579096 4291413904 4291412880 134532044 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 2779 1965 228 17 0 2085 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11116
[startup+0.700233 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14695
/proc/meminfo: memFree=28339376/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=11776 CPUtime=0.69 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 2188 0 0 0 69 0 0 0 20 0 1 0 317626192 12058624 2126 33554432000 134512640 134579096 4291413904 4291412864 134532440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 2944 2126 228 17 0 2250 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11776
[startup+1.50022 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14696
/proc/meminfo: memFree=28329060/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=14980 CPUtime=1.49 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 2896 0 0 0 149 0 0 0 20 0 1 0 317626192 15339520 2834 33554432000 134512640 134579096 4291413904 4291412724 134556221 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 3745 2834 230 17 0 3051 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14980
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14696
/proc/meminfo: memFree=28328564/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=15472 CPUtime=3.09 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 2950 0 0 0 309 0 0 0 20 0 1 0 317626192 15843328 2859 33554432000 134512640 134579096 4291413904 4291412560 134522742 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 3868 2859 230 17 0 3174 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15472
[startup+6.30025 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14696
/proc/meminfo: memFree=28328448/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=14904 CPUtime=6.29 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 2982 0 0 0 629 0 0 0 20 0 1 0 317626192 15261696 2859 33554432000 134512640 134579096 4291413904 4291412560 134524544 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 3726 2859 230 17 0 3032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14904
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14696
/proc/meminfo: memFree=28324364/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=19716 CPUtime=12.68 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 4208 0 0 0 1268 0 0 0 20 0 1 0 317626192 20189184 4085 33554432000 134512640 134579096 4291413904 4291412720 134519085 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 4929 4085 230 17 0 4235 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19716
[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14696
/proc/meminfo: memFree=28315636/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=26468 CPUtime=25.48 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 5897 0 0 0 2548 0 0 0 20 0 1 0 317626192 27103232 5774 33554432000 134512640 134579096 4291413904 4291412560 134522724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 6617 5774 230 17 0 5923 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26468
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14696
/proc/meminfo: memFree=28300036/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=40764 CPUtime=51.07 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 9450 0 0 0 5106 1 0 0 20 0 1 0 317626192 41742336 9412 33554432000 134512640 134579096 4291413904 4291412752 134528360 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 10191 9412 230 17 0 9497 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40764
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14697
/proc/meminfo: memFree=28286396/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=54112 CPUtime=102.26 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 12968 0 0 0 10224 2 0 0 20 0 1 0 317626192 55410688 12775 33554432000 134512640 134579096 4291413904 4291412736 134517908 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 13528 12775 230 17 0 12834 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54112
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14697
/proc/meminfo: memFree=28256740/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=84296 CPUtime=162.23 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 20951 0 0 0 16219 4 0 0 20 0 1 0 317626192 86319104 20293 33554432000 134512640 134579096 4291413904 4291412736 134517908 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 21074 20293 230 17 0 20380 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 84296
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14746
/proc/meminfo: memFree=28276368/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=92464 CPUtime=222.21 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 23025 0 0 0 22216 5 0 0 20 0 1 0 317626192 94683136 22335 33554432000 134512640 134579096 4291413904 4291412752 134527740 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 23116 22335 230 17 0 22422 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 92464
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14746
/proc/meminfo: memFree=28234712/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=92464 CPUtime=282.19 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 23028 0 0 0 28214 5 0 0 20 0 1 0 317626192 94683136 22335 33554432000 134512640 134579096 4291413904 4291412560 134522688 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 23116 22335 230 17 0 22422 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 92464
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14746
/proc/meminfo: memFree=28195504/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=119876 CPUtime=342.17 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 30182 0 0 0 34210 7 0 0 20 0 1 0 317626192 122753024 29212 33554432000 134512640 134579096 4291413904 4291412736 134517893 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 29969 29212 230 17 0 29275 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 119876
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14746
/proc/meminfo: memFree=28172544/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=142840 CPUtime=402.15 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 36185 0 0 0 40207 8 0 0 20 0 1 0 317626192 146268160 34934 33554432000 134512640 134579096 4291413904 4291412724 134556261 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 35710 34934 230 17 0 35016 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 142840
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14750
/proc/meminfo: memFree=28110776/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=172164 CPUtime=462.14 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 43582 0 0 0 46204 10 0 0 20 0 1 0 317626192 176295936 42258 33554432000 134512640 134579096 4291413904 4291412720 134519095 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 43041 42258 230 17 0 42347 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 172164
[startup+522.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14750
/proc/meminfo: memFree=28107816/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=172164 CPUtime=522.11 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 43596 0 0 0 52201 10 0 0 20 0 1 0 317626192 176295936 42258 33554432000 134512640 134579096 4291413904 4291412720 134519095 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 43041 42258 230 17 0 42347 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 172164
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14750
/proc/meminfo: memFree=28107100/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=172164 CPUtime=582.1 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 43596 0 0 0 58200 10 0 0 20 0 1 0 317626192 176295936 42258 33554432000 134512640 134579096 4291413904 4291411040 134532935 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 43041 42258 230 17 0 42347 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 172164
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14751
/proc/meminfo: memFree=28027208/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=208788 CPUtime=882.02 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 53179 0 0 0 88191 11 0 0 20 0 1 0 317626192 213798912 51406 33554432000 134512640 134579096 4291413904 4291412736 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 52197 51406 230 17 0 51503 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 208788
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14751
/proc/meminfo: memFree=27999568/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=236036 CPUtime=942.02 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 60266 0 0 0 94189 13 0 0 20 0 1 0 317626192 241700864 58230 33554432000 134512640 134579096 4291413904 4291412720 134519091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 59009 58230 230 17 0 58315 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 236036
[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14751
/proc/meminfo: memFree=27969312/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=265680 CPUtime=1002.01 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 67912 0 0 0 100186 15 0 0 20 0 1 0 317626192 272056320 65665 33554432000 134512640 134579096 4291413904 4291412560 134524568 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 66420 65665 230 17 0 65726 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 265680
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14755
/proc/meminfo: memFree=27963964/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=270972 CPUtime=1062 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 69205 0 0 0 106185 15 0 0 20 0 1 0 317626192 277475328 66958 33554432000 134512640 134579096 4291413904 4291412724 134556361 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 67743 66958 230 17 0 67049 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 270972
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14778
/proc/meminfo: memFree=27964336/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=270972 CPUtime=1121.99 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 69207 0 0 0 112184 15 0 0 20 0 1 0 317626192 277475328 66960 33554432000 134512640 134579096 4291413904 4291412736 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 67743 66960 230 17 0 67049 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 270972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14778
/proc/meminfo: memFree=27958596/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=276644 CPUtime=1181.98 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 70823 0 0 0 118183 15 0 0 20 0 1 0 317626192 283283456 68376 33554432000 134512640 134579096 4291413904 4291412720 134519088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 69161 68376 230 17 0 68467 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 276644
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14778
/proc/meminfo: memFree=27940916/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=294312 CPUtime=1241.97 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 77031 0 0 0 124181 16 0 0 20 0 1 0 317626192 301375488 72785 33554432000 134512640 134579096 4291413904 4291412768 134520225 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 73578 72785 230 17 0 72884 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 294312
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14778
/proc/meminfo: memFree=27917232/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=318176 CPUtime=1301.97 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 83411 0 0 0 130179 18 0 0 20 0 1 0 317626192 325812224 78749 33554432000 134512640 134579096 4291413904 4291412736 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 79544 78749 230 17 0 78850 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 318176
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 14779
/proc/meminfo: memFree=27876188/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=339836 CPUtime=1361.95 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 90192 0 0 0 136176 19 0 0 20 0 1 0 317626192 347992064 84140 33554432000 134512640 134579096 4291413904 4291412736 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 84959 84140 230 17 0 84265 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 339836
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14779
/proc/meminfo: memFree=27822248/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=362240 CPUtime=1421.95 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 97632 0 0 0 142174 21 0 0 20 0 1 0 317626192 370933760 89757 33554432000 134512640 134579096 4291413904 4291412736 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 90560 89757 230 17 0 89866 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 362240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14779
/proc/meminfo: memFree=27781420/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=381552 CPUtime=1481.93 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 104007 0 0 0 148171 22 0 0 20 0 1 0 317626192 390709248 94592 33554432000 134512640 134579096 4291413904 4291412736 134517899 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 95388 94592 230 17 0 94694 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 381552
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14779
/proc/meminfo: memFree=27752688/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=402888 CPUtime=1541.92 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 110287 0 0 0 154168 24 0 0 20 0 1 0 317626192 412557312 99950 33554432000 134512640 134579096 4291413904 4291412736 134517933 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 100722 99950 230 17 0 100028 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 402888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14779
/proc/meminfo: memFree=27730120/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=425396 CPUtime=1601.91 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 116452 0 0 0 160166 25 0 0 20 0 1 0 317626192 435605504 105572 33554432000 134512640 134579096 4291413904 4291412736 134517933 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 106349 105572 230 17 0 105655 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 425396
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14783
/proc/meminfo: memFree=27707000/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=447536 CPUtime=1661.9 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 122479 0 0 0 166164 26 0 0 20 0 1 0 317626192 458276864 111085 33554432000 134512640 134579096 4291413904 4291412736 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 111884 111085 230 17 0 111190 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 447536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14783
/proc/meminfo: memFree=27686528/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=467924 CPUtime=1721.89 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 127884 0 0 0 172162 27 0 0 20 0 1 0 317626192 479154176 116198 33554432000 134512640 134579096 4291413904 4291412720 134519077 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 116981 116198 230 17 0 116287 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 467924
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14783
/proc/meminfo: memFree=27668176/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=486556 CPUtime=1781.88 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 132835 0 0 0 178160 28 0 0 20 0 1 0 317626192 498233344 120815 33554432000 134512640 134579096 4291413904 4291412736 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 121639 120815 230 17 0 120945 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 486556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14783
/proc/meminfo: memFree=27663960/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=491684 CPUtime=1800.09 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 134209 0 0 0 179980 29 0 0 20 0 1 0 317626192 503484416 122053 33554432000 134512640 134579096 4291413904 4291412560 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 122921 122053 230 17 0 122227 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 491684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14783
/proc/meminfo: memFree=27663960/32873844 swapFree=7116/7116
[pid=14695] ppid=14693 vsize=491684 CPUtime=1800.09 cores=1,3,5,7
/proc/14695/stat : 14695 (Pueblo) R 14693 14695 12127 0 -1 4202496 134209 0 0 0 179980 29 0 0 20 0 1 0 317626192 503484416 122053 33554432000 134512640 134579096 4291413904 4291412560 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14695/statm: 122921 122053 230 17 0 122227 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 491684
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.11
CPU user time (s): 1799.81
CPU system time (s): 0.300954
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 491684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.300954
maximum resident set size= 488212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134209
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= 63
involuntary context switches= 2437
runsolver used 3.44248 second user time and 8.95264 second system time
The end