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-4253100-1500927275/watcher-4253100-1500927275 -o /tmp/evaluation-result-4253100-1500927275/solver-4253100-1500927275 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500914943-3947 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253100-1500927275.xml
pid=10790
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 10793
/proc/meminfo: memFree=32080068/32770624 swapFree=5832/131244
[pid=10793] ppid=10790 vsize=26772 CPUtime=0 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 1 0 2286631 27414528 825 33554432000 4194304 5744392 140723430352880 140723430349528 5024224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 825 732 379 0 112 0
[startup+0.100132 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 10793
/proc/meminfo: memFree=32080068/32770624 swapFree=5832/131244
[pid=10793] ppid=10790 vsize=26772 CPUtime=0.09 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1011 0 0 0 9 0 0 0 20 0 1 0 2286631 27414528 825 33554432000 4194304 5744392 140723430352880 140723430349528 5024193 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26772
[startup+0.200263 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 10793
/proc/meminfo: memFree=32080068/32770624 swapFree=5832/131244
[pid=10793] ppid=10790 vsize=26772 CPUtime=0.19 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1011 0 0 0 19 0 0 0 20 0 1 0 2286631 27414528 825 33554432000 4194304 5744392 140723430352880 140723430349528 4948372 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26772
[startup+0.300247 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 10793
/proc/meminfo: memFree=32080068/32770624 swapFree=5832/131244
[pid=10793] ppid=10790 vsize=26772 CPUtime=0.29 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1011 0 0 0 29 0 0 0 20 0 1 0 2286631 27414528 825 33554432000 4194304 5744392 140723430352880 140723430349528 4948133 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26772
[startup+0.700217 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 10793
/proc/meminfo: memFree=32080068/32770624 swapFree=5832/131244
[pid=10793] ppid=10790 vsize=26772 CPUtime=0.69 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1011 0 0 0 69 0 0 0 20 0 1 0 2286631 27414528 825 33554432000 4194304 5744392 140723430352880 140723430350488 4945875 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26772
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10794
/proc/meminfo: memFree=32079712/32770624 swapFree=5832/131272
[pid=10793] ppid=10790 vsize=26772 CPUtime=1.49 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1011 0 0 0 149 0 0 0 20 0 1 0 2286631 27414528 825 33554432000 4194304 5744392 140723430352880 140723430350488 4945839 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26772
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10794
/proc/meminfo: memFree=32079340/32770624 swapFree=5832/131272
[pid=10793] ppid=10790 vsize=26772 CPUtime=3.09 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1032 0 0 0 309 0 0 0 20 0 1 0 2286631 27414528 825 33554432000 4194304 5744392 140723430352880 140723430350488 5024193 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26772
[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 10794
/proc/meminfo: memFree=32079348/32770624 swapFree=5832/131280
[pid=10793] ppid=10790 vsize=26772 CPUtime=6.29 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1083 0 0 0 629 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 5024176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26772
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 10794
/proc/meminfo: memFree=32079100/32770624 swapFree=5832/131284
[pid=10793] ppid=10790 vsize=26772 CPUtime=12.69 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1104 0 0 0 1269 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 4946334 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26772
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 10794
/proc/meminfo: memFree=32079100/32770624 swapFree=5832/131292
[pid=10793] ppid=10790 vsize=26772 CPUtime=25.49 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1146 0 0 0 2549 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 4946320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26772
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 10794
/proc/meminfo: memFree=32079288/32770624 swapFree=5832/131316
[pid=10793] ppid=10790 vsize=26772 CPUtime=51.09 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1197 0 0 0 5109 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 4946020 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26772
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 10855
/proc/meminfo: memFree=32079468/32770624 swapFree=5832/131388
[pid=10793] ppid=10790 vsize=26772 CPUtime=102.3 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1218 0 0 0 10230 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 5024241 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26772
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 10856
/proc/meminfo: memFree=32078968/32770624 swapFree=5832/131452
[pid=10793] ppid=10790 vsize=26772 CPUtime=162.29 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1254 0 0 0 16229 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 5024241 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26772
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 10857
/proc/meminfo: memFree=32079080/32770624 swapFree=5832/131484
[pid=10793] ppid=10790 vsize=26772 CPUtime=222.3 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1289 0 0 0 22230 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 5024176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26772
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10858
/proc/meminfo: memFree=32079260/32770624 swapFree=5832/131528
[pid=10793] ppid=10790 vsize=26772 CPUtime=282.29 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1325 0 0 0 28229 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 4946164 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 26772
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10867
/proc/meminfo: memFree=32078332/32770624 swapFree=5832/131588
[pid=10793] ppid=10790 vsize=26772 CPUtime=342.29 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1361 0 0 0 34229 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 4948328 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 26772
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10868
/proc/meminfo: memFree=32078280/32770624 swapFree=5832/131620
[pid=10793] ppid=10790 vsize=26772 CPUtime=402.29 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1382 0 0 0 40229 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 4947909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 26772
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10869
/proc/meminfo: memFree=32078620/32770624 swapFree=5832/131668
[pid=10793] ppid=10790 vsize=26772 CPUtime=462.29 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1403 0 0 0 46229 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 4946312 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 26772
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10870
/proc/meminfo: memFree=32078732/32770624 swapFree=5832/131700
[pid=10793] ppid=10790 vsize=26772 CPUtime=522.29 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1453 0 0 0 52229 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430350488 5024224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 26772
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10793 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10870
/proc/meminfo: memFree=32078796/32770624 swapFree=5832/131720
[pid=10793] ppid=10790 vsize=26772 CPUtime=537.59 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1475 0 0 0 53759 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 4946312 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 537.59
Current children cumulated vsize (KiB) 26772
[startup+550.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10871
/proc/meminfo: memFree=32078156/32770624 swapFree=5832/131744
[pid=10793] ppid=10790 vsize=26772 CPUtime=550.39 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1475 0 0 0 55039 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 4945852 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 550.39
Current children cumulated vsize (KiB) 26772
[startup+553.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10871
/proc/meminfo: memFree=32078156/32770624 swapFree=5832/131744
[pid=10793] ppid=10790 vsize=26772 CPUtime=553.59 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1475 0 0 0 55359 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 4946280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 553.59
Current children cumulated vsize (KiB) 26772
[startup+555.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10871
/proc/meminfo: memFree=32078280/32770624 swapFree=5832/131744
[pid=10793] ppid=10790 vsize=26772 CPUtime=555.19 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1475 0 0 0 55519 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 4946020 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 555.19
Current children cumulated vsize (KiB) 26772
[startup+556.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10871
/proc/meminfo: memFree=32078280/32770624 swapFree=5832/131748
[pid=10793] ppid=10790 vsize=26772 CPUtime=556.79 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1475 0 0 0 55679 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 4946576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 556.79
Current children cumulated vsize (KiB) 26772
[startup+557.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10871
/proc/meminfo: memFree=32078280/32770624 swapFree=5832/131748
[pid=10793] ppid=10790 vsize=26772 CPUtime=557.19 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1475 0 0 0 55719 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 4946792 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 557.19
Current children cumulated vsize (KiB) 26772
[startup+557.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10871
/proc/meminfo: memFree=32078280/32770624 swapFree=5832/131748
[pid=10793] ppid=10790 vsize=26772 CPUtime=557.59 cores=1,3,5,7
/proc/10793/stat : 10793 (cosoco) R 10790 10793 3915 0 -1 4202496 1475 0 0 0 55759 0 0 0 20 0 1 0 2286631 27414528 851 33554432000 4194304 5744392 140723430352880 140723430340232 5024245 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 36806656 140723430360257 140723430360387 140723430360387 140723430363086 0
/proc/10793/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 557.59
Current children cumulated vsize (KiB) 26772
Child status: 0
Real time (s): 557.63
CPU time (s): 557.622
CPU user time (s): 557.62
CPU system time (s): 0.001592
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 26772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 557.62
system time used= 0.001592
maximum resident set size= 3484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1530
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= 737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43561 second user time and 1.69037 second system time
The end