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-4260247-1502020114/watcher-4260247-1502020114 -o /tmp/evaluation-result-4260247-1502020114/solver-4260247-1502020114 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260247-1502020114.xml
pid=23648
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.99 2.02 1.99 3/181 23651
/proc/meminfo: memFree=31711832/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23651/stat : 23651 (runsolver) D 23648 23651 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4207197 24240128 106 18446744073709551615 4194304 4338465 140736440493968 140736440491608 139850735108823 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 39784448 140736440496322 140736440496714 140736440496714 140736440500170 0
/proc/23651/statm: 5918 106 53 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 1.99 2.02 1.99 3/181 23651
/proc/meminfo: memFree=31711832/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=27892 CPUtime=0.05 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 1209 0 0 0 5 0 0 0 20 0 1 0 4207197 28561408 1023 18446744073709551615 4194304 5747388 140734193661312 140734193657960 5476829 0 0 1 0 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 6973 1023 706 380 0 391 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27892
[startup+0.200269 s]
/proc/loadavg: 1.99 2.02 1.99 3/181 23651
/proc/meminfo: memFree=31711832/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=29328 CPUtime=0.15 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 1570 0 0 0 15 0 0 0 20 0 1 0 4207197 30031872 1353 18446744073709551615 4194304 5747388 140734193661312 140734193656392 5478076 0 0 1 0 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 7332 1353 707 380 0 750 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 29328
[startup+0.300251 s]
/proc/loadavg: 1.99 2.02 1.99 3/181 23651
/proc/meminfo: memFree=31711832/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=30788 CPUtime=0.25 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 1929 0 0 0 25 0 0 0 20 0 1 0 4207197 31526912 1749 18446744073709551615 4194304 5747388 140734193661312 140734193656392 139790887549952 0 0 1 0 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 7697 1749 707 380 0 1115 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 30788
[startup+0.700232 s]
/proc/loadavg: 1.99 2.02 1.99 3/181 23651
/proc/meminfo: memFree=31711832/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=36972 CPUtime=0.64 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 3538 0 0 0 64 0 0 0 20 0 1 0 4207197 37859328 3313 18446744073709551615 4194304 5747388 140734193661312 140734193657960 4893982 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3313 709 380 0 2661 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 36972
[startup+1.50028 s]
/proc/loadavg: 1.99 2.02 1.99 3/182 23652
/proc/meminfo: memFree=31701028/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=36972 CPUtime=1.44 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 3540 0 0 0 144 0 0 0 20 0 1 0 4207197 37859328 3313 18446744073709551615 4194304 5747388 140734193661312 140734193657960 5125648 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3313 709 380 0 2661 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 36972
[startup+3.10024 s]
/proc/loadavg: 1.99 2.02 1.99 3/182 23652
/proc/meminfo: memFree=31701028/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=36972 CPUtime=3.04 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 5085 0 0 0 304 0 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193657960 4892815 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 36972
[startup+6.30023 s]
/proc/loadavg: 1.99 2.02 1.99 3/182 23652
/proc/meminfo: memFree=31700972/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=36972 CPUtime=6.24 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 6630 0 0 0 624 0 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4893999 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 36972
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 1.99 3/182 23653
/proc/meminfo: memFree=31700972/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=36972 CPUtime=12.64 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 8175 0 0 0 1264 0 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894014 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 36972
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 1.99 3/182 23653
/proc/meminfo: memFree=31700972/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=36972 CPUtime=25.44 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 11265 0 0 0 2544 0 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4893982 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 36972
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 1.99 3/181 23653
/proc/meminfo: memFree=31700480/32770624 swapFree=0/336056
[pid=23651] ppid=23648 vsize=36972 CPUtime=51.05 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 12810 0 0 0 5104 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894018 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 36972
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 23655
/proc/meminfo: memFree=31699732/32770624 swapFree=0/336064
[pid=23651] ppid=23648 vsize=36972 CPUtime=102.25 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 13335 0 0 0 10224 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894532 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 36972
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 23657
/proc/meminfo: memFree=31700048/32770624 swapFree=0/336172
[pid=23651] ppid=23648 vsize=36972 CPUtime=162.24 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 13858 0 0 0 16223 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4893982 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 36972
[startup+222.306 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 23848
/proc/meminfo: memFree=31699128/32770624 swapFree=0/336468
[pid=23651] ppid=23648 vsize=36972 CPUtime=222.24 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 14381 0 0 0 22223 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894021 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 36972
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 23913
/proc/meminfo: memFree=31699136/32770624 swapFree=0/336560
[pid=23651] ppid=23648 vsize=36972 CPUtime=282.23 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 14904 0 0 0 28222 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4893987 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 36972
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/185 23930
/proc/meminfo: memFree=31693364/32770624 swapFree=0/336644
[pid=23651] ppid=23648 vsize=36972 CPUtime=342.23 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 15426 0 0 0 34222 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894030 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 36972
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/185 23932
/proc/meminfo: memFree=31693292/32770624 swapFree=0/336688
[pid=23651] ppid=23648 vsize=36972 CPUtime=402.23 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 15938 0 0 0 40222 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894320 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 36972
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23934
/proc/meminfo: memFree=31695712/32770624 swapFree=0/336716
[pid=23651] ppid=23648 vsize=36972 CPUtime=462.22 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 16431 0 0 0 46221 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894528 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 36972
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23651 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.00 3/182 23934
/proc/meminfo: memFree=31695712/32770624 swapFree=0/336716
[pid=23651] ppid=23648 vsize=36972 CPUtime=467.12 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 16431 0 0 0 46711 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894202 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 467.12
Current children cumulated vsize (KiB) 36972
[startup+470.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23934
/proc/meminfo: memFree=31695712/32770624 swapFree=0/336720
[pid=23651] ppid=23648 vsize=36972 CPUtime=470.32 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 16431 0 0 0 47031 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4892742 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 470.32
Current children cumulated vsize (KiB) 36972
[startup+472.006 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23934
/proc/meminfo: memFree=31695712/32770624 swapFree=0/336724
[pid=23651] ppid=23648 vsize=36972 CPUtime=471.93 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 16431 0 0 0 47192 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894124 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 471.93
Current children cumulated vsize (KiB) 36972
[startup+472.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23934
/proc/meminfo: memFree=31695712/32770624 swapFree=0/336724
[pid=23651] ppid=23648 vsize=36972 CPUtime=472.72 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 16431 0 0 0 47271 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4894528 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 472.72
Current children cumulated vsize (KiB) 36972
[startup+473.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23934
/proc/meminfo: memFree=31695712/32770624 swapFree=0/336724
[pid=23651] ppid=23648 vsize=36972 CPUtime=473.12 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 16431 0 0 0 47311 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4893991 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 473.12
Current children cumulated vsize (KiB) 36972
[startup+473.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23934
/proc/meminfo: memFree=31695712/32770624 swapFree=0/336724
[pid=23651] ppid=23648 vsize=36972 CPUtime=473.52 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 16431 0 0 0 47351 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4893991 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 473.52
Current children cumulated vsize (KiB) 36972
[startup+473.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23934
/proc/meminfo: memFree=31695712/32770624 swapFree=0/336724
[pid=23651] ppid=23648 vsize=36972 CPUtime=473.62 cores=1,3,5,7
/proc/23651/stat : 23651 (cosoco) R 23648 23651 21827 0 -1 4202496 16431 0 0 0 47361 1 0 0 20 0 1 0 4207197 37859328 3379 18446744073709551615 4194304 5747388 140734193661312 140734193658712 4892736 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 29253632 140734193664495 140734193664590 140734193664590 140734193668046 0
/proc/23651/statm: 9243 3379 749 380 0 2661 0
Current children cumulated CPU time (s) 473.62
Current children cumulated vsize (KiB) 36972
Child status: 0
Real time (s): 473.711
CPU time (s): 473.644
CPU user time (s): 473.629
CPU system time (s): 0.014999
CPU usage (%): 99.9858
Max. virtual memory (cumulated for all children) (KiB): 36972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 473.629
system time used= 0.014999
maximum resident set size= 13592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16470
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= 14
involuntary context switches= 136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18261 second user time and 1.78078 second system time
The end