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-4259867-1502017758/watcher-4259867-1502017758 -o /tmp/evaluation-result-4259867-1502017758/solver-4259867-1502017758 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21395 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259867-1502017758.xml
pid=21754
running on 4 cores: 0,2,4,6
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.03 2.04 3/180 21757
/proc/meminfo: memFree=31764460/32770624 swapFree=0/310700
[pid=21757] ppid=21754 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21757/stat : 21757 (runsolver) D 21754 21757 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3969587 24240128 106 18446744073709551615 4194304 4338465 140734754432528 140734754430168 140495173075671 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 17567744 140734754435266 140734754435658 140734754435658 140734754439114 0
/proc/21757/statm: 5918 106 53 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 2.01 2.03 2.04 3/180 21757
/proc/meminfo: memFree=31764460/32770624 swapFree=0/310700
[pid=21757] ppid=21754 vsize=26908 CPUtime=0.02 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1008 0 0 0 2 0 0 0 20 0 1 0 3969587 27553792 825 18446744073709551615 4194304 5747388 140734556694576 140734556678360 139658578662205 0 0 1 0 0 0 0 17 6 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6727 825 717 380 0 145 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26908
[startup+0.201103 s]
/proc/loadavg: 2.01 2.03 2.04 3/180 21757
/proc/meminfo: memFree=31764460/32770624 swapFree=0/310700
[pid=21757] ppid=21754 vsize=27028 CPUtime=0.12 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1031 0 0 0 12 0 0 0 20 0 1 0 3969587 27676672 871 18446744073709551615 4194304 5747388 140734556694576 140734556678360 139658587990176 0 0 1 0 0 0 0 17 6 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 871 733 380 0 175 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 27028
[startup+0.301102 s]
/proc/loadavg: 2.01 2.03 2.04 3/180 21757
/proc/meminfo: memFree=31764460/32770624 swapFree=0/310700
[pid=21757] ppid=21754 vsize=27028 CPUtime=0.22 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1072 0 0 0 22 0 0 0 20 0 1 0 3969587 27676672 871 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5121272 0 0 1 8405026 0 0 0 17 6 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 871 733 380 0 175 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 27028
[startup+0.70028 s]
/proc/loadavg: 2.01 2.03 2.04 3/180 21757
/proc/meminfo: memFree=31764460/32770624 swapFree=0/310700
[pid=21757] ppid=21754 vsize=27028 CPUtime=0.62 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1072 0 0 0 62 0 0 0 20 0 1 0 3969587 27676672 871 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4978408 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 871 733 380 0 175 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 27028
[startup+1.50027 s]
/proc/loadavg: 2.01 2.03 2.04 3/181 21758
/proc/meminfo: memFree=31760360/32770624 swapFree=0/310692
[pid=21757] ppid=21754 vsize=27028 CPUtime=1.42 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1072 0 0 0 142 0 0 0 20 0 1 0 3969587 27676672 871 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4872987 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 871 733 380 0 175 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 27028
[startup+3.10028 s]
/proc/loadavg: 2.01 2.03 2.04 3/181 21758
/proc/meminfo: memFree=31757084/32770624 swapFree=0/310704
[pid=21757] ppid=21754 vsize=27028 CPUtime=3.02 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1144 0 0 0 302 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142941 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 27028
[startup+6.30027 s]
/proc/loadavg: 2.01 2.03 2.04 3/181 21758
/proc/meminfo: memFree=31748044/32770624 swapFree=0/310712
[pid=21757] ppid=21754 vsize=27028 CPUtime=6.22 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1212 0 0 0 622 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4872840 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 27028
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.04 3/181 21758
/proc/meminfo: memFree=31729072/32770624 swapFree=0/310720
[pid=21757] ppid=21754 vsize=27028 CPUtime=12.62 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1285 0 0 0 1262 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4978421 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 27028
[startup+25.5003 s]
/proc/loadavg: 2.08 2.05 2.04 3/181 21758
/proc/meminfo: memFree=31692868/32770624 swapFree=0/310748
[pid=21757] ppid=21754 vsize=27028 CPUtime=25.42 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1426 0 0 0 2542 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5121248 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 27028
[startup+51.1003 s]
/proc/loadavg: 2.13 2.06 2.05 3/181 21759
/proc/meminfo: memFree=31622420/32770624 swapFree=0/310788
[pid=21757] ppid=21754 vsize=27028 CPUtime=51.01 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1498 0 0 0 5101 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4872840 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 27028
[startup+102.3 s]
/proc/loadavg: 2.18 2.08 2.05 3/181 21761
/proc/meminfo: memFree=31613280/32770624 swapFree=0/310824
[pid=21757] ppid=21754 vsize=27028 CPUtime=102.21 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1570 0 0 0 10221 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5000032 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 27028
[startup+162.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/181 21763
/proc/meminfo: memFree=31612392/32770624 swapFree=0/310844
[pid=21757] ppid=21754 vsize=27028 CPUtime=162.2 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1638 0 0 0 16220 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5000064 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 27028
[startup+222.306 s]
/proc/loadavg: 2.02 2.06 2.05 3/181 21766
/proc/meminfo: memFree=31612200/32770624 swapFree=0/310876
[pid=21757] ppid=21754 vsize=27028 CPUtime=222.2 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1706 0 0 0 22220 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5000064 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 27028
[startup+282.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/181 21768
/proc/meminfo: memFree=31612084/32770624 swapFree=0/310900
[pid=21757] ppid=21754 vsize=27028 CPUtime=282.19 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1774 0 0 0 28219 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142941 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 27028
[startup+342.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/184 21784
/proc/meminfo: memFree=31607956/32770624 swapFree=0/310944
[pid=21757] ppid=21754 vsize=27028 CPUtime=342.19 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1842 0 0 0 34219 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5127053 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 27028
[startup+402.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/185 21811
/proc/meminfo: memFree=31607288/32770624 swapFree=0/311008
[pid=21757] ppid=21754 vsize=27028 CPUtime=402.18 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1910 0 0 0 40218 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142953 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 27028
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 21813
/proc/meminfo: memFree=31610032/32770624 swapFree=0/311028
[pid=21757] ppid=21754 vsize=27028 CPUtime=462.17 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 1978 0 0 0 46217 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142941 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 27028
[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 21815
/proc/meminfo: memFree=31610792/32770624 swapFree=0/311052
[pid=21757] ppid=21754 vsize=27028 CPUtime=522.17 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 2046 0 0 0 52217 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4872885 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 27028
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 21817
/proc/meminfo: memFree=31611156/32770624 swapFree=0/311080
[pid=21757] ppid=21754 vsize=27028 CPUtime=582.16 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 2114 0 0 0 58216 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142941 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 27028
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 21860
/proc/meminfo: memFree=31611220/32770624 swapFree=0/311428
[pid=21757] ppid=21754 vsize=27028 CPUtime=1482.07 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3134 0 0 0 148207 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4978512 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 27028
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 21876
/proc/meminfo: memFree=31606752/32770624 swapFree=0/311492
[pid=21757] ppid=21754 vsize=27028 CPUtime=1542.07 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3202 0 0 0 154207 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5126223 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 27028
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 21878
/proc/meminfo: memFree=31610000/32770624 swapFree=0/311516
[pid=21757] ppid=21754 vsize=27028 CPUtime=1602.06 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3270 0 0 0 160206 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5009822 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 27028
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 21880
/proc/meminfo: memFree=31610124/32770624 swapFree=0/311536
[pid=21757] ppid=21754 vsize=27028 CPUtime=1662.05 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3338 0 0 0 166205 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4872832 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 27028
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 21904
/proc/meminfo: memFree=31609788/32770624 swapFree=0/311560
[pid=21757] ppid=21754 vsize=27028 CPUtime=1722.04 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3406 0 0 0 172204 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142927 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 27028
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21906
/proc/meminfo: memFree=31612160/32770624 swapFree=0/311592
[pid=21757] ppid=21754 vsize=27028 CPUtime=1782.04 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3474 0 0 0 178204 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5000064 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 27028
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21909
/proc/meminfo: memFree=31611912/32770624 swapFree=0/311628
[pid=21757] ppid=21754 vsize=27028 CPUtime=1842.03 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3542 0 0 0 184203 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4872847 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 27028
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21911
/proc/meminfo: memFree=31610608/32770624 swapFree=0/311648
[pid=21757] ppid=21754 vsize=27028 CPUtime=1902.03 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3610 0 0 0 190203 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142941 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1902.03
Current children cumulated vsize (KiB) 27028
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21913
/proc/meminfo: memFree=31610104/32770624 swapFree=0/311668
[pid=21757] ppid=21754 vsize=27028 CPUtime=1962.02 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3678 0 0 0 196202 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4873333 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 27028
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21916
/proc/meminfo: memFree=31609856/32770624 swapFree=0/311696
[pid=21757] ppid=21754 vsize=27028 CPUtime=2022.01 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3746 0 0 0 202201 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5133923 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 27028
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 21918
/proc/meminfo: memFree=31609864/32770624 swapFree=0/311720
[pid=21757] ppid=21754 vsize=27028 CPUtime=2082.01 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3814 0 0 0 208201 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142941 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 27028
[startup+2142.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/184 21934
/proc/meminfo: memFree=31605344/32770624 swapFree=0/311768
[pid=21757] ppid=21754 vsize=27028 CPUtime=2142 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3882 0 0 0 214200 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5142941 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 27028
[startup+2202.31 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 21936
/proc/meminfo: memFree=31609092/32770624 swapFree=0/311792
[pid=21757] ppid=21754 vsize=27028 CPUtime=2202 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 3950 0 0 0 220200 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4978384 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 2202
Current children cumulated vsize (KiB) 27028
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 21938
/proc/meminfo: memFree=31609464/32770624 swapFree=0/311808
[pid=21757] ppid=21754 vsize=27028 CPUtime=2261.98 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 4018 0 0 0 226198 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5126727 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 27028
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 21940
/proc/meminfo: memFree=31609592/32770624 swapFree=0/311836
[pid=21757] ppid=21754 vsize=27028 CPUtime=2321.98 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 4086 0 0 0 232198 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4978482 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 27028
[startup+2382.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 21942
/proc/meminfo: memFree=31609212/32770624 swapFree=0/311856
[pid=21757] ppid=21754 vsize=27028 CPUtime=2381.97 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 4154 0 0 0 238197 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 4978408 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 27028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 5/194 21972
/proc/meminfo: memFree=31559896/32770624 swapFree=0/311896
[pid=21757] ppid=21754 vsize=27028 CPUtime=2400.07 cores=0,2,4,6
/proc/21757/stat : 21757 (cosoco) R 21754 21757 20633 0 -1 4202496 4222 0 0 0 240007 0 0 0 20 0 1 0 3969587 27676672 913 18446744073709551615 4194304 5747388 140734556694576 140734556691976 5127065 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 7845728 7850568 29396992 140734556697071 140734556697166 140734556697166 140734556700622 0
/proc/21757/statm: 6757 913 771 380 0 175 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 27028
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 21757 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.08
CPU user time (s): 2400.07
CPU system time (s): 0.006999
CPU usage (%): 99.9867
Max. virtual memory (cumulated for all children) (KiB): 27028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.006999
maximum resident set size= 3728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4274
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= 6
involuntary context switches= 3992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69119 second user time and 8.27043 second system time
The end