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-4252184-1500922125/watcher-4252184-1500922125 -o /tmp/evaluation-result-4252184-1500922125/solver-4252184-1500922125 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500914920-3753 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252184-1500922125.xml
pid=5334
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.03 2.02 2.05 3/180 5337
/proc/meminfo: memFree=32126848/32770624 swapFree=5848/116676
[pid=5337] ppid=5334 vsize=26904 CPUtime=0 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 974 0 0 0 0 0 0 0 20 0 1 0 1801318 27549696 759 33554432000 4194304 5744392 140731424668016 140731424664664 140087513615333 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6726 759 678 379 0 145 0
[startup+0.10011 s]
/proc/loadavg: 2.03 2.02 2.05 3/180 5337
/proc/meminfo: memFree=32126848/32770624 swapFree=5848/116676
[pid=5337] ppid=5334 vsize=27036 CPUtime=0.09 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1113 0 0 0 9 0 0 0 20 0 1 0 1801318 27684864 891 33554432000 4194304 5744392 140731424668016 140731424664664 4873219 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 891 774 379 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27036
[startup+0.20021 s]
/proc/loadavg: 2.03 2.02 2.05 3/180 5337
/proc/meminfo: memFree=32126848/32770624 swapFree=5848/116676
[pid=5337] ppid=5334 vsize=27036 CPUtime=0.19 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1113 0 0 0 19 0 0 0 20 0 1 0 1801318 27684864 891 33554432000 4194304 5744392 140731424668016 140731424664664 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 891 774 379 0 178 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27036
[startup+0.3002 s]
/proc/loadavg: 2.03 2.02 2.05 3/180 5337
/proc/meminfo: memFree=32126848/32770624 swapFree=5848/116676
[pid=5337] ppid=5334 vsize=27036 CPUtime=0.29 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1113 0 0 0 29 0 0 0 20 0 1 0 1801318 27684864 891 33554432000 4194304 5744392 140731424668016 140731424664664 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 891 774 379 0 178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27036
[startup+0.700172 s]
/proc/loadavg: 2.03 2.02 2.05 3/180 5337
/proc/meminfo: memFree=32126848/32770624 swapFree=5848/116676
[pid=5337] ppid=5334 vsize=27036 CPUtime=0.69 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1113 0 0 0 69 0 0 0 20 0 1 0 1801318 27684864 891 33554432000 4194304 5744392 140731424668016 140731424665416 4918734 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 891 774 379 0 178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27036
[startup+1.50018 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 5338
/proc/meminfo: memFree=32126660/32770624 swapFree=5848/116704
[pid=5337] ppid=5334 vsize=27036 CPUtime=1.49 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1113 0 0 0 149 0 0 0 20 0 1 0 1801318 27684864 891 33554432000 4194304 5744392 140731424668016 140731424665416 4994096 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 891 774 379 0 178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27036
[startup+3.10017 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 5338
/proc/meminfo: memFree=32126100/32770624 swapFree=5848/116700
[pid=5337] ppid=5334 vsize=27036 CPUtime=3.09 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1183 0 0 0 309 0 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918822 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27036
[startup+6.30017 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 5338
/proc/meminfo: memFree=32126028/32770624 swapFree=5848/116700
[pid=5337] ppid=5334 vsize=27036 CPUtime=6.29 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1278 0 0 0 629 0 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27036
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 5338
/proc/meminfo: memFree=32125652/32770624 swapFree=5848/116720
[pid=5337] ppid=5334 vsize=27036 CPUtime=12.69 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1360 0 0 0 1269 0 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27036
[startup+25.5002 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 5338
/proc/meminfo: memFree=32125776/32770624 swapFree=5848/116736
[pid=5337] ppid=5334 vsize=27036 CPUtime=25.49 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1526 0 0 0 2549 0 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4872571 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27036
[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5339
/proc/meminfo: memFree=32124768/32770624 swapFree=5848/116756
[pid=5337] ppid=5334 vsize=27036 CPUtime=51.08 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1608 0 0 0 5108 0 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4872571 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27036
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5408
/proc/meminfo: memFree=32125492/32770624 swapFree=5848/116888
[pid=5337] ppid=5334 vsize=27036 CPUtime=102.29 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1690 0 0 0 10228 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 27036
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5409
/proc/meminfo: memFree=32125744/32770624 swapFree=5848/116960
[pid=5337] ppid=5334 vsize=27036 CPUtime=162.27 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1772 0 0 0 16226 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4873241 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 27036
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5410
/proc/meminfo: memFree=32125372/32770624 swapFree=5848/117016
[pid=5337] ppid=5334 vsize=27036 CPUtime=222.27 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1854 0 0 0 22226 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 27036
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5411
/proc/meminfo: memFree=32124876/32770624 swapFree=5848/117068
[pid=5337] ppid=5334 vsize=27036 CPUtime=282.26 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 1936 0 0 0 28225 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 5131374 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 27036
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5412
/proc/meminfo: memFree=32125188/32770624 swapFree=5848/117124
[pid=5337] ppid=5334 vsize=27036 CPUtime=342.25 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 2018 0 0 0 34224 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4873223 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 27036
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5414
/proc/meminfo: memFree=32124264/32770624 swapFree=5848/117176
[pid=5337] ppid=5334 vsize=27036 CPUtime=402.25 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 2100 0 0 0 40224 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 27036
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 5415
/proc/meminfo: memFree=32124100/32770624 swapFree=5848/117220
[pid=5337] ppid=5334 vsize=27036 CPUtime=462.24 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 2182 0 0 0 46223 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4872452 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 27036
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 5416
/proc/meminfo: memFree=32124196/32770624 swapFree=5848/117260
[pid=5337] ppid=5334 vsize=27036 CPUtime=522.24 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 2264 0 0 0 52223 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4994020 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 27036
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 5418
/proc/meminfo: memFree=32124264/32770624 swapFree=5848/117304
[pid=5337] ppid=5334 vsize=27036 CPUtime=582.23 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 2346 0 0 0 58222 1 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4905636 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 27036
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5472
/proc/meminfo: memFree=32123792/32770624 swapFree=5848/117844
[pid=5337] ppid=5334 vsize=27036 CPUtime=1542.15 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 3586 0 0 0 154213 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 5124391 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 27036
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5473
/proc/meminfo: memFree=32123684/32770624 swapFree=5848/117884
[pid=5337] ppid=5334 vsize=27036 CPUtime=1602.14 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 3669 0 0 0 160212 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 5008640 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 27036
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5474
/proc/meminfo: memFree=32123932/32770624 swapFree=5848/117904
[pid=5337] ppid=5334 vsize=27036 CPUtime=1662.13 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 3739 0 0 0 166211 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 27036
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5475
/proc/meminfo: memFree=32123392/32770624 swapFree=5848/117924
[pid=5337] ppid=5334 vsize=27036 CPUtime=1722.13 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 3809 0 0 0 172211 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4872536 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 27036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5476
/proc/meminfo: memFree=32123136/32770624 swapFree=5848/117952
[pid=5337] ppid=5334 vsize=27036 CPUtime=1782.12 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 3891 0 0 0 178210 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4998878 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 27036
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5477
/proc/meminfo: memFree=32123360/32770624 swapFree=5848/117980
[pid=5337] ppid=5334 vsize=27036 CPUtime=1842.11 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 3961 0 0 0 184209 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918734 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 27036
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5485
/proc/meminfo: memFree=32122380/32770624 swapFree=5848/118012
[pid=5337] ppid=5334 vsize=27036 CPUtime=1902.11 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4043 0 0 0 190209 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 5124490 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 27036
[startup+1962.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 5486
/proc/meminfo: memFree=32123100/32770624 swapFree=5848/118044
[pid=5337] ppid=5334 vsize=27036 CPUtime=1962.1 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4113 0 0 0 196208 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4872605 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 27036
[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 5487
/proc/meminfo: memFree=32123324/32770624 swapFree=5848/118068
[pid=5337] ppid=5334 vsize=27036 CPUtime=2022.09 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4183 0 0 0 202207 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 5131353 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 27036
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5488
/proc/meminfo: memFree=32122580/32770624 swapFree=5848/118092
[pid=5337] ppid=5334 vsize=27036 CPUtime=2082.09 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4253 0 0 0 208207 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918697 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2082.09
Current children cumulated vsize (KiB) 27036
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5489
/proc/meminfo: memFree=32122836/32770624 swapFree=5848/118124
[pid=5337] ppid=5334 vsize=27036 CPUtime=2142.08 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4335 0 0 0 214206 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2142.08
Current children cumulated vsize (KiB) 27036
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5491
/proc/meminfo: memFree=32122464/32770624 swapFree=5848/118164
[pid=5337] ppid=5334 vsize=27036 CPUtime=2202.08 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4405 0 0 0 220206 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918662 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 27036
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5492
/proc/meminfo: memFree=32122688/32770624 swapFree=5848/118188
[pid=5337] ppid=5334 vsize=27036 CPUtime=2262.07 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4475 0 0 0 226205 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918711 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2262.07
Current children cumulated vsize (KiB) 27036
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5493
/proc/meminfo: memFree=32122496/32770624 swapFree=5848/118212
[pid=5337] ppid=5334 vsize=27036 CPUtime=2322.06 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4557 0 0 0 232204 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4998876 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 27036
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 5495
/proc/meminfo: memFree=32122620/32770624 swapFree=5848/118248
[pid=5337] ppid=5334 vsize=27036 CPUtime=2382.06 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4627 0 0 0 238204 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4873196 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2382.06
Current children cumulated vsize (KiB) 27036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5495
/proc/meminfo: memFree=32122620/32770624 swapFree=5848/118260
[pid=5337] ppid=5334 vsize=27036 CPUtime=2400.06 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4697 0 0 0 240004 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 27036
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 5337 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5495
/proc/meminfo: memFree=32122620/32770624 swapFree=5848/118260
[pid=5337] ppid=5334 vsize=27036 CPUtime=2400.06 cores=0,2,4,6
/proc/5337/stat : 5337 (cosoco) R 5334 5337 3722 0 -1 4202496 4697 0 0 0 240004 2 0 0 20 0 1 0 1801318 27684864 954 33554432000 4194304 5744392 140731424668016 140731424665416 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10252288 140731424675009 140731424675139 140731424675139 140731424677838 0
/proc/5337/statm: 6759 954 813 379 0 178 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 27036
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.027997
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 27036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.027997
maximum resident set size= 3860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4724
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= 12
involuntary context switches= 2687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.25721 second user time and 8.17597 second system time
The end