runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4268143-1502512192/watcher-4268143-1502512192 -o /tmp/evaluation-result-4268143-1502512192/solver-4268143-1502512192 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1849 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268143-1502512192.xml
pid=6474
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.17 2.08 2.06 2/180 6477
/proc/meminfo: memFree=31352868/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6477/stat : 6477 (runsolver) D 6474 6477 1785 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53414712 24240128 106 18446744073709551615 4194304 4338465 140731765078176 140731765075816 139767428678359 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 18599936 140731765080258 140731765080649 140731765080649 140731765084106 0
/proc/6477/statm: 5918 106 53 36 0 2156 0
[startup+0.100167 s]
/proc/loadavg: 2.17 2.08 2.06 2/180 6477
/proc/meminfo: memFree=31352868/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=49608 CPUtime=0.02 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 6708 0 0 0 2 0 0 0 20 0 1 0 53414712 50798592 6508 18446744073709551615 4194304 5972588 140722575139088 140722575135736 4967517 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 12402 6508 798 435 0 5765 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 49608
[startup+0.200377 s]
/proc/loadavg: 2.17 2.08 2.06 2/180 6477
/proc/meminfo: memFree=31352868/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=74620 CPUtime=0.12 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 12961 0 0 0 11 1 0 0 20 0 1 0 53414712 76410880 12791 18446744073709551615 4194304 5972588 140722575139088 140722575135736 140385731934127 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 18655 12791 798 435 0 12018 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 74620
[startup+0.300325 s]
/proc/loadavg: 2.17 2.08 2.06 2/180 6477
/proc/meminfo: memFree=31352868/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=87684 CPUtime=0.22 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 16258 0 0 0 21 1 0 0 20 0 1 0 53414712 89788416 16050 18446744073709551615 4194304 5972588 140722575139088 140722575135736 4972741 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21921 16050 802 435 0 15284 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 87684
[startup+0.700229 s]
/proc/loadavg: 2.17 2.08 2.06 2/180 6477
/proc/meminfo: memFree=31352868/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=87684 CPUtime=0.62 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 16267 0 0 0 61 1 0 0 20 0 1 0 53414712 89788416 16050 18446744073709551615 4194304 5972588 140722575139088 140722575136664 5040138 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21921 16050 802 435 0 15284 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 87684
[startup+1.50023 s]
/proc/loadavg: 2.17 2.08 2.06 3/181 6478
/proc/meminfo: memFree=31291788/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=87684 CPUtime=1.42 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 16267 0 0 0 141 1 0 0 20 0 1 0 53414712 89788416 16050 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21921 16050 802 435 0 15284 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 87684
[startup+3.10022 s]
/proc/loadavg: 2.17 2.08 2.06 3/181 6478
/proc/meminfo: memFree=31291416/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=87684 CPUtime=3.02 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 17611 0 0 0 301 1 0 0 20 0 1 0 53414712 89788416 16108 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21921 16108 841 435 0 15284 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 87684
[startup+6.30023 s]
/proc/loadavg: 2.15 2.07 2.06 3/181 6478
/proc/meminfo: memFree=31291416/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=87684 CPUtime=6.22 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 18960 0 0 0 621 1 0 0 20 0 1 0 53414712 89788416 16108 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040128 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21921 16108 841 435 0 15284 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 87684
[startup+12.7002 s]
/proc/loadavg: 2.14 2.07 2.05 3/181 6478
/proc/meminfo: memFree=31291316/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=87684 CPUtime=12.61 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 20316 0 0 0 1260 1 0 0 20 0 1 0 53414712 89788416 16108 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21921 16108 841 435 0 15284 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 87684
[startup+25.5003 s]
/proc/loadavg: 2.11 2.07 2.05 3/181 6478
/proc/meminfo: memFree=31291440/32770624 swapFree=0/321232
[pid=6477] ppid=6474 vsize=87684 CPUtime=25.41 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 23436 0 0 0 2540 1 0 0 20 0 1 0 53414712 89788416 16108 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040162 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21921 16108 841 435 0 15284 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 87684
[startup+51.1003 s]
/proc/loadavg: 2.07 2.06 2.05 3/181 6479
/proc/meminfo: memFree=31291564/32770624 swapFree=0/321228
[pid=6477] ppid=6474 vsize=87684 CPUtime=51.01 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 26440 0 0 0 5099 2 0 0 20 0 1 0 53414712 89788416 16116 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040128 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21921 16116 841 435 0 15284 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 87684
[startup+102.3 s]
/proc/loadavg: 2.09 2.07 2.05 3/181 6480
/proc/meminfo: memFree=31291204/32770624 swapFree=0/321212
[pid=6477] ppid=6474 vsize=87816 CPUtime=102.2 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 28927 0 0 0 10218 2 0 0 20 0 1 0 53414712 89923584 16119 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21954 16119 841 435 0 15317 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 87816
[startup+162.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/181 6482
/proc/meminfo: memFree=31291332/32770624 swapFree=0/321212
[pid=6477] ppid=6474 vsize=87816 CPUtime=162.19 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 29464 0 0 0 16217 2 0 0 20 0 1 0 53414712 89923584 16121 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040128 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21954 16121 841 435 0 15317 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 87816
[startup+222.306 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 6484
/proc/meminfo: memFree=31290836/32770624 swapFree=0/321224
[pid=6477] ppid=6474 vsize=87816 CPUtime=222.18 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 30009 0 0 0 22216 2 0 0 20 0 1 0 53414712 89923584 16133 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21954 16133 841 435 0 15317 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 87816
[startup+282.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/185 6501
/proc/meminfo: memFree=31286828/32770624 swapFree=0/321240
[pid=6477] ppid=6474 vsize=87816 CPUtime=282.17 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 30545 0 0 0 28215 2 0 0 20 0 1 0 53414712 89923584 16136 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21954 16136 841 435 0 15317 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 87816
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 6503
/proc/meminfo: memFree=31286680/32770624 swapFree=0/321252
[pid=6477] ppid=6474 vsize=87816 CPUtime=342.15 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 31104 0 0 0 34213 2 0 0 20 0 1 0 53414712 89923584 16139 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040169 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21954 16139 841 435 0 15317 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 87816
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 6505
/proc/meminfo: memFree=31289336/32770624 swapFree=0/321264
[pid=6477] ppid=6474 vsize=87816 CPUtime=402.14 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 31647 0 0 0 40212 2 0 0 20 0 1 0 53414712 89923584 16142 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040169 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21954 16142 841 435 0 15317 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 87816
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 6507
/proc/meminfo: memFree=31288964/32770624 swapFree=0/321272
[pid=6477] ppid=6474 vsize=87956 CPUtime=462.13 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 32196 0 0 0 46211 2 0 0 20 0 1 0 53414712 90066944 16147 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040169 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21989 16147 841 435 0 15352 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 87956
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 6509
/proc/meminfo: memFree=31289584/32770624 swapFree=0/321292
[pid=6477] ppid=6474 vsize=87956 CPUtime=522.12 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 32745 0 0 0 52210 2 0 0 20 0 1 0 53414712 90066944 16149 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21989 16149 841 435 0 15352 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 87956
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6512
/proc/meminfo: memFree=31289696/32770624 swapFree=0/321292
[pid=6477] ppid=6474 vsize=87956 CPUtime=582.11 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 33309 0 0 0 58209 2 0 0 20 0 1 0 53414712 90066944 16151 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040162 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 21989 16151 841 435 0 15352 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 87956
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/181 6637
/proc/meminfo: memFree=29249620/32770624 swapFree=0/321496
[pid=6477] ppid=6474 vsize=88256 CPUtime=1602 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 42219 0 0 0 160198 2 0 0 20 0 1 0 53414712 90374144 16231 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5039427 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16231 841 435 0 15427 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 88256
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 6639
/proc/meminfo: memFree=29249028/32770624 swapFree=0/321512
[pid=6477] ppid=6474 vsize=88256 CPUtime=1662 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 42860 0 0 0 166198 2 0 0 20 0 1 0 53414712 90374144 16239 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040128 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16239 841 435 0 15427 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 88256
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 6641
/proc/meminfo: memFree=29249828/32770624 swapFree=0/321512
[pid=6477] ppid=6474 vsize=88256 CPUtime=1722 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 43204 0 0 0 172198 2 0 0 20 0 1 0 53414712 90374144 16239 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040154 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16239 841 435 0 15427 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 88256
[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/181 6643
/proc/meminfo: memFree=29250020/32770624 swapFree=0/321524
[pid=6477] ppid=6474 vsize=88256 CPUtime=1781.99 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 43855 0 0 0 178197 2 0 0 20 0 1 0 53414712 90374144 16248 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16248 841 435 0 15427 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 88256
[startup+1842.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 6645
/proc/meminfo: memFree=29250048/32770624 swapFree=0/321528
[pid=6477] ppid=6474 vsize=88256 CPUtime=1842 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 44416 0 0 0 184197 3 0 0 20 0 1 0 53414712 90374144 16248 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040169 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16248 841 435 0 15427 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 88256
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 6647
/proc/meminfo: memFree=29250672/32770624 swapFree=0/321544
[pid=6477] ppid=6474 vsize=88256 CPUtime=1902 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 44781 0 0 0 190197 3 0 0 20 0 1 0 53414712 90374144 16248 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040154 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16248 841 435 0 15427 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 88256
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 6649
/proc/meminfo: memFree=29249684/32770624 swapFree=0/321556
[pid=6477] ppid=6474 vsize=88256 CPUtime=1961.99 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 45453 0 0 0 196196 3 0 0 20 0 1 0 53414712 90374144 16257 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040180 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16257 841 435 0 15427 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 88256
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6651
/proc/meminfo: memFree=29249904/32770624 swapFree=0/321568
[pid=6477] ppid=6474 vsize=88256 CPUtime=2021.99 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 45819 0 0 0 202196 3 0 0 20 0 1 0 53414712 90374144 16257 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040166 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16257 841 435 0 15427 0
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 88256
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 6668
/proc/meminfo: memFree=29245420/32770624 swapFree=0/321572
[pid=6477] ppid=6474 vsize=88256 CPUtime=2081.99 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 46207 0 0 0 208196 3 0 0 20 0 1 0 53414712 90374144 16257 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040154 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22064 16257 841 435 0 15427 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 88256
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 6670
/proc/meminfo: memFree=29245816/32770624 swapFree=0/321588
[pid=6477] ppid=6474 vsize=88472 CPUtime=2141.98 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 46886 0 0 0 214195 3 0 0 20 0 1 0 53414712 90595328 16267 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040166 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22118 16267 841 435 0 15481 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 88472
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6672
/proc/meminfo: memFree=29248544/32770624 swapFree=0/321592
[pid=6477] ppid=6474 vsize=88472 CPUtime=2201.99 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 47239 0 0 0 220196 3 0 0 20 0 1 0 53414712 90595328 16267 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040166 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22118 16267 841 435 0 15481 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 88472
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6674
/proc/meminfo: memFree=29248792/32770624 swapFree=0/321608
[pid=6477] ppid=6474 vsize=88472 CPUtime=2261.98 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 47627 0 0 0 226195 3 0 0 20 0 1 0 53414712 90595328 16267 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040169 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22118 16267 841 435 0 15481 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 88472
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6676
/proc/meminfo: memFree=29247212/32770624 swapFree=0/321616
[pid=6477] ppid=6474 vsize=88472 CPUtime=2321.98 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 48330 0 0 0 232195 3 0 0 20 0 1 0 53414712 90595328 16278 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040128 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22118 16278 841 435 0 15481 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 88472
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6679
/proc/meminfo: memFree=29246688/32770624 swapFree=0/321624
[pid=6477] ppid=6474 vsize=88472 CPUtime=2381.97 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 48897 0 0 0 238194 3 0 0 20 0 1 0 53414712 90595328 16278 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22118 16278 841 435 0 15481 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 88472
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6681
/proc/meminfo: memFree=29245944/32770624 swapFree=0/321632
[pid=6477] ppid=6474 vsize=88472 CPUtime=2441.97 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 49260 0 0 0 244194 3 0 0 20 0 1 0 53414712 90595328 16278 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040154 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22118 16278 841 435 0 15481 0
Current children cumulated CPU time (s) 2441.97
Current children cumulated vsize (KiB) 88472
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6683
/proc/meminfo: memFree=29245820/32770624 swapFree=0/321636
[pid=6477] ppid=6474 vsize=88472 CPUtime=2501.97 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 49698 0 0 0 250194 3 0 0 20 0 1 0 53414712 90595328 16278 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5040154 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22118 16278 841 435 0 15481 0
Current children cumulated CPU time (s) 2501.97
Current children cumulated vsize (KiB) 88472
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6684
/proc/meminfo: memFree=29245924/32770624 swapFree=0/321636
[pid=6477] ppid=6474 vsize=88472 CPUtime=2519.67 cores=1,3,5,7
/proc/6477/stat : 6477 (cosoco) R 6474 6477 1785 0 -1 4202496 50023 0 0 0 251964 3 0 0 20 0 1 0 53414712 90595328 16281 18446744073709551615 4194304 5972588 140722575139088 140722575136392 5099648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12832768 140722575147502 140722575147597 140722575147597 140722575151054 0
/proc/6477/statm: 22118 16281 841 435 0 15481 0
Current children cumulated CPU time (s) 2519.67
Current children cumulated vsize (KiB) 88472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6477 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.68
CPU user time (s): 2519.64
CPU system time (s): 0.038996
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 88472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.64
system time used= 0.038996
maximum resident set size= 65204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50069
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= 17
involuntary context switches= 1313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.11001 second user time and 9.48474 second system time
The end