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-4253475-1500934191/watcher-4253475-1500934191 -o /tmp/evaluation-result-4253475-1500934191/solver-4253475-1500934191 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500914927-3715 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253475-1500934191.xml
pid=7418
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.04 2.04 2.05 3/181 7421
/proc/meminfo: memFree=32104976/32770624 swapFree=5836/130520
[pid=7421] ppid=7418 vsize=24620 CPUtime=0 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 930 0 0 0 0 0 0 0 20 0 1 0 2959270 25210880 756 33554432000 4194304 6986860 140732682700256 140732682696952 5731735 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6155 756 665 682 0 158 0
[startup+0.100155 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 7421
/proc/meminfo: memFree=32104976/32770624 swapFree=5836/130520
[pid=7421] ppid=7418 vsize=25544 CPUtime=0.09 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 1218 0 0 0 9 0 0 0 20 0 1 0 2959270 26157056 1010 33554432000 4194304 6986860 140732682700256 140732682696952 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1010 701 682 0 389 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25544
[startup+0.200272 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 7421
/proc/meminfo: memFree=32104976/32770624 swapFree=5836/130520
[pid=7421] ppid=7418 vsize=25544 CPUtime=0.19 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 1219 0 0 0 19 0 0 0 20 0 1 0 2959270 26157056 1010 33554432000 4194304 6986860 140732682700256 140732682696952 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1010 701 682 0 389 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25544
[startup+0.300242 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 7421
/proc/meminfo: memFree=32104976/32770624 swapFree=5836/130520
[pid=7421] ppid=7418 vsize=25544 CPUtime=0.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 1219 0 0 0 29 0 0 0 20 0 1 0 2959270 26157056 1010 33554432000 4194304 6986860 140732682700256 140732682696952 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1010 701 682 0 389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25544
[startup+0.70022 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 7421
/proc/meminfo: memFree=32104976/32770624 swapFree=5836/130520
[pid=7421] ppid=7418 vsize=25544 CPUtime=0.69 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 1219 0 0 0 69 0 0 0 20 0 1 0 2959270 26157056 1010 33554432000 4194304 6986860 140732682700256 140732682696952 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1010 701 682 0 389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25544
[startup+1.50021 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 7422
/proc/meminfo: memFree=32103168/32770624 swapFree=5836/130520
[pid=7421] ppid=7418 vsize=25544 CPUtime=1.49 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 1219 0 0 0 149 0 0 0 20 0 1 0 2959270 26157056 1010 33554432000 4194304 6986860 140732682700256 140732682696952 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1010 701 682 0 389 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25544
[startup+3.10022 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 7422
/proc/meminfo: memFree=32102904/32770624 swapFree=5836/130520
[pid=7421] ppid=7418 vsize=25544 CPUtime=3.09 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 1460 0 0 0 308 1 0 0 20 0 1 0 2959270 26157056 1065 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1065 706 682 0 389 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25544
[startup+6.30022 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 7422
/proc/meminfo: memFree=32102616/32770624 swapFree=5836/130556
[pid=7421] ppid=7418 vsize=25544 CPUtime=6.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 1694 0 0 0 627 2 0 0 20 0 1 0 2959270 26157056 1067 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1067 706 682 0 389 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25544
[startup+12.7002 s]
/proc/loadavg: 2.03 2.04 2.05 3/183 7431
/proc/meminfo: memFree=32101168/32770624 swapFree=5836/130556
[pid=7421] ppid=7418 vsize=25544 CPUtime=12.69 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 1936 0 0 0 1264 5 0 0 20 0 1 0 2959270 26157056 1067 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1067 706 682 0 389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25544
[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 7431
/proc/meminfo: memFree=32101616/32770624 swapFree=5836/130576
[pid=7421] ppid=7418 vsize=25544 CPUtime=25.49 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 2409 0 0 0 2539 10 0 0 20 0 1 0 2959270 26157056 1067 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1067 706 682 0 389 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25544
[startup+51.1003 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 7431
/proc/meminfo: memFree=32101616/32770624 swapFree=5836/130596
[pid=7421] ppid=7418 vsize=25544 CPUtime=51.09 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 2661 0 0 0 5090 19 0 0 20 0 1 0 2959270 26157056 1067 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1067 706 682 0 389 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25544
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 7432
/proc/meminfo: memFree=32101652/32770624 swapFree=5836/130628
[pid=7421] ppid=7418 vsize=25544 CPUtime=102.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 2908 0 0 0 10195 35 0 0 20 0 1 0 2959270 26157056 1068 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1068 706 682 0 389 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25544
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7433
/proc/meminfo: memFree=32101888/32770624 swapFree=5836/130664
[pid=7421] ppid=7418 vsize=25544 CPUtime=162.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 3158 0 0 0 16178 51 0 0 20 0 1 0 2959270 26157056 1068 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1068 706 682 0 389 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 25544
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7434
/proc/meminfo: memFree=32101888/32770624 swapFree=5836/130700
[pid=7421] ppid=7418 vsize=25544 CPUtime=222.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 3400 0 0 0 22158 72 0 0 20 0 1 0 2959270 26157056 1068 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1068 706 682 0 389 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 25544
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7435
/proc/meminfo: memFree=32101516/32770624 swapFree=5836/130728
[pid=7421] ppid=7418 vsize=25544 CPUtime=282.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 3655 0 0 0 28142 87 0 0 20 0 1 0 2959270 26157056 1068 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1068 706 682 0 389 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25544
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7436
/proc/meminfo: memFree=32101408/32770624 swapFree=5836/130760
[pid=7421] ppid=7418 vsize=25544 CPUtime=342.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 3905 0 0 0 34127 102 0 0 20 0 1 0 2959270 26157056 1070 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1070 706 682 0 389 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25544
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7437
/proc/meminfo: memFree=32101908/32770624 swapFree=5836/130784
[pid=7421] ppid=7418 vsize=25544 CPUtime=402.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 4153 0 0 0 40110 119 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25544
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 7439
/proc/meminfo: memFree=32101580/32770624 swapFree=5836/130804
[pid=7421] ppid=7418 vsize=25544 CPUtime=462.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 4413 0 0 0 46093 136 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 25544
[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 7440
/proc/meminfo: memFree=32101628/32770624 swapFree=5836/130828
[pid=7421] ppid=7418 vsize=25544 CPUtime=522.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 4666 0 0 0 52076 153 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 5438351 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 25544
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7441
/proc/meminfo: memFree=32101628/32770624 swapFree=5836/130852
[pid=7421] ppid=7418 vsize=25544 CPUtime=582.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 4920 0 0 0 58059 171 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 25544
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 1.52 1.89 2.00 2/175 8555
/proc/meminfo: memFree=32106176/32770624 swapFree=5836/130584
[pid=7421] ppid=7418 vsize=25544 CPUtime=1482.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 8706 0 0 0 147794 435 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 25544
[startup+1542.31 s]
/proc/loadavg: 1.19 1.73 1.94 2/175 8556
/proc/meminfo: memFree=32106620/32770624 swapFree=5836/130592
[pid=7421] ppid=7418 vsize=25544 CPUtime=1542.31 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 8958 0 0 0 153779 452 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 25544
[startup+1602.3 s]
/proc/loadavg: 1.07 1.59 1.88 2/175 8557
/proc/meminfo: memFree=32106612/32770624 swapFree=5836/130624
[pid=7421] ppid=7418 vsize=25544 CPUtime=1602.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 9211 0 0 0 159765 465 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 25544
[startup+1662.3 s]
/proc/loadavg: 1.03 1.49 1.83 2/175 8558
/proc/meminfo: memFree=32107180/32770624 swapFree=5836/130664
[pid=7421] ppid=7418 vsize=25544 CPUtime=1662.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 9463 0 0 0 165748 482 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 25544
[startup+1722.3 s]
/proc/loadavg: 1.01 1.40 1.77 2/175 8559
/proc/meminfo: memFree=32107148/32770624 swapFree=5836/130684
[pid=7421] ppid=7418 vsize=25544 CPUtime=1722.29 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 9716 0 0 0 171730 499 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 25544
[startup+1782.3 s]
/proc/loadavg: 1.00 1.33 1.73 2/175 8560
/proc/meminfo: memFree=32107156/32770624 swapFree=5836/130700
[pid=7421] ppid=7418 vsize=25544 CPUtime=1782.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 9969 0 0 0 177714 516 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 25544
[startup+1842.3 s]
/proc/loadavg: 1.00 1.27 1.68 2/175 8568
/proc/meminfo: memFree=32106344/32770624 swapFree=5836/130724
[pid=7421] ppid=7418 vsize=25544 CPUtime=1842.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 10222 0 0 0 183698 532 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 25544
[startup+1902.3 s]
/proc/loadavg: 1.00 1.22 1.64 2/175 8569
/proc/meminfo: memFree=32106928/32770624 swapFree=5836/130752
[pid=7421] ppid=7418 vsize=25544 CPUtime=1902.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 10475 0 0 0 189685 545 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 25544
[startup+1962.3 s]
/proc/loadavg: 1.08 1.19 1.60 2/175 8570
/proc/meminfo: memFree=32106936/32770624 swapFree=5836/130768
[pid=7421] ppid=7418 vsize=25544 CPUtime=1962.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 10730 0 0 0 195670 560 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 25544
[startup+2022.3 s]
/proc/loadavg: 1.03 1.16 1.57 2/175 8571
/proc/meminfo: memFree=32106936/32770624 swapFree=5836/130796
[pid=7421] ppid=7418 vsize=25544 CPUtime=2022.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 10983 0 0 0 201653 577 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 25544
[startup+2082.3 s]
/proc/loadavg: 1.01 1.13 1.53 2/175 8572
/proc/meminfo: memFree=32107160/32770624 swapFree=5836/130812
[pid=7421] ppid=7418 vsize=25544 CPUtime=2082.31 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 11236 0 0 0 207638 593 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 5474373 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 25544
[startup+2142.3 s]
/proc/loadavg: 1.00 1.11 1.50 2/175 8573
/proc/meminfo: memFree=32107012/32770624 swapFree=5836/130832
[pid=7421] ppid=7418 vsize=25544 CPUtime=2142.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 11489 0 0 0 213618 612 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 25544
[startup+2202.31 s]
/proc/loadavg: 1.00 1.09 1.47 2/175 8574
/proc/meminfo: memFree=32107344/32770624 swapFree=5836/130848
[pid=7421] ppid=7418 vsize=25544 CPUtime=2202.31 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 11741 0 0 0 219594 637 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 25544
[startup+2262.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/175 8575
/proc/meminfo: memFree=32107180/32770624 swapFree=5836/130868
[pid=7421] ppid=7418 vsize=25544 CPUtime=2262.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 11993 0 0 0 225577 653 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 25544
[startup+2322.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/175 8576
/proc/meminfo: memFree=32107544/32770624 swapFree=5836/130904
[pid=7421] ppid=7418 vsize=25544 CPUtime=2322.3 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 12250 0 0 0 231556 674 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 2322.3
Current children cumulated vsize (KiB) 25544
[startup+2382.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/175 8577
/proc/meminfo: memFree=32107304/32770624 swapFree=5836/130924
[pid=7421] ppid=7418 vsize=25544 CPUtime=2382.31 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 12507 0 0 0 237536 695 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695608 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 25544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 1.00 1.04 1.38 2/175 8577
/proc/meminfo: memFree=32107428/32770624 swapFree=5836/130940
[pid=7421] ppid=7418 vsize=25544 CPUtime=2400 cores=1,3,5,7
/proc/7421/stat : 7421 (naxos-xcsp3) R 7418 7421 3683 0 -1 4202496 12759 0 0 0 239299 701 0 0 20 0 1 0 2959270 26157056 1073 33554432000 4194304 6986860 140732682700256 140732682695784 140632373883260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23560192 140732682704142 140732682704223 140732682704223 140732682706922 0
/proc/7421/statm: 6386 1073 706 682 0 389 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 25544
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 7421 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.01
CPU user time (s): 2393
CPU system time (s): 7.01604
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 25544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393
system time used= 7.01604
maximum resident set size= 4312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12787
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= 638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20535 second user time and 8.00647 second system time
The end