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-4267724-1502514964/watcher-4267724-1502514964 -o /tmp/evaluation-result-4267724-1502514964/solver-4267724-1502514964 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267724-1502514964.xml
pid=30297
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.06 2.01 2.04 2/188 30300
/proc/meminfo: memFree=30988604/32770624 swapFree=0/585804
[pid=30300] ppid=30297 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30300/stat : 30300 (runsolver) D 30297 30300 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 99002740 24240128 108 18446744073709551615 4194304 4338465 140728590818976 140728590816616 139751881691863 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 29679616 140728590823617 140728590824009 140728590824009 140728590827466 0
/proc/30300/statm: 5918 108 54 36 0 2156 0
[startup+0.100702 s]
/proc/loadavg: 2.06 2.01 2.04 2/188 30300
/proc/meminfo: memFree=30988604/32770624 swapFree=0/585804
[pid=30300] ppid=30297 vsize=28980 CPUtime=0.04 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 1510 0 0 0 4 0 0 0 20 0 1 0 99002740 29675520 1340 18446744073709551615 4194304 5972588 140730015629616 140730015616808 4935490 0 0 1 8405026 0 0 0 17 7 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7245 1340 776 435 0 608 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28980
[startup+0.200701 s]
/proc/loadavg: 2.06 2.01 2.04 2/188 30300
/proc/meminfo: memFree=30988604/32770624 swapFree=0/585804
[pid=30300] ppid=30297 vsize=28980 CPUtime=0.14 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 1535 0 0 0 14 0 0 0 20 0 1 0 99002740 29675520 1340 18446744073709551615 4194304 5972588 140730015629616 140730015616808 4934208 0 0 1 8405026 0 0 0 17 7 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7245 1340 776 435 0 608 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 28980
[startup+0.3007 s]
/proc/loadavg: 2.06 2.01 2.04 2/188 30300
/proc/meminfo: memFree=30988604/32770624 swapFree=0/585804
[pid=30300] ppid=30297 vsize=28980 CPUtime=0.24 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 1535 0 0 0 24 0 0 0 20 0 1 0 99002740 29675520 1340 18446744073709551615 4194304 5972588 140730015629616 140730015616808 4935605 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7245 1340 776 435 0 608 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 28980
[startup+0.700215 s]
/proc/loadavg: 2.06 2.01 2.04 2/188 30300
/proc/meminfo: memFree=30988604/32770624 swapFree=0/585804
[pid=30300] ppid=30297 vsize=29112 CPUtime=0.64 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 1537 0 0 0 64 0 0 0 20 0 1 0 99002740 29810688 1340 18446744073709551615 4194304 5972588 140730015629616 140730015616808 4935649 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7278 1340 776 435 0 641 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 29112
[startup+1.50022 s]
/proc/loadavg: 2.06 2.01 2.04 3/189 30301
/proc/meminfo: memFree=30985736/32770624 swapFree=0/585804
[pid=30300] ppid=30297 vsize=29108 CPUtime=1.44 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 1537 0 0 0 144 0 0 0 20 0 1 0 99002740 29806592 1379 18446744073709551615 4194304 5972588 140730015629616 140730015616808 4934247 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1379 777 435 0 640 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 29108
[startup+3.10022 s]
/proc/loadavg: 2.06 2.01 2.04 3/189 30301
/proc/meminfo: memFree=30985336/32770624 swapFree=0/585864
[pid=30300] ppid=30297 vsize=29108 CPUtime=3.04 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 2047 0 0 0 304 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015616808 4977701 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 29108
[startup+6.30022 s]
/proc/loadavg: 2.06 2.01 2.04 3/189 30301
/proc/meminfo: memFree=30985588/32770624 swapFree=0/585816
[pid=30300] ppid=30297 vsize=29108 CPUtime=6.24 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 2441 0 0 0 624 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4934329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 29108
[startup+12.7002 s]
/proc/loadavg: 2.05 2.01 2.04 3/189 30301
/proc/meminfo: memFree=30985216/32770624 swapFree=0/585816
[pid=30300] ppid=30297 vsize=29108 CPUtime=12.64 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 2835 0 0 0 1264 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4975600 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 29108
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.04 3/189 30301
/proc/meminfo: memFree=30985536/32770624 swapFree=0/585820
[pid=30300] ppid=30297 vsize=29108 CPUtime=25.44 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 3745 0 0 0 2544 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29108
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.04 3/186 30302
/proc/meminfo: memFree=30988488/32770624 swapFree=0/585820
[pid=30300] ppid=30297 vsize=29108 CPUtime=51.04 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 4139 0 0 0 5104 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 29108
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/186 30304
/proc/meminfo: memFree=30989108/32770624 swapFree=0/585836
[pid=30300] ppid=30297 vsize=29108 CPUtime=102.25 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 4533 0 0 0 10225 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4934332 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29108
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 30307
/proc/meminfo: memFree=30989248/32770624 swapFree=0/585852
[pid=30300] ppid=30297 vsize=29108 CPUtime=162.24 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 4926 0 0 0 16224 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935525 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 29108
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 30309
/proc/meminfo: memFree=30989352/32770624 swapFree=0/585864
[pid=30300] ppid=30297 vsize=29108 CPUtime=222.25 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 5321 0 0 0 22225 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935408 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 29108
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 30311
/proc/meminfo: memFree=30989124/32770624 swapFree=0/585876
[pid=30300] ppid=30297 vsize=29108 CPUtime=282.25 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 5715 0 0 0 28225 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29108
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 30314
/proc/meminfo: memFree=30988952/32770624 swapFree=0/585892
[pid=30300] ppid=30297 vsize=29108 CPUtime=342.25 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 6113 0 0 0 34225 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4975227 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 29108
[startup+402.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/186 30316
/proc/meminfo: memFree=30988832/32770624 swapFree=0/585900
[pid=30300] ppid=30297 vsize=29108 CPUtime=402.25 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 6113 0 0 0 40225 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 29108
[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/185 30318
/proc/meminfo: memFree=30989060/32770624 swapFree=0/585908
[pid=30300] ppid=30297 vsize=29108 CPUtime=462.25 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 6507 0 0 0 46225 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935454 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 29108
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/189 30335
/proc/meminfo: memFree=30984684/32770624 swapFree=0/585908
[pid=30300] ppid=30297 vsize=29108 CPUtime=522.26 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 6875 0 0 0 52226 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4936013 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 29108
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 30337
/proc/meminfo: memFree=30987460/32770624 swapFree=0/585924
[pid=30300] ppid=30297 vsize=29108 CPUtime=582.26 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 7295 0 0 0 58226 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935454 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 29108
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 30393
/proc/meminfo: memFree=30987988/32770624 swapFree=0/586120
[pid=30300] ppid=30297 vsize=29108 CPUtime=1602.29 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 13579 0 0 0 160229 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4971939 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 29108
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 30396
/proc/meminfo: memFree=30988344/32770624 swapFree=0/586132
[pid=30300] ppid=30297 vsize=29108 CPUtime=1662.29 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 13968 0 0 0 166229 0 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 29108
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 30412
/proc/meminfo: memFree=30984384/32770624 swapFree=0/586144
[pid=30300] ppid=30297 vsize=29108 CPUtime=1722.3 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 14362 0 0 0 172229 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935428 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 29108
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 30414
/proc/meminfo: memFree=30987200/32770624 swapFree=0/586152
[pid=30300] ppid=30297 vsize=29108 CPUtime=1782.3 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 14719 0 0 0 178229 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935596 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 29108
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 30416
/proc/meminfo: memFree=30987944/32770624 swapFree=0/586164
[pid=30300] ppid=30297 vsize=29108 CPUtime=1842.31 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 14719 0 0 0 184230 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 29108
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 30419
/proc/meminfo: memFree=30988164/32770624 swapFree=0/586176
[pid=30300] ppid=30297 vsize=29108 CPUtime=1902.31 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 15146 0 0 0 190230 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 29108
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 30421
/proc/meminfo: memFree=30988392/32770624 swapFree=0/586184
[pid=30300] ppid=30297 vsize=29108 CPUtime=1962.31 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 15536 0 0 0 196230 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 29108
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 30423
/proc/meminfo: memFree=30988396/32770624 swapFree=0/586196
[pid=30300] ppid=30297 vsize=29108 CPUtime=2022.31 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 15925 0 0 0 202230 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 29108
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 30425
/proc/meminfo: memFree=30988364/32770624 swapFree=0/586212
[pid=30300] ppid=30297 vsize=29108 CPUtime=2082.32 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 16320 0 0 0 208231 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 29108
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 30427
/proc/meminfo: memFree=30989256/32770624 swapFree=0/586224
[pid=30300] ppid=30297 vsize=29108 CPUtime=2142.31 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 16693 0 0 0 214230 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935642 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 29108
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 30431
/proc/meminfo: memFree=30988440/32770624 swapFree=0/586228
[pid=30300] ppid=30297 vsize=29108 CPUtime=2202.32 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 16978 0 0 0 220231 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 29108
[startup+2262.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 30433
/proc/meminfo: memFree=30988072/32770624 swapFree=0/586244
[pid=30300] ppid=30297 vsize=29108 CPUtime=2262.32 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 17368 0 0 0 226231 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2262.32
Current children cumulated vsize (KiB) 29108
[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 30449
/proc/meminfo: memFree=30983884/32770624 swapFree=0/586256
[pid=30300] ppid=30297 vsize=29108 CPUtime=2322.32 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 17725 0 0 0 232231 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935454 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 29108
[startup+2382.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/185 30575
/proc/meminfo: memFree=17651788/32770624 swapFree=0/586432
[pid=30300] ppid=30297 vsize=29108 CPUtime=2382.32 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 18115 0 0 0 238231 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4970747 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2382.32
Current children cumulated vsize (KiB) 29108
[startup+2442.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 30699
/proc/meminfo: memFree=30841596/32770624 swapFree=0/586284
[pid=30300] ppid=30297 vsize=29108 CPUtime=2442.32 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 18509 0 0 0 244231 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935681 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2442.32
Current children cumulated vsize (KiB) 29108
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 30701
/proc/meminfo: memFree=30839804/32770624 swapFree=0/586288
[pid=30300] ppid=30297 vsize=29108 CPUtime=2502.32 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 18795 0 0 0 250231 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935596 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2502.32
Current children cumulated vsize (KiB) 29108
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 30701
/proc/meminfo: memFree=30839432/32770624 swapFree=0/586292
[pid=30300] ppid=30297 vsize=29108 CPUtime=2520.02 cores=1,3,5,7
/proc/30300/stat : 30300 (cosoco) R 30297 30300 24445 0 -1 4202496 19074 0 0 0 252001 1 0 0 20 0 1 0 99002740 29806592 1380 18446744073709551615 4194304 5972588 140730015629616 140730015627064 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25268224 140730015633902 140730015633997 140730015633997 140730015637454 0
/proc/30300/statm: 7277 1380 777 435 0 640 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 29108
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 30300 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2520.03
CPU user time (s): 2520.02
CPU system time (s): 0.016
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 29112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.016
maximum resident set size= 5600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19167
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= 10
involuntary context switches= 1877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34894 second user time and 7.90286 second system time
The end