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-4267945-1502504264/watcher-4267945-1502504264 -o /tmp/evaluation-result-4267945-1502504264/solver-4267945-1502504264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267945-1502504264.xml
pid=22862
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: 0.24 0.10 0.10 3/182 22865
/proc/meminfo: memFree=31245476/32770624 swapFree=0/516176
[pid=22865] ppid=22862 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22865/stat : 22865 (runsolver) D 22862 22865 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 52647197 24240128 106 18446744073709551615 4194304 4338465 140728765614624 140728765612264 139920969069271 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 33345536 140728765616321 140728765616713 140728765616713 140728765620170 0
/proc/22865/statm: 5918 106 53 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 0.24 0.10 0.10 3/182 22865
/proc/meminfo: memFree=31245476/32770624 swapFree=0/516176
[pid=22865] ppid=22862 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22865/stat : 22865 (runsolver) D 22862 22865 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 52647197 24240128 106 18446744073709551615 4194304 4338465 140728765614624 140728765612264 139920969069271 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 33345536 140728765616321 140728765616713 140728765616713 140728765620170 0
/proc/22865/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200275 s]
/proc/loadavg: 0.24 0.10 0.10 3/182 22865
/proc/meminfo: memFree=31245476/32770624 swapFree=0/516176
[pid=22865] ppid=22862 vsize=27392 CPUtime=0.07 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1107 0 0 0 7 0 0 0 20 0 1 0 52647197 28049408 898 18446744073709551615 4194304 5972588 140736307866704 140736307864280 4976573 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 898 735 435 0 211 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27392
[startup+0.302033 s]
/proc/loadavg: 0.24 0.10 0.10 3/182 22865
/proc/meminfo: memFree=31245476/32770624 swapFree=0/516176
[pid=22865] ppid=22862 vsize=27392 CPUtime=0.18 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1108 0 0 0 18 0 0 0 20 0 1 0 52647197 28049408 898 18446744073709551615 4194304 5972588 140736307866704 140736307864280 4977069 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 898 735 435 0 211 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 27392
[startup+0.700173 s]
/proc/loadavg: 0.24 0.10 0.10 3/182 22865
/proc/meminfo: memFree=31245476/32770624 swapFree=0/516176
[pid=22865] ppid=22862 vsize=27392 CPUtime=0.57 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1109 0 0 0 57 0 0 0 20 0 1 0 52647197 28049408 898 18446744073709551615 4194304 5972588 140736307866704 140736307864280 4977572 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 898 735 435 0 211 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 27392
[startup+1.50017 s]
/proc/loadavg: 0.24 0.10 0.10 3/183 22866
/proc/meminfo: memFree=31244700/32770624 swapFree=0/516168
[pid=22865] ppid=22862 vsize=27392 CPUtime=1.37 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1109 0 0 0 137 0 0 0 20 0 1 0 52647197 28049408 898 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975726 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 898 735 435 0 211 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 27392
[startup+3.10022 s]
/proc/loadavg: 0.24 0.10 0.10 3/183 22866
/proc/meminfo: memFree=31244296/32770624 swapFree=0/516168
[pid=22865] ppid=22862 vsize=27392 CPUtime=2.97 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1229 0 0 0 297 0 0 0 20 0 1 0 52647197 28049408 950 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4978114 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 950 769 435 0 211 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 27392
[startup+6.30022 s]
/proc/loadavg: 0.38 0.13 0.11 3/183 22866
/proc/meminfo: memFree=31244796/32770624 swapFree=0/516168
[pid=22865] ppid=22862 vsize=27392 CPUtime=6.17 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1349 0 0 0 617 0 0 0 20 0 1 0 52647197 28049408 950 18446744073709551615 4194304 5972588 140736307866704 140736307864008 5328641 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 950 769 435 0 211 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 27392
[startup+12.7002 s]
/proc/loadavg: 0.51 0.16 0.12 3/183 22866
/proc/meminfo: memFree=31244336/32770624 swapFree=0/516168
[pid=22865] ppid=22862 vsize=27392 CPUtime=12.58 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1469 0 0 0 1258 0 0 0 20 0 1 0 52647197 28049408 950 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4976585 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 950 769 435 0 211 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 27392
[startup+25.5003 s]
/proc/loadavg: 0.84 0.25 0.15 3/183 22867
/proc/meminfo: memFree=31245008/32770624 swapFree=0/516168
[pid=22865] ppid=22862 vsize=27392 CPUtime=25.38 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1710 0 0 0 2538 0 0 0 20 0 1 0 52647197 28049408 951 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975784 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 951 769 435 0 211 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 27392
[startup+51.1003 s]
/proc/loadavg: 1.24 0.39 0.20 3/183 22867
/proc/meminfo: memFree=31245220/32770624 swapFree=0/516160
[pid=22865] ppid=22862 vsize=27392 CPUtime=50.98 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1836 0 0 0 5098 0 0 0 20 0 1 0 52647197 28049408 953 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4978749 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 953 769 435 0 211 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 27392
[startup+102.3 s]
/proc/loadavg: 1.67 0.64 0.30 3/182 22869
/proc/meminfo: memFree=31244756/32770624 swapFree=0/516168
[pid=22865] ppid=22862 vsize=27392 CPUtime=102.19 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 1959 0 0 0 10219 0 0 0 20 0 1 0 52647197 28049408 953 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975870 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 953 769 435 0 211 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 27392
[startup+162.3 s]
/proc/loadavg: 1.88 0.89 0.40 3/181 22871
/proc/meminfo: memFree=31244232/32770624 swapFree=0/516176
[pid=22865] ppid=22862 vsize=27392 CPUtime=162.19 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 2082 0 0 0 16219 0 0 0 20 0 1 0 52647197 28049408 953 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975104 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 953 769 435 0 211 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 27392
[startup+222.306 s]
/proc/loadavg: 2.07 1.12 0.51 3/181 22873
/proc/meminfo: memFree=31244252/32770624 swapFree=0/516192
[pid=22865] ppid=22862 vsize=27392 CPUtime=222.2 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 2205 0 0 0 22220 0 0 0 20 0 1 0 52647197 28049408 953 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4976010 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 953 769 435 0 211 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 27392
[startup+282.3 s]
/proc/loadavg: 2.07 1.30 0.61 3/181 22875
/proc/meminfo: memFree=31244260/32770624 swapFree=0/516204
[pid=22865] ppid=22862 vsize=27392 CPUtime=282.2 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 2206 0 0 0 28220 0 0 0 20 0 1 0 52647197 28049408 953 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4978820 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 953 769 435 0 211 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 27392
[startup+342.3 s]
/proc/loadavg: 2.02 1.42 0.70 3/181 22877
/proc/meminfo: memFree=31244004/32770624 swapFree=0/516220
[pid=22865] ppid=22862 vsize=27392 CPUtime=342.21 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 2330 0 0 0 34221 0 0 0 20 0 1 0 52647197 28049408 954 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975884 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 954 769 435 0 211 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 27392
[startup+402.3 s]
/proc/loadavg: 2.01 1.53 0.78 3/183 22893
/proc/meminfo: memFree=31240396/32770624 swapFree=0/516248
[pid=22865] ppid=22862 vsize=27392 CPUtime=402.22 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 2330 0 0 0 40222 0 0 0 20 0 1 0 52647197 28049408 954 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975884 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 954 769 435 0 211 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 27392
[startup+462.3 s]
/proc/loadavg: 2.00 1.61 0.86 3/184 22896
/proc/meminfo: memFree=31238620/32770624 swapFree=0/516272
[pid=22865] ppid=22862 vsize=27392 CPUtime=462.22 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 2454 0 0 0 46222 0 0 0 20 0 1 0 52647197 28049408 954 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4978710 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 954 769 435 0 211 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 27392
[startup+522.3 s]
/proc/loadavg: 2.00 1.68 0.93 3/181 22898
/proc/meminfo: memFree=31242116/32770624 swapFree=0/516280
[pid=22865] ppid=22862 vsize=27392 CPUtime=522.23 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 2454 0 0 0 52223 0 0 0 20 0 1 0 52647197 28049408 954 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4978728 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 954 769 435 0 211 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 27392
[startup+582.3 s]
/proc/loadavg: 2.05 1.76 1.00 3/181 22900
/proc/meminfo: memFree=31242540/32770624 swapFree=0/516296
[pid=22865] ppid=22862 vsize=27392 CPUtime=582.24 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 2578 0 0 0 58224 0 0 0 20 0 1 0 52647197 28049408 954 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4978710 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 954 769 435 0 211 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 27392
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.70 3/185 22967
/proc/meminfo: memFree=31238528/32770624 swapFree=0/516528
[pid=22865] ppid=22862 vsize=27392 CPUtime=1662.35 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 3682 0 0 0 166235 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4977737 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 27392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/182 22969
/proc/meminfo: memFree=31242552/32770624 swapFree=0/516552
[pid=22865] ppid=22862 vsize=27392 CPUtime=1722.35 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 3682 0 0 0 172235 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975647 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 27392
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.74 3/182 22971
/proc/meminfo: memFree=31241568/32770624 swapFree=0/516548
[pid=22865] ppid=22862 vsize=27392 CPUtime=1782.36 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 3792 0 0 0 178236 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975622 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 27392
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 1.75 3/182 22973
/proc/meminfo: memFree=31241700/32770624 swapFree=0/516548
[pid=22865] ppid=22862 vsize=27392 CPUtime=1842.36 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 3806 0 0 0 184236 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975696 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 27392
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 1.77 3/181 22975
/proc/meminfo: memFree=31241352/32770624 swapFree=0/516556
[pid=22865] ppid=22862 vsize=27392 CPUtime=1902.37 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 3916 0 0 0 190237 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975870 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 1902.37
Current children cumulated vsize (KiB) 27392
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/181 22977
/proc/meminfo: memFree=31242108/32770624 swapFree=0/516568
[pid=22865] ppid=22862 vsize=27392 CPUtime=1962.38 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 3916 0 0 0 196238 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4978099 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 27392
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/181 22979
/proc/meminfo: memFree=31242496/32770624 swapFree=0/516572
[pid=22865] ppid=22862 vsize=27392 CPUtime=2022.38 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4040 0 0 0 202238 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4976614 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2022.38
Current children cumulated vsize (KiB) 27392
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/181 22981
/proc/meminfo: memFree=31242212/32770624 swapFree=0/516580
[pid=22865] ppid=22862 vsize=27392 CPUtime=2082.39 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4040 0 0 0 208239 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975598 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2082.39
Current children cumulated vsize (KiB) 27392
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/181 22983
/proc/meminfo: memFree=31242220/32770624 swapFree=0/516592
[pid=22865] ppid=22862 vsize=27392 CPUtime=2142.39 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4150 0 0 0 214239 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 5322970 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2142.39
Current children cumulated vsize (KiB) 27392
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 1.84 3/185 23000
/proc/meminfo: memFree=31238432/32770624 swapFree=0/516628
[pid=22865] ppid=22862 vsize=27392 CPUtime=2202.4 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4164 0 0 0 220240 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975685 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2202.4
Current children cumulated vsize (KiB) 27392
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/185 23002
/proc/meminfo: memFree=31238312/32770624 swapFree=0/516644
[pid=22865] ppid=22862 vsize=27392 CPUtime=2262.41 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4275 0 0 0 226241 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975884 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2262.41
Current children cumulated vsize (KiB) 27392
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 1.86 3/182 23004
/proc/meminfo: memFree=31241348/32770624 swapFree=0/516656
[pid=22865] ppid=22862 vsize=27392 CPUtime=2322.41 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4288 0 0 0 232241 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975143 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2322.41
Current children cumulated vsize (KiB) 27392
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 1.87 3/182 23006
/proc/meminfo: memFree=31241232/32770624 swapFree=0/516680
[pid=22865] ppid=22862 vsize=27392 CPUtime=2382.42 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4399 0 0 0 238242 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4976614 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2382.42
Current children cumulated vsize (KiB) 27392
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 1.88 3/182 23008
/proc/meminfo: memFree=31241240/32770624 swapFree=0/516692
[pid=22865] ppid=22862 vsize=27392 CPUtime=2442.42 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4399 0 0 0 244242 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4975114 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2442.42
Current children cumulated vsize (KiB) 27392
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/181 23010
/proc/meminfo: memFree=31241764/32770624 swapFree=0/516696
[pid=22865] ppid=22862 vsize=27392 CPUtime=2502.43 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4523 0 0 0 250243 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4978839 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2502.43
Current children cumulated vsize (KiB) 27392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 1.88 3/181 23010
/proc/meminfo: memFree=31241888/32770624 swapFree=0/516692
[pid=22865] ppid=22862 vsize=27392 CPUtime=2520.03 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4523 0 0 0 252003 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4977689 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 27392
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 22865 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 1.88 3/181 23010
/proc/meminfo: memFree=31241888/32770624 swapFree=0/516692
[pid=22865] ppid=22862 vsize=27392 CPUtime=2520.03 cores=1,3,5,7
/proc/22865/stat : 22865 (cosoco) R 22862 22865 21984 0 -1 4202496 4523 0 0 0 252003 0 0 0 20 0 1 0 52647197 28049408 955 18446744073709551615 4194304 5972588 140736307866704 140736307864008 4977689 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 28909568 140736307872238 140736307872333 140736307872333 140736307875790 0
/proc/22865/statm: 6848 955 769 435 0 211 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 27392
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2520.04
CPU system time (s): 0.003403
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 27392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.003403
maximum resident set size= 3896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4563
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= 632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48241 second user time and 8.61206 second system time
The end