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-4258154-1501653794/watcher-4258154-1501653794 -o /tmp/evaluation-result-4258154-1501653794/solver-4258154-1501653794 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31104 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258154-1501653794.xml
pid=10959
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 3.09 3.29 2.76 3/195 10962
/proc/meminfo: memFree=30983360/32770624 swapFree=0/234640
[pid=10962] ppid=10959 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10962/stat : 10962 (runsolver) D 10959 10962 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 14002486 24240128 108 18446744073709551615 4194304 4338465 140732048015504 140732048013144 140190386881239 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 9646080 140732048023687 140732048024134 140732048024134 140732048027594 0
/proc/10962/statm: 5918 108 54 36 0 2156 0
[startup+0.108419 s]
/proc/loadavg: 3.09 3.29 2.76 3/195 10962
/proc/meminfo: memFree=30983360/32770624 swapFree=0/234640
[pid=10962] ppid=10959 vsize=9951980 CPUtime=0.01 cores=0,2,4,6
/proc/10962/stat : 10962 (java) S 10959 10962 5091 0 -1 1077944320 3456 0 0 0 0 1 0 0 20 0 6 0 14002486 10190827520 4624 18446744073709551615 4194304 4196468 140724237942368 140724237924912 139755631324919 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
/proc/10962/statm: 2487995 4690 1952 1 0 2477500 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9951980
[startup+0.200305 s]
/proc/loadavg: 3.09 3.29 2.76 3/195 10962
/proc/meminfo: memFree=30983360/32770624 swapFree=0/234640
[pid=10962] ppid=10959 vsize=10551156 CPUtime=0.06 cores=0,2,4,6
/proc/10962/stat : 10962 (java) S 10959 10962 5091 0 -1 1077944320 4651 0 0 0 5 1 0 0 20 0 15 0 14002486 10804383744 6171 18446744073709551615 4194304 4196468 140724237942368 140724237924912 139755631324919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
/proc/10962/statm: 2637789 6171 2600 1 0 2627269 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10551156
[startup+0.300319 s]
/proc/loadavg: 3.09 3.29 2.76 3/195 10962
/proc/meminfo: memFree=30983360/32770624 swapFree=0/234640
[pid=10962] ppid=10959 vsize=10551156 CPUtime=0.22 cores=0,2,4,6
/proc/10962/stat : 10962 (java) S 10959 10962 5091 0 -1 1077944320 7912 0 0 0 19 3 0 0 20 0 15 0 14002486 10804383744 9120 18446744073709551615 4194304 4196468 140724237942368 140724237924912 139755631324919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
/proc/10962/statm: 2637789 9120 2851 1 0 2627269 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10551156
[startup+0.700171 s]
/proc/loadavg: 3.09 3.29 2.76 3/195 10962
/proc/meminfo: memFree=30983360/32770624 swapFree=0/234640
[pid=10962] ppid=10959 vsize=10617796 CPUtime=1.33 cores=0,2,4,6
/proc/10962/stat : 10962 (java) S 10959 10962 5091 0 -1 1077944320 13103 0 0 0 128 5 0 0 20 0 16 0 14002486 10872623104 21038 18446744073709551615 4194304 4196468 140724237942368 140724237924912 139755631324919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
/proc/10962/statm: 2654449 21038 3060 1 0 2643910 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 10617796
[startup+1.50067 s]
/proc/loadavg: 3.09 3.29 2.76 3/211 10978
/proc/meminfo: memFree=30910608/32770624 swapFree=0/234644
[pid=10962] ppid=10959 vsize=10750924 CPUtime=2.83 cores=0,2,4,6
/proc/10962/stat : 10962 (java) S 10959 10962 5091 0 -1 1077944320 18340 0 0 0 277 6 0 0 20 0 16 0 14002486 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 140724237924912 139755631324919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
/proc/10962/statm: 2687731 22687 3075 1 0 2677192 0
[pid=10962/tid=10964] ppid=10959 vsize=10750924 CPUtime=1.22 cores=0,2,4,6
/proc/10962/task/10964/stat : 10964 (java) S 10959 10962 5091 0 -1 1077944384 8457 0 0 0 118 4 0 0 20 0 16 0 14002495 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755635565600 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10965] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10965/stat : 10965 (java) S 10959 10962 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14002496 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755561745296 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10966] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10966/stat : 10966 (java) S 10959 10962 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14002496 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755560692496 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10967] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10967/stat : 10967 (java) S 10959 10962 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14002496 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755559640208 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10968] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10968/stat : 10968 (java) S 10959 10962 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14002496 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755558587408 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10969] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10969/stat : 10969 (java) S 10959 10962 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 14002497 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755126724720 139755631336066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10970] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10970/stat : 10970 (java) S 10959 10962 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14002498 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755125670688 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10971] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10971/stat : 10971 (java) S 10959 10962 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14002498 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755124618352 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10972] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10972/stat : 10972 (java) S 10959 10962 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755123566672 139755631343515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10973] ppid=10959 vsize=10750924 CPUtime=0.6 cores=0,2,4,6
/proc/10962/task/10973/stat : 10973 (java) S 10959 10962 5091 0 -1 1077944384 2823 0 0 0 60 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755122514544 139755631336066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10974] ppid=10959 vsize=10750924 CPUtime=0.6 cores=0,2,4,6
/proc/10962/task/10974/stat : 10974 (java) S 10959 10962 5091 0 -1 1077944384 3365 0 0 0 60 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755121461744 139755631336066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10975] ppid=10959 vsize=10750924 CPUtime=0.36 cores=0,2,4,6
/proc/10962/task/10975/stat : 10975 (java) S 10959 10962 5091 0 -1 1077944384 2204 0 0 0 36 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755120409456 139755631336066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10976] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10976/stat : 10976 (java) S 10959 10962 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755119356896 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10977] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10977/stat : 10977 (java) S 10959 10962 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 14002505 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755118303664 139755631336066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 10750924
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10962 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50067 s]
/proc/loadavg: 3.09 3.29 2.76 3/211 10978
/proc/meminfo: memFree=30910608/32770624 swapFree=0/234644
[pid=10962] ppid=10959 vsize=10750924 CPUtime=2.83 cores=0,2,4,6
/proc/10962/stat : 10962 (java) S 10959 10962 5091 0 -1 1077944320 18340 0 0 0 277 6 0 0 20 0 16 0 14002486 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 140724237924912 139755631324919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
/proc/10962/statm: 2687731 22687 3075 1 0 2677192 0
[pid=10962/tid=10964] ppid=10959 vsize=10750924 CPUtime=1.22 cores=0,2,4,6
/proc/10962/task/10964/stat : 10964 (java) S 10959 10962 5091 0 -1 1077944384 8457 0 0 0 118 4 0 0 20 0 16 0 14002495 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755635565600 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10965] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10965/stat : 10965 (java) S 10959 10962 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14002496 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755561745296 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10966] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10966/stat : 10966 (java) S 10959 10962 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14002496 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755560692496 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10967] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10967/stat : 10967 (java) S 10959 10962 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14002496 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755559640208 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10968] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10968/stat : 10968 (java) S 10959 10962 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14002496 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755558587408 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10969] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10969/stat : 10969 (java) S 10959 10962 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 14002497 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755126724720 139755631336066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10970] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10970/stat : 10970 (java) S 10959 10962 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14002498 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755125670688 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10971] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10971/stat : 10971 (java) S 10959 10962 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14002498 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755124618352 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10972] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10972/stat : 10972 (java) S 10959 10962 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755123566672 139755631343515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10973] ppid=10959 vsize=10750924 CPUtime=0.6 cores=0,2,4,6
/proc/10962/task/10973/stat : 10973 (java) S 10959 10962 5091 0 -1 1077944384 2823 0 0 0 60 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755122514544 139755631336066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10974] ppid=10959 vsize=10750924 CPUtime=0.6 cores=0,2,4,6
/proc/10962/task/10974/stat : 10974 (java) S 10959 10962 5091 0 -1 1077944384 3365 0 0 0 60 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755121461744 139755631336066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10975] ppid=10959 vsize=10750924 CPUtime=0.36 cores=0,2,4,6
/proc/10962/task/10975/stat : 10975 (java) S 10959 10962 5091 0 -1 1077944384 2204 0 0 0 36 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755120409456 139755631336066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10976] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10976/stat : 10976 (java) S 10959 10962 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14002500 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755119356896 139755631335125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
[pid=10962/tid=10977] ppid=10959 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/10962/task/10977/stat : 10977 (java) S 10959 10962 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 14002505 11008946176 22687 18446744073709551615 4194304 4196468 140724237942368 139755118303664 139755631336066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37339136 140724237947314 140724237947467 140724237947467 140724237950927 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 10750924
Child status: 0
Real time (s): 1.59598
CPU time (s): 2.84434
CPU user time (s): 2.77903
CPU system time (s): 0.065316
CPU usage (%): 178.219
Max. virtual memory (cumulated for all children) (KiB): 10750924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.77903
system time used= 0.065316
maximum resident set size= 93188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1639
involuntary context switches= 10
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010693 second user time and 0.009721 second system time
The end