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-4252267-1500924550/watcher-4252267-1500924550 -o /tmp/evaluation-result-4252267-1500924550/solver-4252267-1500924550 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3562 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252267-1500924550.xml
pid=6093
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.00 2.01 2.05 4/181 6096
/proc/meminfo: memFree=32121684/32770624 swapFree=5768/116788
[pid=6096] ppid=6093 vsize=25644 CPUtime=0 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 1214 0 0 0 0 0 0 0 20 0 1 0 2043738 26259456 1009 33554432000 4194304 6986860 140721427539312 140721427536008 140389314636773 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6411 1009 649 682 0 414 0
[startup+0.100195 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 6096
/proc/meminfo: memFree=32121684/32770624 swapFree=5768/116788
[pid=6096] ppid=6093 vsize=26908 CPUtime=0.09 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 1570 0 0 0 9 0 0 0 20 0 1 0 2043738 27553792 1408 33554432000 4194304 6986860 140721427539312 140721427536008 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1408 712 682 0 730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26908
[startup+0.200336 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 6096
/proc/meminfo: memFree=32121684/32770624 swapFree=5768/116788
[pid=6096] ppid=6093 vsize=26908 CPUtime=0.19 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 1570 0 0 0 19 0 0 0 20 0 1 0 2043738 27553792 1408 33554432000 4194304 6986860 140721427539312 140721427536008 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1408 712 682 0 730 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26908
[startup+0.300321 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 6096
/proc/meminfo: memFree=32121684/32770624 swapFree=5768/116788
[pid=6096] ppid=6093 vsize=26908 CPUtime=0.29 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 1570 0 0 0 29 0 0 0 20 0 1 0 2043738 27553792 1408 33554432000 4194304 6986860 140721427539312 140721427536008 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1408 712 682 0 730 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26908
[startup+0.70029 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 6096
/proc/meminfo: memFree=32121684/32770624 swapFree=5768/116788
[pid=6096] ppid=6093 vsize=26908 CPUtime=0.69 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 1570 0 0 0 68 1 0 0 20 0 1 0 2043738 27553792 1408 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1408 712 682 0 730 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26908
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6097
/proc/meminfo: memFree=32118276/32770624 swapFree=5768/116820
[pid=6096] ppid=6093 vsize=26908 CPUtime=1.49 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 1570 0 0 0 146 3 0 0 20 0 1 0 2043738 27553792 1408 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1408 712 682 0 730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26908
[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6097
/proc/meminfo: memFree=32117904/32770624 swapFree=5768/116820
[pid=6096] ppid=6093 vsize=26908 CPUtime=3.09 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 2169 0 0 0 301 8 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26908
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6097
/proc/meminfo: memFree=32117900/32770624 swapFree=5768/116820
[pid=6096] ppid=6093 vsize=26908 CPUtime=6.29 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 2776 0 0 0 613 16 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26908
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6097
/proc/meminfo: memFree=32117768/32770624 swapFree=5768/116828
[pid=6096] ppid=6093 vsize=26908 CPUtime=12.69 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 3390 0 0 0 1237 32 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26908
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6097
/proc/meminfo: memFree=32117948/32770624 swapFree=5768/116844
[pid=6096] ppid=6093 vsize=26908 CPUtime=25.49 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 4610 0 0 0 2488 61 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26908
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6105
/proc/meminfo: memFree=32116072/32770624 swapFree=5768/116856
[pid=6096] ppid=6093 vsize=26908 CPUtime=51.09 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 5234 0 0 0 4989 120 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26908
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 6106
/proc/meminfo: memFree=32117116/32770624 swapFree=5768/116900
[pid=6096] ppid=6093 vsize=26908 CPUtime=102.29 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 5850 0 0 0 9992 237 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 26908
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 6107
/proc/meminfo: memFree=32116976/32770624 swapFree=5768/116928
[pid=6096] ppid=6093 vsize=26908 CPUtime=162.3 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 6467 0 0 0 15850 380 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26908
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6108
/proc/meminfo: memFree=32116972/32770624 swapFree=5768/116956
[pid=6096] ppid=6093 vsize=26908 CPUtime=222.3 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 7081 0 0 0 21702 528 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26908
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6109
/proc/meminfo: memFree=32116804/32770624 swapFree=5768/116988
[pid=6096] ppid=6093 vsize=26908 CPUtime=282.29 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 7695 0 0 0 27555 674 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 26908
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6110
/proc/meminfo: memFree=32116884/32770624 swapFree=5768/117024
[pid=6096] ppid=6093 vsize=26908 CPUtime=342.3 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 8311 0 0 0 33405 825 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26908
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6111
/proc/meminfo: memFree=32116780/32770624 swapFree=5768/117056
[pid=6096] ppid=6093 vsize=26908 CPUtime=402.3 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 8925 0 0 0 39265 965 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 26908
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6112
/proc/meminfo: memFree=32116344/32770624 swapFree=5768/117084
[pid=6096] ppid=6093 vsize=26908 CPUtime=462.3 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 9539 0 0 0 45115 1115 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 26908
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6113
/proc/meminfo: memFree=32116320/32770624 swapFree=5768/117112
[pid=6096] ppid=6093 vsize=26908 CPUtime=522.3 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 10156 0 0 0 50967 1263 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 26908
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6114
/proc/meminfo: memFree=32116572/32770624 swapFree=5768/117140
[pid=6096] ppid=6093 vsize=26908 CPUtime=582.3 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 10770 0 0 0 56823 1407 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 26908
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6143
/proc/meminfo: memFree=32115532/32770624 swapFree=5768/117624
[pid=6096] ppid=6093 vsize=26908 CPUtime=1482.32 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 20016 0 0 0 144383 3849 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 26908
[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 6144
/proc/meminfo: memFree=32115712/32770624 swapFree=5768/117660
[pid=6096] ppid=6093 vsize=26908 CPUtime=1542.33 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 20633 0 0 0 150224 4009 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 26908
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 6146
/proc/meminfo: memFree=32115352/32770624 swapFree=5768/117692
[pid=6096] ppid=6093 vsize=26908 CPUtime=1602.32 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 21252 0 0 0 156064 4168 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 26908
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6147
/proc/meminfo: memFree=32115420/32770624 swapFree=5768/117720
[pid=6096] ppid=6093 vsize=26908 CPUtime=1662.33 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 21870 0 0 0 161902 4331 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 26908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6148
/proc/meminfo: memFree=32115660/32770624 swapFree=5768/117752
[pid=6096] ppid=6093 vsize=26908 CPUtime=1722.33 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 22488 0 0 0 167739 4494 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 26908
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6150
/proc/meminfo: memFree=32115540/32770624 swapFree=5768/117788
[pid=6096] ppid=6093 vsize=26908 CPUtime=1782.33 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 23106 0 0 0 173574 4659 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314634240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 26908
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6151
/proc/meminfo: memFree=32115340/32770624 swapFree=5768/117824
[pid=6096] ppid=6093 vsize=26908 CPUtime=1842.33 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 23724 0 0 0 179407 4826 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 26908
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6159
/proc/meminfo: memFree=32114536/32770624 swapFree=5768/117860
[pid=6096] ppid=6093 vsize=26908 CPUtime=1902.34 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 24342 0 0 0 185245 4989 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1902.34
Current children cumulated vsize (KiB) 26908
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6182
/proc/meminfo: memFree=32114020/32770624 swapFree=5768/117896
[pid=6096] ppid=6093 vsize=26908 CPUtime=1962.34 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 24959 0 0 0 191088 5146 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 1962.34
Current children cumulated vsize (KiB) 26908
[startup+2022.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 6183
/proc/meminfo: memFree=32114492/32770624 swapFree=5768/117924
[pid=6096] ppid=6093 vsize=26908 CPUtime=2022.34 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 25577 0 0 0 196922 5312 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 26908
[startup+2082.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 6184
/proc/meminfo: memFree=32114904/32770624 swapFree=5768/117956
[pid=6096] ppid=6093 vsize=26908 CPUtime=2082.34 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 26194 0 0 0 202762 5472 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 26908
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6185
/proc/meminfo: memFree=32115056/32770624 swapFree=5768/117992
[pid=6096] ppid=6093 vsize=26908 CPUtime=2142.34 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 26812 0 0 0 208597 5637 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 26908
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6186
/proc/meminfo: memFree=32114892/32770624 swapFree=5768/118020
[pid=6096] ppid=6093 vsize=26908 CPUtime=2202.35 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 27430 0 0 0 214439 5796 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 26908
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6247
/proc/meminfo: memFree=32115696/32770624 swapFree=5768/118084
[pid=6096] ppid=6093 vsize=26908 CPUtime=2262.34 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 28048 0 0 0 220278 5956 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 26908
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6248
/proc/meminfo: memFree=32115344/32770624 swapFree=5768/118120
[pid=6096] ppid=6093 vsize=26908 CPUtime=2322.34 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 28663 0 0 0 226109 6125 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 26908
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6249
/proc/meminfo: memFree=32115216/32770624 swapFree=5768/118148
[pid=6096] ppid=6093 vsize=26908 CPUtime=2382.34 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 29277 0 0 0 231946 6288 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534840 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 2382.34
Current children cumulated vsize (KiB) 26908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6250
/proc/meminfo: memFree=32115068/32770624 swapFree=5768/118172
[pid=6096] ppid=6093 vsize=26908 CPUtime=2400.04 cores=0,2,4,6
/proc/6096/stat : 6096 (naxos-xcsp3) R 6093 6096 3531 0 -1 4202496 29874 0 0 0 233672 6332 0 0 20 0 1 0 2043738 27553792 1416 33554432000 4194304 6986860 140721427539312 140721427534664 140389314900348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 13746176 140721427547406 140721427547487 140721427547487 140721427550186 0
/proc/6096/statm: 6727 1416 713 682 0 730 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 26908
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 6096 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400
CPU time (s): 2400.05
CPU user time (s): 2336.73
CPU system time (s): 63.3214
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 26908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2336.73
system time used= 63.3214
maximum resident set size= 5704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29904
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= 7
involuntary context switches= 603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.6279 second user time and 5.43882 second system time
The end