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-4241870-1500652985/watcher-4241870-1500652985 -o /tmp/evaluation-result-4241870-1500652985/solver-4241870-1500652985 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9844 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241870-1500652985.xml
pid=10407
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.04 1.99 3/244 10410
/proc/meminfo: memFree=31969508/32770624 swapFree=5956/189356
[pid=10410] ppid=10407 vsize=27520 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 1111 0 0 0 0 0 0 0 20 0 1 0 563587 28180480 898 33554432000 4194304 5970956 140727330636032 140727330634648 139740792387673 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 6880 898 706 434 0 244 0
[startup+0.100147 s]
/proc/loadavg: 2.06 2.04 1.99 3/244 10410
/proc/meminfo: memFree=31969508/32770624 swapFree=5956/189356
[pid=10410] ppid=10407 vsize=28024 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 1289 0 0 0 9 0 0 0 20 0 1 0 563587 28696576 1120 33554432000 4194304 5970956 140727330636032 140727330629864 139740792388581 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 7006 1120 787 434 0 370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28024
[startup+0.200296 s]
/proc/loadavg: 2.06 2.04 1.99 3/244 10410
/proc/meminfo: memFree=31969508/32770624 swapFree=5956/189356
[pid=10410] ppid=10407 vsize=28908 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 1508 0 0 0 19 0 0 0 20 0 1 0 563587 29601792 1342 33554432000 4194304 5970956 140727330636032 140727330629864 139740792388581 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 7227 1342 788 434 0 591 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28908
[startup+0.300263 s]
/proc/loadavg: 2.06 2.04 1.99 3/244 10410
/proc/meminfo: memFree=31969508/32770624 swapFree=5956/189356
[pid=10410] ppid=10407 vsize=29916 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 1767 0 0 0 29 0 0 0 20 0 1 0 563587 30633984 1566 33554432000 4194304 5970956 140727330636032 140727330629864 139740792388581 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 7479 1566 793 434 0 843 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29916
[startup+0.700291 s]
/proc/loadavg: 2.06 2.04 1.99 3/244 10410
/proc/meminfo: memFree=31969508/32770624 swapFree=5956/189356
[pid=10410] ppid=10407 vsize=220740 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 31346 0 0 0 64 5 0 0 20 0 1 0 563587 226037760 43414 33554432000 4194304 5970956 140727330636032 140727330632856 139740792388581 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 55185 43414 846 434 0 48549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 220740
[startup+1.50021 s]
/proc/loadavg: 1.98 2.02 1.99 3/245 10411
/proc/meminfo: memFree=31797232/32770624 swapFree=5956/189380
[pid=10410] ppid=10407 vsize=223020 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 31910 0 0 0 144 5 0 0 20 0 1 0 563587 228372480 43951 33554432000 4194304 5970956 140727330636032 140727330633000 4977082 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 55755 43951 846 434 0 49119 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 223020
[startup+3.1002 s]
/proc/loadavg: 1.98 2.02 1.99 3/245 10411
/proc/meminfo: memFree=31795300/32770624 swapFree=5956/189392
[pid=10410] ppid=10407 vsize=223548 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 38978 0 0 0 304 5 0 0 20 0 1 0 563587 228913152 44141 33554432000 4194304 5970956 140727330636032 140727330633000 5243443 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 55887 44141 846 434 0 49251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 223548
[startup+6.30021 s]
/proc/loadavg: 1.98 2.02 1.99 3/245 10411
/proc/meminfo: memFree=31794788/32770624 swapFree=5956/189392
[pid=10410] ppid=10407 vsize=223944 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 47204 0 0 0 623 6 0 0 20 0 1 0 563587 229318656 44256 33554432000 4194304 5970956 140727330636032 140727330632952 4974671 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 55986 44256 846 434 0 49350 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 223944
[startup+12.7002 s]
/proc/loadavg: 1.98 2.02 1.99 3/245 10411
/proc/meminfo: memFree=31794292/32770624 swapFree=5956/189408
[pid=10410] ppid=10407 vsize=224204 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 60990 0 0 0 1263 6 0 0 20 0 1 0 563587 229584896 44307 33554432000 4194304 5970956 140727330636032 140727330633368 5070892 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56051 44307 846 434 0 49415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 224204
[startup+25.5003 s]
/proc/loadavg: 1.99 2.02 1.99 3/245 10411
/proc/meminfo: memFree=31793808/32770624 swapFree=5956/189416
[pid=10410] ppid=10407 vsize=224332 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 81618 0 0 0 2541 7 0 0 20 0 1 0 563587 229715968 44339 33554432000 4194304 5970956 140727330636032 140727330633368 5272668 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56083 44339 846 434 0 49447 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 224332
[startup+51.1003 s]
/proc/loadavg: 1.99 2.02 1.99 3/245 10411
/proc/meminfo: memFree=31793604/32770624 swapFree=5956/189424
[pid=10410] ppid=10407 vsize=224460 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 99239 0 0 0 5100 8 0 0 20 0 1 0 563587 229847040 44375 33554432000 4194304 5970956 140727330636032 140727330633368 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56115 44375 846 434 0 49479 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 224460
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/245 10412
/proc/meminfo: memFree=31793004/32770624 swapFree=5956/189460
[pid=10410] ppid=10407 vsize=224588 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 110742 0 0 0 10219 9 0 0 20 0 1 0 563587 229978112 44422 33554432000 4194304 5970956 140727330636032 140727330633368 5070932 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56147 44422 846 434 0 49511 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 224588
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/244 10413
/proc/meminfo: memFree=31789956/32770624 swapFree=5956/189492
[pid=10410] ppid=10407 vsize=224716 CPUtime=162.27 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 113210 0 0 0 16218 9 0 0 20 0 1 0 563587 230109184 44950 33554432000 4194304 5970956 140727330636032 140727330633368 4976747 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56179 44950 846 434 0 49543 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 224716
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 10414
/proc/meminfo: memFree=31790212/32770624 swapFree=5956/189520
[pid=10410] ppid=10407 vsize=224716 CPUtime=222.27 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 114779 0 0 0 22218 9 0 0 20 0 1 0 563587 230109184 44955 33554432000 4194304 5970956 140727330636032 140727330633368 5070102 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56179 44955 846 434 0 49543 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 224716
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 10415
/proc/meminfo: memFree=31789660/32770624 swapFree=5956/189552
[pid=10410] ppid=10407 vsize=224716 CPUtime=282.25 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 116358 0 0 0 28216 9 0 0 20 0 1 0 563587 230109184 44963 33554432000 4194304 5970956 140727330636032 140727330633368 4976859 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56179 44963 846 434 0 49543 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 224716
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/242 10416
/proc/meminfo: memFree=31790608/32770624 swapFree=5956/189564
[pid=10410] ppid=10407 vsize=224716 CPUtime=342.26 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 118338 0 0 0 34216 10 0 0 20 0 1 0 563587 230109184 44963 33554432000 4194304 5970956 140727330636032 140727330633368 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56179 44963 846 434 0 49543 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 224716
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 10418
/proc/meminfo: memFree=31789616/32770624 swapFree=5956/189596
[pid=10410] ppid=10407 vsize=224716 CPUtime=402.25 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 119917 0 0 0 40215 10 0 0 20 0 1 0 563587 230109184 44967 33554432000 4194304 5970956 140727330636032 140727330633368 4970957 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56179 44967 846 434 0 49543 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 224716
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/244 10427
/proc/meminfo: memFree=31788976/32770624 swapFree=5956/189636
[pid=10410] ppid=10407 vsize=224716 CPUtime=462.24 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 121732 0 0 0 46214 10 0 0 20 0 1 0 563587 230109184 44967 33554432000 4194304 5970956 140727330636032 140727330633368 5069997 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56179 44967 846 434 0 49543 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 224716
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/244 10428
/proc/meminfo: memFree=31789228/32770624 swapFree=5956/189668
[pid=10410] ppid=10407 vsize=224716 CPUtime=522.23 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 123385 0 0 0 52213 10 0 0 20 0 1 0 563587 230109184 44967 33554432000 4194304 5970956 140727330636032 140727330633368 4978194 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56179 44967 846 434 0 49543 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 224716
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/244 10429
/proc/meminfo: memFree=31789428/32770624 swapFree=5956/189700
[pid=10410] ppid=10407 vsize=224716 CPUtime=582.23 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 125015 0 0 0 58213 10 0 0 20 0 1 0 563587 230109184 44968 33554432000 4194304 5970956 140727330636032 140727330633368 5070056 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56179 44968 846 434 0 49543 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 224716
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 10455
/proc/meminfo: memFree=31785548/32770624 swapFree=5780/190144
[pid=10410] ppid=10407 vsize=224848 CPUtime=1542.15 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 143901 0 0 0 154204 11 0 0 20 0 1 0 563587 230244352 44983 33554432000 4194304 5970956 140727330636032 140727330632792 5070785 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44983 846 434 0 49576 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 224848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 10456
/proc/meminfo: memFree=31785424/32770624 swapFree=5780/190176
[pid=10410] ppid=10407 vsize=224848 CPUtime=1602.14 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 144388 0 0 0 160203 11 0 0 20 0 1 0 563587 230244352 44983 33554432000 4194304 5970956 140727330636032 140727330632792 5070768 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44983 846 434 0 49576 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 224848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 10465
/proc/meminfo: memFree=31785272/32770624 swapFree=5780/190212
[pid=10410] ppid=10407 vsize=224848 CPUtime=1662.13 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 145931 0 0 0 166202 11 0 0 20 0 1 0 563587 230244352 44984 33554432000 4194304 5970956 140727330636032 140727330632792 5071049 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44984 846 434 0 49576 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 224848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 10466
/proc/meminfo: memFree=31784160/32770624 swapFree=5780/190244
[pid=10410] ppid=10407 vsize=224848 CPUtime=1722.13 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 146530 0 0 0 172202 11 0 0 20 0 1 0 563587 230244352 44984 33554432000 4194304 5970956 140727330636032 140727330632792 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44984 846 434 0 49576 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 224848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 10467
/proc/meminfo: memFree=31784004/32770624 swapFree=5780/190272
[pid=10410] ppid=10407 vsize=224848 CPUtime=1782.12 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 147110 0 0 0 178201 11 0 0 20 0 1 0 563587 230244352 44984 33554432000 4194304 5970956 140727330636032 140727330632792 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44984 846 434 0 49576 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 224848
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 10468
/proc/meminfo: memFree=31784088/32770624 swapFree=5780/190300
[pid=10410] ppid=10407 vsize=224848 CPUtime=1842.12 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 148649 0 0 0 184201 11 0 0 20 0 1 0 563587 230244352 44985 33554432000 4194304 5970956 140727330636032 140727330632792 5070791 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44985 846 434 0 49576 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 224848
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/244 10469
/proc/meminfo: memFree=31784232/32770624 swapFree=5780/190316
[pid=10410] ppid=10407 vsize=224848 CPUtime=1902.11 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 149125 0 0 0 190200 11 0 0 20 0 1 0 563587 230244352 44985 33554432000 4194304 5970956 140727330636032 140727330632792 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44985 846 434 0 49576 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 224848
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/243 10470
/proc/meminfo: memFree=31784532/32770624 swapFree=5780/190348
[pid=10410] ppid=10407 vsize=224848 CPUtime=1962.11 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 149550 0 0 0 196200 11 0 0 20 0 1 0 563587 230244352 44985 33554432000 4194304 5970956 140727330636032 140727330632792 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44985 846 434 0 49576 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 224848
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/243 10471
/proc/meminfo: memFree=31784500/32770624 swapFree=5780/190380
[pid=10410] ppid=10407 vsize=224848 CPUtime=2022.1 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 151061 0 0 0 202199 11 0 0 20 0 1 0 563587 230244352 44986 33554432000 4194304 5970956 140727330636032 140727330632792 5069968 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44986 846 434 0 49576 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 224848
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/243 10472
/proc/meminfo: memFree=31784696/32770624 swapFree=5780/190408
[pid=10410] ppid=10407 vsize=224848 CPUtime=2082.1 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 151661 0 0 0 208199 11 0 0 20 0 1 0 563587 230244352 44986 33554432000 4194304 5970956 140727330636032 140727330632792 4974720 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44986 846 434 0 49576 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 224848
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 10473
/proc/meminfo: memFree=31784072/32770624 swapFree=5780/190424
[pid=10410] ppid=10407 vsize=224848 CPUtime=2142.09 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 152218 0 0 0 214198 11 0 0 20 0 1 0 563587 230244352 44986 33554432000 4194304 5970956 140727330636032 140727330632792 5070976 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44986 846 434 0 49576 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 224848
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 10474
/proc/meminfo: memFree=31783824/32770624 swapFree=5780/190456
[pid=10410] ppid=10407 vsize=224848 CPUtime=2202.09 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 153775 0 0 0 220198 11 0 0 20 0 1 0 563587 230244352 44998 33554432000 4194304 5970956 140727330636032 140727330632792 4977104 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44998 846 434 0 49576 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 224848
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 10482
/proc/meminfo: memFree=31783496/32770624 swapFree=5780/190496
[pid=10410] ppid=10407 vsize=224848 CPUtime=2262.08 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 154225 0 0 0 226197 11 0 0 20 0 1 0 563587 230244352 44998 33554432000 4194304 5970956 140727330636032 140727330632792 5070768 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44998 846 434 0 49576 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 224848
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/243 10483
/proc/meminfo: memFree=31783720/32770624 swapFree=5780/190528
[pid=10410] ppid=10407 vsize=224848 CPUtime=2322.07 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 154683 0 0 0 232196 11 0 0 20 0 1 0 563587 230244352 44998 33554432000 4194304 5970956 140727330636032 140727330632792 4908959 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44998 846 434 0 49576 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 224848
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/243 10484
/proc/meminfo: memFree=31783444/32770624 swapFree=5780/190548
[pid=10410] ppid=10407 vsize=224848 CPUtime=2382.07 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 156245 0 0 0 238196 11 0 0 20 0 1 0 563587 230244352 44999 33554432000 4194304 5970956 140727330636032 140727330632792 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44999 846 434 0 49576 0
Current children cumulated CPU time (s) 2382.07
Current children cumulated vsize (KiB) 224848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.02 2.02 2.02 3/243 10550
/proc/meminfo: memFree=31694276/32770624 swapFree=5780/195416
[pid=10410] ppid=10407 vsize=224848 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 156738 0 0 0 239996 11 0 0 20 0 1 0 563587 230244352 44999 33554432000 4194304 5970956 140727330636032 140727330632792 4971070 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44999 846 434 0 49576 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 224848
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 10410 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.02 2.02 2.02 3/243 10550
/proc/meminfo: memFree=31694276/32770624 swapFree=5780/195416
[pid=10410] ppid=10407 vsize=224848 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/10410/stat : 10410 (cosoco) R 10407 10410 9811 0 -1 4202496 156738 0 0 0 239996 11 0 0 20 0 1 0 563587 230244352 44999 33554432000 4194304 5970956 140727330636032 140727330632792 4971070 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38862848 140727330641084 140727330641219 140727330641219 140727330643918 0
/proc/10410/statm: 56212 44999 846 434 0 49576 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 224848
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2399.97
CPU system time (s): 0.121989
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 224848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.121989
maximum resident set size= 180040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156768
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= 16
involuntary context switches= 120764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22744 second user time and 11.0949 second system time
The end