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-3720824-1338514965/watcher-3720824-1338514965 -o /tmp/evaluation-result-3720824-1338514965/solver-3720824-1338514965 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720824-1338514965.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.02 2.01 2.00 3/176 22583
/proc/meminfo: memFree=29633420/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=3240 CPUtime=0 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 317621988 3317760 296 33554432000 134512640 134579096 4289263856 4289131156 3363652 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 810 296 221 17 0 116 0
[startup+0.045444 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 22583
/proc/meminfo: memFree=29633420/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=5372 CPUtime=0.04 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 887 0 0 0 4 0 0 0 20 0 1 0 317621988 5500928 825 33554432000 134512640 134579096 4289263856 4289131204 3363574 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 1343 825 221 17 0 649 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5372
[startup+0.100144 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 22583
/proc/meminfo: memFree=29633420/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=6436 CPUtime=0.09 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 1171 0 0 0 9 0 0 0 20 0 1 0 317621988 6590464 1109 33554432000 134512640 134579096 4289263856 4289131316 3363589 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 1609 1109 221 17 0 915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6436
[startup+0.300121 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 22583
/proc/meminfo: memFree=29633420/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=12612 CPUtime=0.29 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 2505 0 0 0 29 0 0 0 20 0 1 0 317621988 12914688 2443 33554432000 134512640 134579096 4289263856 4289262832 134532044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 3153 2443 228 17 0 2459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12612
[startup+0.700159 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 22583
/proc/meminfo: memFree=29633420/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=12612 CPUtime=0.69 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 2505 0 0 0 69 0 0 0 20 0 1 0 317621988 12914688 2443 33554432000 134512640 134579096 4289263856 4289262832 134532044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 3153 2443 228 17 0 2459 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12612
[startup+1.5001 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22584
/proc/meminfo: memFree=29623724/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=17300 CPUtime=1.49 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 3667 0 0 0 149 0 0 0 20 0 1 0 317621988 17715200 3605 33554432000 134512640 134579096 4289263856 4289262676 134556382 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 4325 3605 230 17 0 3631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17300
[startup+3.1001 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22584
/proc/meminfo: memFree=29618896/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=18220 CPUtime=3.09 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 3692 0 0 0 309 0 0 0 20 0 1 0 317621988 18657280 3630 33554432000 134512640 134579096 4289263856 4289262676 134556221 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 4555 3630 230 17 0 3861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18220
[startup+6.30011 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22584
/proc/meminfo: memFree=29616764/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=19004 CPUtime=6.29 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 3741 0 0 0 629 0 0 0 20 0 1 0 317621988 19460096 3658 33554432000 134512640 134579096 4289263856 4289262676 134556279 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 4751 3658 230 17 0 4057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19004
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22584
/proc/meminfo: memFree=29611480/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=17836 CPUtime=12.68 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 3851 0 0 0 1268 0 0 0 20 0 1 0 317621988 18264064 3722 33554432000 134512640 134579096 4289263856 4289262672 134519100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 4459 3722 230 17 0 3765 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17836
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22584
/proc/meminfo: memFree=29600308/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=20544 CPUtime=25.48 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 4542 0 0 0 2548 0 0 0 20 0 1 0 317621988 21037056 4413 33554432000 134512640 134579096 4289263856 4289262772 134526572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 5136 4413 230 17 0 4442 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20544
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 22584
/proc/meminfo: memFree=29579452/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=31224 CPUtime=51.07 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 7198 0 0 0 5106 1 0 0 20 0 1 0 317621988 31973376 7114 33554432000 134512640 134579096 4289263856 4289262512 134522688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 7806 7114 230 17 0 7112 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31224
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22584
/proc/meminfo: memFree=29533780/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=49284 CPUtime=102.27 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 11713 0 0 0 10225 2 0 0 20 0 1 0 317621988 50466816 11629 33554432000 134512640 134579096 4289263856 4289262720 134520067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 12321 11629 230 17 0 11627 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49284
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22585
/proc/meminfo: memFree=29517496/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=56980 CPUtime=162.25 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 13618 0 0 0 16223 2 0 0 20 0 1 0 317621988 58347520 13533 33554432000 134512640 134579096 4289263856 4289262512 134522688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 14245 13533 230 17 0 13551 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 56980
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22585
/proc/meminfo: memFree=29496964/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=65588 CPUtime=222.24 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 15770 0 0 0 22221 3 0 0 20 0 1 0 317621988 67162112 15685 33554432000 134512640 134579096 4289263856 4289262512 134522706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 16397 15685 230 17 0 15703 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 65588
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22585
/proc/meminfo: memFree=29475072/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=66160 CPUtime=282.23 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 16177 0 0 0 28220 3 0 0 20 0 1 0 317621988 67747840 15873 33554432000 134512640 134579096 4289263856 4289262512 134522754 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 16540 15873 230 17 0 15846 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 66160
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 22585
/proc/meminfo: memFree=29470488/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=66316 CPUtime=342.22 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 16284 0 0 0 34219 3 0 0 20 0 1 0 317621988 67907584 15912 33554432000 134512640 134579096 4289263856 4289262688 134517893 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 16579 15912 230 17 0 15885 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 66316
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22585
/proc/meminfo: memFree=29460880/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=70048 CPUtime=402.21 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 17163 0 0 0 40218 3 0 0 20 0 1 0 317621988 71729152 16789 33554432000 134512640 134579096 4289263856 4289262672 134519085 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 17512 16789 230 17 0 16818 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 70048
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22589
/proc/meminfo: memFree=29457880/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=70164 CPUtime=462.2 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 17435 0 0 0 46217 3 0 0 20 0 1 0 317621988 71847936 16845 33554432000 134512640 134579096 4289263856 4289260528 134533630 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 17541 16845 230 17 0 16847 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 70164
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22589
/proc/meminfo: memFree=29426508/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=76484 CPUtime=522.2 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 19074 0 0 0 52216 4 0 0 20 0 1 0 317621988 78319616 18402 33554432000 134512640 134579096 4289263856 4289262512 134524544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 19121 18402 230 17 0 18427 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 76484
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22589
/proc/meminfo: memFree=29404312/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=91236 CPUtime=582.18 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 23001 0 0 0 58213 5 0 0 20 0 1 0 317621988 93425664 22093 33554432000 134512640 134579096 4289263856 4289262688 134517872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 22809 22093 230 17 0 22115 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 91236
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 22590
/proc/meminfo: memFree=29283100/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=97008 CPUtime=822.15 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 24448 0 0 0 82209 6 0 0 20 0 1 0 317621988 99336192 23534 33554432000 134512640 134579096 4289263856 4289262672 134519127 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 24252 23534 230 17 0 23558 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 97008
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22590
/proc/meminfo: memFree=29283024/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=97008 CPUtime=882.14 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 24448 0 0 0 88208 6 0 0 20 0 1 0 317621988 99336192 23534 33554432000 134512640 134579096 4289263856 4289262672 134519125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 24252 23534 230 17 0 23558 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 97008
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22590
/proc/meminfo: memFree=29282836/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=97008 CPUtime=942.13 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 24448 0 0 0 94207 6 0 0 20 0 1 0 317621988 99336192 23534 33554432000 134512640 134579096 4289263856 4289262688 134517901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 24252 23534 230 17 0 23558 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 97008
[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 22590
/proc/meminfo: memFree=29266700/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=112992 CPUtime=1002.11 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 28468 0 0 0 100205 6 0 0 20 0 1 0 317621988 115703808 27549 33554432000 134512640 134579096 4289263856 4289262512 134524568 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 28248 27549 230 17 0 27554 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 112992
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22594
/proc/meminfo: memFree=29266956/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=112992 CPUtime=1062.1 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 28472 0 0 0 106204 6 0 0 20 0 1 0 317621988 115703808 27553 33554432000 134512640 134579096 4289263856 4289262688 134517899 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 28248 27553 230 17 0 27554 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 112992
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22617
/proc/meminfo: memFree=29261060/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=119152 CPUtime=1122.1 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 29989 0 0 0 112203 7 0 0 20 0 1 0 317621988 122011648 29070 33554432000 134512640 134579096 4289263856 4289262720 134520147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 29788 29070 230 17 0 29094 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 119152
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22617
/proc/meminfo: memFree=29261256/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=119152 CPUtime=1182.09 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 29989 0 0 0 118202 7 0 0 20 0 1 0 317621988 122011648 29070 33554432000 134512640 134579096 4289263856 4289262676 134556241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 29788 29070 230 17 0 29094 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 119152
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22617
/proc/meminfo: memFree=29260200/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=119152 CPUtime=1242.08 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 29990 0 0 0 124201 7 0 0 20 0 1 0 317621988 122011648 29070 33554432000 134512640 134579096 4289263856 4289262672 134519095 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 29788 29070 230 17 0 29094 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 119152
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22617
/proc/meminfo: memFree=29251460/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=119152 CPUtime=1302.08 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 29992 0 0 0 130201 7 0 0 20 0 1 0 317621988 122011648 29070 33554432000 134512640 134579096 4289263856 4289262720 134520196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 29788 29070 230 17 0 29094 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 119152
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22618
/proc/meminfo: memFree=29251336/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=119152 CPUtime=1362.06 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 29992 0 0 0 136199 7 0 0 20 0 1 0 317621988 122011648 29070 33554432000 134512640 134579096 4289263856 4289262672 134519088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 29788 29070 230 17 0 29094 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 119152
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22618
/proc/meminfo: memFree=29251460/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=119152 CPUtime=1422.06 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 29992 0 0 0 142199 7 0 0 20 0 1 0 317621988 122011648 29070 33554432000 134512640 134579096 4289263856 4289262512 134522726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 29788 29070 230 17 0 29094 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 119152
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 22618
/proc/meminfo: memFree=29251020/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=119152 CPUtime=1482.04 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 29992 0 0 0 148197 7 0 0 20 0 1 0 317621988 122011648 29070 33554432000 134512640 134579096 4289263856 4289262512 134522706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 29788 29070 230 17 0 29094 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 119152
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22618
/proc/meminfo: memFree=29226096/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=131804 CPUtime=1542.03 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 33163 0 0 0 154195 8 0 0 20 0 1 0 317621988 134967296 32241 33554432000 134512640 134579096 4289263856 4289262688 134517903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 32951 32241 230 17 0 32257 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 131804
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 22618
/proc/meminfo: memFree=29185428/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=172352 CPUtime=1602.02 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 43457 0 0 0 160192 10 0 0 20 0 1 0 317621988 176488448 42386 33554432000 134512640 134579096 4289263856 4289262512 134522729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 43088 42386 230 17 0 42394 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 172352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22622
/proc/meminfo: memFree=29152324/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=205864 CPUtime=1662.01 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 51935 0 0 0 166189 12 0 0 20 0 1 0 317621988 210804736 50780 33554432000 134512640 134579096 4289263856 4289262676 134556334 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 51466 50780 230 17 0 50772 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 205864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22622
/proc/meminfo: memFree=29122992/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=235496 CPUtime=1722.01 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 59381 0 0 0 172187 14 0 0 20 0 1 0 317621988 241147904 58136 33554432000 134512640 134579096 4289263856 4289262688 134517893 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 58874 58136 230 17 0 58180 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 235496
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22622
/proc/meminfo: memFree=29119880/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=236204 CPUtime=1782 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 59725 0 0 0 178186 14 0 0 20 0 1 0 317621988 241872896 58372 33554432000 134512640 134579096 4289263856 4289262672 134519077 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 59051 58372 230 17 0 58357 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 236204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22671
/proc/meminfo: memFree=29376160/32873648 swapFree=7116/7116
[pid=22583] ppid=22581 vsize=236204 CPUtime=1800.1 cores=1,3,5,7
/proc/22583/stat : 22583 (Pueblo) R 22581 22583 19648 0 -1 4202496 59727 0 0 0 179996 14 0 0 20 0 1 0 317621988 241872896 58372 33554432000 134512640 134579096 4289263856 4289262688 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22583/statm: 59051 58372 230 17 0 58357 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 236204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.96
CPU system time (s): 0.150977
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 236652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.150977
maximum resident set size= 233904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59727
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= 47
involuntary context switches= 1850
runsolver used 3.36249 second user time and 8.95264 second system time
The end