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-4259989-1502020589/watcher-4259989-1502020589 -o /tmp/evaluation-result-4259989-1502020589/solver-4259989-1502020589 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259989-1502020589.xml
pid=23991
running on 4 cores: 1,3,5,7
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.01 2.02 2.00 3/181 23994
/proc/meminfo: memFree=31708624/32770624 swapFree=0/336744
[pid=23994] ppid=23991 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23994/stat : 23994 (runsolver) D 23991 23994 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4254696 24240128 106 18446744073709551615 4194304 4338465 140723821628256 140723821625896 140510297567959 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 25325568 140723821633730 140723821634122 140723821634122 140723821637578 0
/proc/23994/statm: 5918 106 53 36 0 2156 0
[startup+0.1045 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23994
/proc/meminfo: memFree=31708624/32770624 swapFree=0/336744
[pid=23994] ppid=23991 vsize=28096 CPUtime=0 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 1 0 4254696 28770304 1089 18446744073709551615 4194304 5747388 140732131405744 140732131401400 4892392 0 0 1 0 0 0 0 17 7 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7024 1089 722 380 0 442 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28096
[startup+0.200496 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23994
/proc/meminfo: memFree=31708624/32770624 swapFree=0/336744
[pid=23994] ppid=23991 vsize=29152 CPUtime=0.1 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 1590 0 0 0 10 0 0 0 20 0 1 0 4254696 29851648 1419 18446744073709551615 4194304 5747388 140732131405744 140732131402456 4894030 0 0 1 8405026 0 0 0 17 7 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1419 763 380 0 706 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29152
[startup+0.300499 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23994
/proc/meminfo: memFree=31708624/32770624 swapFree=0/336744
[pid=23994] ppid=23991 vsize=29152 CPUtime=0.2 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 1597 0 0 0 20 0 0 0 20 0 1 0 4254696 29851648 1419 18446744073709551615 4194304 5747388 140732131405744 140732131402456 4947720 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1419 763 380 0 706 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29152
[startup+0.700226 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23994
/proc/meminfo: memFree=31708624/32770624 swapFree=0/336744
[pid=23994] ppid=23991 vsize=29152 CPUtime=0.6 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 1612 0 0 0 60 0 0 0 20 0 1 0 4254696 29851648 1419 18446744073709551615 4194304 5747388 140732131405744 140732131402456 4893991 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1419 763 380 0 706 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 29152
[startup+1.50022 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23995
/proc/meminfo: memFree=31706240/32770624 swapFree=0/336744
[pid=23994] ppid=23991 vsize=29152 CPUtime=1.4 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 1613 0 0 0 140 0 0 0 20 0 1 0 4254696 29851648 1419 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4893984 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1419 763 380 0 706 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 29152
[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23995
/proc/meminfo: memFree=31705784/32770624 swapFree=0/336744
[pid=23994] ppid=23991 vsize=29152 CPUtime=3 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 2196 0 0 0 300 0 0 0 20 0 1 0 4254696 29851648 1455 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4893991 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1455 763 380 0 706 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 29152
[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23995
/proc/meminfo: memFree=31705768/32770624 swapFree=0/336752
[pid=23994] ppid=23991 vsize=29152 CPUtime=6.2 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 2823 0 0 0 620 0 0 0 20 0 1 0 4254696 29851648 1458 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5025361 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1458 763 380 0 706 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 29152
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23995
/proc/meminfo: memFree=31705644/32770624 swapFree=0/336760
[pid=23994] ppid=23991 vsize=29152 CPUtime=12.6 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 3450 0 0 0 1260 0 0 0 20 0 1 0 4254696 29851648 1459 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4894141 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1459 763 380 0 706 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 29152
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23996
/proc/meminfo: memFree=31705884/32770624 swapFree=0/336772
[pid=23994] ppid=23991 vsize=29152 CPUtime=25.4 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 4704 0 0 0 2540 0 0 0 20 0 1 0 4254696 29851648 1460 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4947292 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1460 763 380 0 706 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 29152
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 23996
/proc/meminfo: memFree=31706112/32770624 swapFree=0/336792
[pid=23994] ppid=23991 vsize=29152 CPUtime=51 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 5334 0 0 0 5100 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5025392 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 29152
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/182 23998
/proc/meminfo: memFree=31706112/32770624 swapFree=0/336832
[pid=23994] ppid=23991 vsize=29152 CPUtime=102.2 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 5921 0 0 0 10220 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4947295 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 29152
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/181 24000
/proc/meminfo: memFree=31706252/32770624 swapFree=0/336868
[pid=23994] ppid=23991 vsize=29152 CPUtime=162.19 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 6511 0 0 0 16219 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4894096 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 29152
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.01 3/181 24002
/proc/meminfo: memFree=31706356/32770624 swapFree=0/336896
[pid=23994] ppid=23991 vsize=29152 CPUtime=222.2 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 7094 0 0 0 22220 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4894209 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 29152
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/181 24004
/proc/meminfo: memFree=31706604/32770624 swapFree=0/336924
[pid=23994] ppid=23991 vsize=29152 CPUtime=282.19 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 7677 0 0 0 28219 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4947288 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 29152
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/181 24006
/proc/meminfo: memFree=31706360/32770624 swapFree=0/336952
[pid=23994] ppid=23991 vsize=29152 CPUtime=342.19 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 8260 0 0 0 34219 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5025399 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 29152
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/181 24008
/proc/meminfo: memFree=31706492/32770624 swapFree=0/336984
[pid=23994] ppid=23991 vsize=29152 CPUtime=402.18 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 8887 0 0 0 40218 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4947288 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 29152
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/184 24025
/proc/meminfo: memFree=31702456/32770624 swapFree=0/337052
[pid=23994] ppid=23991 vsize=29152 CPUtime=462.18 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 9470 0 0 0 46218 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4949508 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 29152
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/185 24028
/proc/meminfo: memFree=31701268/32770624 swapFree=0/337088
[pid=23994] ppid=23991 vsize=29152 CPUtime=522.18 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 10053 0 0 0 52218 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4894030 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 29152
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/182 24030
/proc/meminfo: memFree=31704416/32770624 swapFree=0/337116
[pid=23994] ppid=23991 vsize=29152 CPUtime=582.18 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 10636 0 0 0 58218 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4949032 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 29152
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/181 24101
/proc/meminfo: memFree=31703224/32770624 swapFree=0/337660
[pid=23994] ppid=23991 vsize=29152 CPUtime=1482.14 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 19242 0 0 0 148214 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4947340 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 1482.14
Current children cumulated vsize (KiB) 29152
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.03 3/181 24103
/proc/meminfo: memFree=31702728/32770624 swapFree=0/337688
[pid=23994] ppid=23991 vsize=29152 CPUtime=1542.14 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 19819 0 0 0 154214 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5025380 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 29152
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/181 24105
/proc/meminfo: memFree=31703068/32770624 swapFree=0/337720
[pid=23994] ppid=23991 vsize=29152 CPUtime=1602.14 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 20396 0 0 0 160214 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5025409 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 29152
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/185 24122
/proc/meminfo: memFree=31699840/32770624 swapFree=0/337776
[pid=23994] ppid=23991 vsize=29152 CPUtime=1662.14 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 20979 0 0 0 166214 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5125654 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 29152
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/185 24124
/proc/meminfo: memFree=31700452/32770624 swapFree=0/337808
[pid=23994] ppid=23991 vsize=29152 CPUtime=1722.13 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 21506 0 0 0 172213 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5125648 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 29152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/182 24126
/proc/meminfo: memFree=31702936/32770624 swapFree=0/337848
[pid=23994] ppid=23991 vsize=29152 CPUtime=1782.13 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 22102 0 0 0 178213 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4892742 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 29152
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/182 24128
/proc/meminfo: memFree=31703432/32770624 swapFree=0/337876
[pid=23994] ppid=23991 vsize=29152 CPUtime=1842.13 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 22683 0 0 0 184213 0 0 0 20 0 1 0 4254696 29851648 1461 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4893939 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7288 1461 763 380 0 706 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 29152
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/182 24130
/proc/meminfo: memFree=31703688/32770624 swapFree=0/337900
[pid=23994] ppid=23991 vsize=29284 CPUtime=1902.13 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 23314 0 0 0 190213 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4949602 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 29284
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 24132
/proc/meminfo: memFree=31704060/32770624 swapFree=0/337940
[pid=23994] ppid=23991 vsize=29284 CPUtime=1962.12 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 23870 0 0 0 196212 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5025407 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 29284
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 24134
/proc/meminfo: memFree=31703932/32770624 swapFree=0/337964
[pid=23994] ppid=23991 vsize=29284 CPUtime=2022.12 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 24426 0 0 0 202212 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131393016 4949024 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 29284
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 24136
/proc/meminfo: memFree=31704036/32770624 swapFree=0/338000
[pid=23994] ppid=23991 vsize=29284 CPUtime=2082.12 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 25010 0 0 0 208212 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131393016 5025344 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 29284
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24138
/proc/meminfo: memFree=31703912/32770624 swapFree=0/338036
[pid=23994] ppid=23991 vsize=29284 CPUtime=2142.12 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 25638 0 0 0 214212 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4893936 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 29284
[startup+2202.31 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 24204
/proc/meminfo: memFree=31705528/32770624 swapFree=0/338116
[pid=23994] ppid=23991 vsize=29284 CPUtime=2202.12 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 26165 0 0 0 220212 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4894030 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 29284
[startup+2262.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 24221
/proc/meminfo: memFree=31701144/32770624 swapFree=0/338240
[pid=23994] ppid=23991 vsize=29284 CPUtime=2262.11 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 26749 0 0 0 226211 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4918003 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 29284
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 24223
/proc/meminfo: memFree=31700916/32770624 swapFree=0/338312
[pid=23994] ppid=23991 vsize=29284 CPUtime=2322.11 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 27274 0 0 0 232211 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4892793 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 29284
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 24225
/proc/meminfo: memFree=31703700/32770624 swapFree=0/338356
[pid=23994] ppid=23991 vsize=29284 CPUtime=2382.11 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 27801 0 0 0 238211 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4894018 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 29284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 24225
/proc/meminfo: memFree=31703824/32770624 swapFree=0/338368
[pid=23994] ppid=23991 vsize=29284 CPUtime=2400.01 cores=1,3,5,7
/proc/23994/stat : 23994 (cosoco) R 23991 23994 21827 0 -1 4202496 28325 0 0 0 240001 0 0 0 20 0 1 0 4254696 29986816 1462 18446744073709551615 4194304 5747388 140732131405744 140732131403272 4894030 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 7845728 7850568 15589376 140732131410415 140732131410510 140732131410510 140732131413966 0
/proc/23994/statm: 7321 1462 763 380 0 739 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 29284
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 23994 sig 9
??? kill -23994 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.02
CPU user time (s): 2400.02
CPU system time (s): 0.006999
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 29284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.006999
maximum resident set size= 5924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28407
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= 631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42783 second user time and 7.30402 second system time
The end