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-4251792-1500919748/watcher-4251792-1500919748 -o /tmp/evaluation-result-4251792-1500919748/solver-4251792-1500919748 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500914921-3428 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251792-1500919748.xml
pid=4743
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: 1.93 2.00 2.04 3/181 4746
/proc/meminfo: memFree=32085588/32770624 swapFree=5836/113532
[pid=4746] ppid=4743 vsize=26772 CPUtime=0 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 947 0 0 0 0 0 0 0 20 0 1 0 1533737 27414528 759 33554432000 4194304 5744392 140724736153888 140724736150536 5473186 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 6693 759 678 379 0 112 0
[startup+0.100155 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 4746
/proc/meminfo: memFree=32085588/32770624 swapFree=5836/113532
[pid=4746] ppid=4743 vsize=28460 CPUtime=0.09 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 1346 0 0 0 9 0 0 0 20 0 1 0 1533737 29143040 1155 33554432000 4194304 5744392 140724736153888 140724736150536 5475783 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 7115 1155 700 379 0 534 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28460
[startup+0.200263 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 4746
/proc/meminfo: memFree=32085588/32770624 swapFree=5836/113532
[pid=4746] ppid=4743 vsize=29908 CPUtime=0.19 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 1723 0 0 0 19 0 0 0 20 0 1 0 1533737 30625792 1551 33554432000 4194304 5744392 140724736153888 140724736150536 5216495 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 7477 1551 700 379 0 896 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29908
[startup+0.30025 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 4746
/proc/meminfo: memFree=32085588/32770624 swapFree=5836/113532
[pid=4746] ppid=4743 vsize=31368 CPUtime=0.29 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 2083 0 0 0 29 0 0 0 20 0 1 0 1533737 32120832 1881 33554432000 4194304 5744392 140724736153888 140724736150536 5216507 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 7842 1881 700 379 0 1261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31368
[startup+0.700256 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 4746
/proc/meminfo: memFree=32085588/32770624 swapFree=5836/113532
[pid=4746] ppid=4743 vsize=36968 CPUtime=0.69 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 3535 0 0 0 69 0 0 0 20 0 1 0 1533737 37855232 3371 33554432000 4194304 5744392 140724736153888 140724736150536 4892834 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3371 743 379 0 2661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36968
[startup+1.50028 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 4747
/proc/meminfo: memFree=32075000/32770624 swapFree=5836/113584
[pid=4746] ppid=4743 vsize=36968 CPUtime=1.49 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 3535 0 0 0 149 0 0 0 20 0 1 0 1533737 37855232 3371 33554432000 4194304 5744392 140724736153888 140724736150536 4892791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3371 743 379 0 2661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36968
[startup+3.10025 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 4747
/proc/meminfo: memFree=32074736/32770624 swapFree=5836/113584
[pid=4746] ppid=4743 vsize=36968 CPUtime=3.09 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 6082 0 0 0 309 0 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892821 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36968
[startup+6.30023 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 4747
/proc/meminfo: memFree=32072800/32770624 swapFree=5836/113460
[pid=4746] ppid=4743 vsize=36968 CPUtime=6.29 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 8629 0 0 0 629 0 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4891646 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36968
[startup+12.7003 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 4747
/proc/meminfo: memFree=32072800/32770624 swapFree=5836/113476
[pid=4746] ppid=4743 vsize=36968 CPUtime=12.69 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 11176 0 0 0 1269 0 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36968
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 4747
/proc/meminfo: memFree=32071944/32770624 swapFree=5836/113496
[pid=4746] ppid=4743 vsize=36968 CPUtime=25.49 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 15618 0 0 0 2549 0 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892806 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36968
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 4808
/proc/meminfo: memFree=32108964/32770624 swapFree=5836/113540
[pid=4746] ppid=4743 vsize=36968 CPUtime=51.09 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 16137 0 0 0 5108 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36968
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 4816
/proc/meminfo: memFree=32107348/32770624 swapFree=5836/113644
[pid=4746] ppid=4743 vsize=36968 CPUtime=102.3 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 16655 0 0 0 10229 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4891657 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 36968
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 4816
/proc/meminfo: memFree=32107988/32770624 swapFree=5836/113692
[pid=4746] ppid=4743 vsize=36968 CPUtime=162.29 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 17173 0 0 0 16228 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 36968
[startup+222.306 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 4818
/proc/meminfo: memFree=32108116/32770624 swapFree=5836/113748
[pid=4746] ppid=4743 vsize=36968 CPUtime=222.3 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 17690 0 0 0 22229 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4891678 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 36968
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 4818
/proc/meminfo: memFree=32108208/32770624 swapFree=5836/113780
[pid=4746] ppid=4743 vsize=36968 CPUtime=282.3 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 18207 0 0 0 28229 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892970 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 36968
[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 4819
/proc/meminfo: memFree=32108584/32770624 swapFree=5836/113828
[pid=4746] ppid=4743 vsize=36968 CPUtime=342.3 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 18723 0 0 0 34229 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4891674 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 36968
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4820
/proc/meminfo: memFree=32108840/32770624 swapFree=5836/113876
[pid=4746] ppid=4743 vsize=36968 CPUtime=402.3 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 19227 0 0 0 40229 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 36968
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4821
/proc/meminfo: memFree=32108940/32770624 swapFree=5836/113900
[pid=4746] ppid=4743 vsize=36968 CPUtime=462.3 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 19714 0 0 0 46229 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 36968
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4746 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+467.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4822
/proc/meminfo: memFree=32109048/32770624 swapFree=5836/113932
[pid=4746] ppid=4743 vsize=36968 CPUtime=467.2 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 19714 0 0 0 46719 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4893020 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 467.2
Current children cumulated vsize (KiB) 36968
[startup+470.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4822
/proc/meminfo: memFree=32109088/32770624 swapFree=5836/113936
[pid=4746] ppid=4743 vsize=36968 CPUtime=470.4 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 19714 0 0 0 47039 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 470.4
Current children cumulated vsize (KiB) 36968
[startup+472.006 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4822
/proc/meminfo: memFree=32109088/32770624 swapFree=5836/113936
[pid=4746] ppid=4743 vsize=36968 CPUtime=472.01 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 19714 0 0 0 47200 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 472.01
Current children cumulated vsize (KiB) 36968
[startup+472.8 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4822
/proc/meminfo: memFree=32109088/32770624 swapFree=5836/113936
[pid=4746] ppid=4743 vsize=36968 CPUtime=472.8 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 19714 0 0 0 47279 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4891536 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 472.8
Current children cumulated vsize (KiB) 36968
[startup+473.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4822
/proc/meminfo: memFree=32109088/32770624 swapFree=5836/113936
[pid=4746] ppid=4743 vsize=36968 CPUtime=473.2 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 19714 0 0 0 47319 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892830 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 473.2
Current children cumulated vsize (KiB) 36968
[startup+473.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4822
/proc/meminfo: memFree=32109088/32770624 swapFree=5836/113936
[pid=4746] ppid=4743 vsize=36968 CPUtime=473.4 cores=1,3,5,7
/proc/4746/stat : 4746 (cosoco) R 4743 4746 3396 0 -1 4202496 19714 0 0 0 47339 1 0 0 20 0 1 0 1533737 37855232 3375 33554432000 4194304 5744392 140724736153888 140724736151288 4892782 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 10113024 140724736156865 140724736156995 140724736156995 140724736159694 0
/proc/4746/statm: 9242 3375 747 379 0 2661 0
Current children cumulated CPU time (s) 473.4
Current children cumulated vsize (KiB) 36968
Child status: 0
Real time (s): 473.403
CPU time (s): 473.412
CPU user time (s): 473.4
CPU system time (s): 0.012
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 36968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 473.4
system time used= 0.012
maximum resident set size= 13580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19754
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= 10
involuntary context switches= 120
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13712 second user time and 1.78166 second system time
The end