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-4267508-1502553958/watcher-4267508-1502553958 -o /tmp/evaluation-result-4267508-1502553958/solver-4267508-1502553958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267508-1502553958.xml
pid=10578
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.05 2/182 10581
/proc/meminfo: memFree=31493988/32770624 swapFree=0/472476
[pid=10581] ppid=10578 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10581/stat : 10581 (runsolver) D 10578 10581 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 43736447 24240128 108 18446744073709551615 4194304 4338465 140725047828704 140725047826344 140021537047255 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 17104896 140725047836865 140725047837257 140725047837257 140725047840714 0
/proc/10581/statm: 5918 108 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.00 2.03 2.05 2/182 10581
/proc/meminfo: memFree=31493988/32770624 swapFree=0/472476
[pid=10581] ppid=10578 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10581/stat : 10581 (runsolver) D 10578 10581 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 43736447 24240128 108 18446744073709551615 4194304 4338465 140725047828704 140725047826344 140021537047255 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 17104896 140725047836865 140725047837257 140725047837257 140725047840714 0
/proc/10581/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200324 s]
/proc/loadavg: 2.00 2.03 2.05 2/182 10581
/proc/meminfo: memFree=31493988/32770624 swapFree=0/472476
[pid=10581] ppid=10578 vsize=39212 CPUtime=0.08 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 4287 0 0 0 8 0 0 0 20 0 1 0 43736447 40153088 3585 18446744073709551615 4194304 5972588 140730447592560 140730447589208 140029208161831 0 0 1 0 0 0 0 17 1 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 9803 3585 717 435 0 3166 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39212
[startup+0.300326 s]
/proc/loadavg: 2.00 2.03 2.05 2/182 10581
/proc/meminfo: memFree=31493988/32770624 swapFree=0/472476
[pid=10581] ppid=10578 vsize=47252 CPUtime=0.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 7428 0 0 0 18 0 0 0 20 0 1 0 43736447 48386048 5777 18446744073709551615 4194304 5972588 140730447592560 140730447587096 5139312 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 11813 5777 822 435 0 5176 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 47252
[startup+0.700272 s]
/proc/loadavg: 2.00 2.03 2.05 2/182 10581
/proc/meminfo: memFree=31493988/32770624 swapFree=0/472476
[pid=10581] ppid=10578 vsize=47252 CPUtime=0.58 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 7428 0 0 0 58 0 0 0 20 0 1 0 43736447 48386048 5777 18446744073709551615 4194304 5972588 140730447592560 140730447587096 5139312 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 11813 5777 822 435 0 5176 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 47252
[startup+1.50028 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 10582
/proc/meminfo: memFree=31474236/32770624 swapFree=0/472428
[pid=10581] ppid=10578 vsize=47252 CPUtime=1.38 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 7428 0 0 0 138 0 0 0 20 0 1 0 43736447 48386048 5777 18446744073709551615 4194304 5972588 140730447592560 140730447579768 5328649 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 11813 5777 822 435 0 5176 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 47252
[startup+3.10027 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 10582
/proc/meminfo: memFree=31473864/32770624 swapFree=0/472472
[pid=10581] ppid=10578 vsize=47252 CPUtime=2.98 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 11020 0 0 0 298 0 0 0 20 0 1 0 43736447 48386048 5808 18446744073709551615 4194304 5972588 140730447592560 140730447579768 5139327 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 11813 5808 853 435 0 5176 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 47252
[startup+6.30027 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 10582
/proc/meminfo: memFree=31475216/32770624 swapFree=0/472476
[pid=10581] ppid=10578 vsize=47252 CPUtime=6.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 15623 0 0 0 617 1 0 0 20 0 1 0 43736447 48386048 5810 18446744073709551615 4194304 5972588 140730447592560 140730447579768 5139329 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 11813 5810 855 435 0 5176 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 47252
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 10582
/proc/meminfo: memFree=31474340/32770624 swapFree=0/472476
[pid=10581] ppid=10578 vsize=48316 CPUtime=12.58 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 20494 0 0 0 1257 1 0 0 20 0 1 0 43736447 49475584 6044 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139327 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12079 6044 855 435 0 5442 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 48316
[startup+25.5004 s]
/proc/loadavg: 1.93 2.01 2.04 3/182 10582
/proc/meminfo: memFree=31474028/32770624 swapFree=0/472484
[pid=10581] ppid=10578 vsize=48316 CPUtime=25.38 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 21178 0 0 0 2537 1 0 0 20 0 1 0 43736447 49475584 6076 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12079 6076 855 435 0 5442 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 48316
[startup+51.1004 s]
/proc/loadavg: 1.95 2.01 2.04 3/182 10583
/proc/meminfo: memFree=31473904/32770624 swapFree=0/472480
[pid=10581] ppid=10578 vsize=48316 CPUtime=50.98 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 21293 0 0 0 5097 1 0 0 20 0 1 0 43736447 49475584 6081 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12079 6081 855 435 0 5442 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 48316
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 10585
/proc/meminfo: memFree=31473420/32770624 swapFree=0/472492
[pid=10581] ppid=10578 vsize=48816 CPUtime=102.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 21626 0 0 0 10217 1 0 0 20 0 1 0 43736447 49987584 6198 18446744073709551615 4194304 5972588 140730447592560 140730447589160 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12204 6198 855 435 0 5567 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 48816
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 10587
/proc/meminfo: memFree=31473112/32770624 swapFree=0/472496
[pid=10581] ppid=10578 vsize=49100 CPUtime=162.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 21868 0 0 0 16217 1 0 0 20 0 1 0 43736447 50278400 6239 18446744073709551615 4194304 5972588 140730447592560 140730447589240 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12275 6239 855 435 0 5638 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 49100
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 10590
/proc/meminfo: memFree=31472384/32770624 swapFree=0/472516
[pid=10581] ppid=10578 vsize=49100 CPUtime=222.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 22218 0 0 0 22217 1 0 0 20 0 1 0 43736447 50278400 6241 18446744073709551615 4194304 5972588 140730447592560 140730447589240 5139327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12275 6241 855 435 0 5638 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 49100
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 10592
/proc/meminfo: memFree=31472384/32770624 swapFree=0/472524
[pid=10581] ppid=10578 vsize=49100 CPUtime=282.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 22473 0 0 0 28217 1 0 0 20 0 1 0 43736447 50278400 6266 18446744073709551615 4194304 5972588 140730447592560 140730447589240 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12275 6266 855 435 0 5638 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 49100
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 10594
/proc/meminfo: memFree=31472572/32770624 swapFree=0/472532
[pid=10581] ppid=10578 vsize=49100 CPUtime=342.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 22802 0 0 0 34217 1 0 0 20 0 1 0 43736447 50278400 6267 18446744073709551615 4194304 5972588 140730447592560 140730447589240 5032400 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12275 6267 855 435 0 5638 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49100
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 10597
/proc/meminfo: memFree=31472192/32770624 swapFree=0/472548
[pid=10581] ppid=10578 vsize=49100 CPUtime=402.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 23129 0 0 0 40217 1 0 0 20 0 1 0 43736447 50278400 6269 18446744073709551615 4194304 5972588 140730447592560 140730447589240 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12275 6269 855 435 0 5638 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49100
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 10599
/proc/meminfo: memFree=31472248/32770624 swapFree=0/472548
[pid=10581] ppid=10578 vsize=49100 CPUtime=462.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 23363 0 0 0 46217 1 0 0 20 0 1 0 43736447 50278400 6269 18446744073709551615 4194304 5972588 140730447592560 140730447589240 5139327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12275 6269 855 435 0 5638 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 49100
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 10615
/proc/meminfo: memFree=31468396/32770624 swapFree=0/472572
[pid=10581] ppid=10578 vsize=49100 CPUtime=522.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 23592 0 0 0 52217 1 0 0 20 0 1 0 43736447 50278400 6269 18446744073709551615 4194304 5972588 140730447592560 140730447589240 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12275 6269 855 435 0 5638 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 49100
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 10641
/proc/meminfo: memFree=31467064/32770624 swapFree=0/472608
[pid=10581] ppid=10578 vsize=49100 CPUtime=582.18 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 23932 0 0 0 58217 1 0 0 20 0 1 0 43736447 50278400 6269 18446744073709551615 4194304 5972588 140730447592560 140730447589240 5032423 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12275 6269 855 435 0 5638 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 49100
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 2.06 3/181 10690
/proc/meminfo: memFree=31471264/32770624 swapFree=0/472792
[pid=10581] ppid=10578 vsize=49232 CPUtime=1602.21 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 27955 0 0 0 160219 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 49232
[startup+1662.3 s]
/proc/loadavg: 2.04 2.07 2.05 3/181 10692
/proc/meminfo: memFree=31471516/32770624 swapFree=0/472796
[pid=10581] ppid=10578 vsize=49232 CPUtime=1662.21 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 28186 0 0 0 166219 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 49232
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/185 10709
/proc/meminfo: memFree=31467512/32770624 swapFree=0/472796
[pid=10581] ppid=10578 vsize=49232 CPUtime=1722.21 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 28416 0 0 0 172219 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 49232
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/185 10711
/proc/meminfo: memFree=31467052/32770624 swapFree=0/472824
[pid=10581] ppid=10578 vsize=49232 CPUtime=1782.21 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 28647 0 0 0 178219 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 49232
[startup+1842.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/182 10713
/proc/meminfo: memFree=31471020/32770624 swapFree=0/472832
[pid=10581] ppid=10578 vsize=49232 CPUtime=1842.21 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 28877 0 0 0 184219 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 1842.21
Current children cumulated vsize (KiB) 49232
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 10715
/proc/meminfo: memFree=31471024/32770624 swapFree=0/472836
[pid=10581] ppid=10578 vsize=49232 CPUtime=1902.21 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 29108 0 0 0 190219 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5032400 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 1902.21
Current children cumulated vsize (KiB) 49232
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 10717
/proc/meminfo: memFree=31471360/32770624 swapFree=0/472856
[pid=10581] ppid=10578 vsize=49232 CPUtime=1962.21 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 29339 0 0 0 196219 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 1962.21
Current children cumulated vsize (KiB) 49232
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10720
/proc/meminfo: memFree=31470828/32770624 swapFree=0/472868
[pid=10581] ppid=10578 vsize=49232 CPUtime=2022.22 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 29571 0 0 0 202220 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139319 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 49232
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10722
/proc/meminfo: memFree=31470968/32770624 swapFree=0/472880
[pid=10581] ppid=10578 vsize=49232 CPUtime=2082.22 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 29801 0 0 0 208220 2 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 49232
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 10724
/proc/meminfo: memFree=31470904/32770624 swapFree=0/472888
[pid=10581] ppid=10578 vsize=49232 CPUtime=2142.23 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 30031 0 0 0 214220 3 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 2142.23
Current children cumulated vsize (KiB) 49232
[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 10727
/proc/meminfo: memFree=31471124/32770624 swapFree=0/472908
[pid=10581] ppid=10578 vsize=49232 CPUtime=2202.23 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 30262 0 0 0 220220 3 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 49232
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 10789
/proc/meminfo: memFree=31465960/32770624 swapFree=0/472892
[pid=10581] ppid=10578 vsize=49232 CPUtime=2262.23 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 30493 0 0 0 226220 3 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 2262.23
Current children cumulated vsize (KiB) 49232
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/185 10806
/proc/meminfo: memFree=31461768/32770624 swapFree=0/472928
[pid=10581] ppid=10578 vsize=49232 CPUtime=2322.23 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 30725 0 0 0 232220 3 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 49232
[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 10808
/proc/meminfo: memFree=31461764/32770624 swapFree=0/472932
[pid=10581] ppid=10578 vsize=49232 CPUtime=2382.23 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 31064 0 0 0 238220 3 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 49232
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 10810
/proc/meminfo: memFree=31464172/32770624 swapFree=0/472948
[pid=10581] ppid=10578 vsize=49232 CPUtime=2442.23 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 31302 0 0 0 244220 3 0 0 20 0 1 0 43736447 50413568 6280 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139312 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6280 855 435 0 5671 0
Current children cumulated CPU time (s) 2442.23
Current children cumulated vsize (KiB) 49232
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 10812
/proc/meminfo: memFree=31464400/32770624 swapFree=0/472964
[pid=10581] ppid=10578 vsize=49232 CPUtime=2502.23 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 31499 0 0 0 250220 3 0 0 20 0 1 0 43736447 50413568 6284 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6284 855 435 0 5671 0
Current children cumulated CPU time (s) 2502.23
Current children cumulated vsize (KiB) 49232
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 10812
/proc/meminfo: memFree=31464280/32770624 swapFree=0/472960
[pid=10581] ppid=10578 vsize=49232 CPUtime=2519.93 cores=1,3,5,7
/proc/10581/stat : 10581 (cosoco) R 10578 10581 31775 0 -1 4202496 31621 0 0 0 251990 3 0 0 20 0 1 0 43736447 50413568 6284 18446744073709551615 4194304 5972588 140730447592560 140730447589224 5032400 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 12238848 140730447598062 140730447598157 140730447598157 140730447601614 0
/proc/10581/statm: 12308 6284 855 435 0 5671 0
Current children cumulated CPU time (s) 2519.93
Current children cumulated vsize (KiB) 49232
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 10581 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.94
CPU user time (s): 2519.91
CPU system time (s): 0.033
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 49232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.91
system time used= 0.033
maximum resident set size= 25180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32049
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= 733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55659 second user time and 12.8375 second system time
The end