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-4253113-1500929379/watcher-4253113-1500929379 -o /tmp/evaluation-result-4253113-1500929379/solver-4253113-1500929379 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3806 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253113-1500929379.xml
pid=6805
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.00 2.01 2.05 2/181 6808
/proc/meminfo: memFree=32110892/32770624 swapFree=5848/118376
[pid=6808] ppid=6805 vsize=24876 CPUtime=0 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1068 0 0 0 0 0 0 0 20 0 1 0 2491425 25473024 912 33554432000 4194304 6986860 140730480420720 140730480417416 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 912 714 682 0 222 0
[startup+0.100104 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6808
/proc/meminfo: memFree=32110892/32770624 swapFree=5848/118376
[pid=6808] ppid=6805 vsize=24876 CPUtime=0.09 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1068 0 0 0 9 0 0 0 20 0 1 0 2491425 25473024 912 33554432000 4194304 6986860 140730480420720 140730480417416 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 912 714 682 0 222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24876
[startup+0.200215 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6808
/proc/meminfo: memFree=32110892/32770624 swapFree=5848/118376
[pid=6808] ppid=6805 vsize=24876 CPUtime=0.19 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1068 0 0 0 19 0 0 0 20 0 1 0 2491425 25473024 912 33554432000 4194304 6986860 140730480420720 140730480417416 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 912 714 682 0 222 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24876
[startup+0.300203 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6808
/proc/meminfo: memFree=32110892/32770624 swapFree=5848/118376
[pid=6808] ppid=6805 vsize=24876 CPUtime=0.29 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1068 0 0 0 28 1 0 0 20 0 1 0 2491425 25473024 912 33554432000 4194304 6986860 140730480420720 140730480417416 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 912 714 682 0 222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24876
[startup+0.700176 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 6808
/proc/meminfo: memFree=32110892/32770624 swapFree=5848/118376
[pid=6808] ppid=6805 vsize=24876 CPUtime=0.69 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1069 0 0 0 67 2 0 0 20 0 1 0 2491425 25473024 912 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 912 714 682 0 222 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24876
[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6809
/proc/meminfo: memFree=32109780/32770624 swapFree=5848/118408
[pid=6808] ppid=6805 vsize=24876 CPUtime=1.49 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1069 0 0 0 145 4 0 0 20 0 1 0 2491425 25473024 912 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 912 714 682 0 222 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24876
[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6809
/proc/meminfo: memFree=32109512/32770624 swapFree=5848/118408
[pid=6808] ppid=6805 vsize=24876 CPUtime=3.09 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1196 0 0 0 301 8 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24876
[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6809
/proc/meminfo: memFree=32109124/32770624 swapFree=5848/118412
[pid=6808] ppid=6805 vsize=24876 CPUtime=6.29 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1322 0 0 0 612 17 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24876
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6809
/proc/meminfo: memFree=32108920/32770624 swapFree=5848/118420
[pid=6808] ppid=6805 vsize=24876 CPUtime=12.69 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1448 0 0 0 1235 34 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24876
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6816
/proc/meminfo: memFree=32107712/32770624 swapFree=5848/118436
[pid=6808] ppid=6805 vsize=24876 CPUtime=25.49 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1704 0 0 0 2482 67 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24876
[startup+51.1002 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 6877
/proc/meminfo: memFree=32123784/32770624 swapFree=5848/118488
[pid=6808] ppid=6805 vsize=24876 CPUtime=51.09 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1838 0 0 0 4983 126 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24876
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 6878
/proc/meminfo: memFree=32123036/32770624 swapFree=5848/118568
[pid=6808] ppid=6805 vsize=24876 CPUtime=102.29 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 1977 0 0 0 9978 251 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 24876
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6879
/proc/meminfo: memFree=32122860/32770624 swapFree=5848/118612
[pid=6808] ppid=6805 vsize=24876 CPUtime=162.28 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 2114 0 0 0 15841 387 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 24876
[startup+222.305 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6880
/proc/meminfo: memFree=32123212/32770624 swapFree=5848/118652
[pid=6808] ppid=6805 vsize=24876 CPUtime=222.28 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 2248 0 0 0 21705 523 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 24876
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6881
/proc/meminfo: memFree=32122592/32770624 swapFree=5848/118696
[pid=6808] ppid=6805 vsize=24876 CPUtime=282.27 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 2390 0 0 0 27565 662 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 24876
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6883
/proc/meminfo: memFree=32122176/32770624 swapFree=5848/118732
[pid=6808] ppid=6805 vsize=24876 CPUtime=342.27 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 2526 0 0 0 33431 796 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 24876
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6884
/proc/meminfo: memFree=32121928/32770624 swapFree=5848/118764
[pid=6808] ppid=6805 vsize=24876 CPUtime=402.27 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 2661 0 0 0 39289 938 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 24876
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6885
/proc/meminfo: memFree=32122096/32770624 swapFree=5848/118796
[pid=6808] ppid=6805 vsize=24876 CPUtime=462.26 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 2797 0 0 0 45153 1073 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 24876
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6887
/proc/meminfo: memFree=32121948/32770624 swapFree=5848/118848
[pid=6808] ppid=6805 vsize=24876 CPUtime=522.26 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 2932 0 0 0 51010 1216 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 24876
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6888
/proc/meminfo: memFree=32121732/32770624 swapFree=5848/118900
[pid=6808] ppid=6805 vsize=24876 CPUtime=582.26 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 3072 0 0 0 56868 1358 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 24876
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6939
/proc/meminfo: memFree=32120436/32770624 swapFree=5848/119452
[pid=6808] ppid=6805 vsize=24876 CPUtime=1482.2 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 5152 0 0 0 144752 3468 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 24876
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6940
/proc/meminfo: memFree=32120988/32770624 swapFree=5848/119492
[pid=6808] ppid=6805 vsize=24876 CPUtime=1542.2 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 5289 0 0 0 150614 3606 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 24876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6941
/proc/meminfo: memFree=32120988/32770624 swapFree=5848/119520
[pid=6808] ppid=6805 vsize=24876 CPUtime=1602.19 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 5426 0 0 0 156474 3745 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 24876
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6942
/proc/meminfo: memFree=32121360/32770624 swapFree=5848/119560
[pid=6808] ppid=6805 vsize=24876 CPUtime=1662.2 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 5568 0 0 0 162334 3886 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 24876
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6943
/proc/meminfo: memFree=32121316/32770624 swapFree=5848/119596
[pid=6808] ppid=6805 vsize=24876 CPUtime=1722.19 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 5705 0 0 0 168192 4027 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 24876
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6944
/proc/meminfo: memFree=32120700/32770624 swapFree=5848/119620
[pid=6808] ppid=6805 vsize=24876 CPUtime=1782.18 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 5844 0 0 0 174053 4165 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 24876
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6952
/proc/meminfo: memFree=32119648/32770624 swapFree=5848/119656
[pid=6808] ppid=6805 vsize=24876 CPUtime=1842.18 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 5982 0 0 0 179917 4301 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1842.18
Current children cumulated vsize (KiB) 24876
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6953
/proc/meminfo: memFree=32120076/32770624 swapFree=5848/119684
[pid=6808] ppid=6805 vsize=24876 CPUtime=1902.18 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 6120 0 0 0 185781 4437 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 24876
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6954
/proc/meminfo: memFree=32119828/32770624 swapFree=5848/119712
[pid=6808] ppid=6805 vsize=24876 CPUtime=1962.18 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 6260 0 0 0 191650 4568 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 1962.18
Current children cumulated vsize (KiB) 24876
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6955
/proc/meminfo: memFree=32119952/32770624 swapFree=5848/119740
[pid=6808] ppid=6805 vsize=24876 CPUtime=2022.17 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 6400 0 0 0 197512 4705 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 24876
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6956
/proc/meminfo: memFree=32120216/32770624 swapFree=5848/119768
[pid=6808] ppid=6805 vsize=24876 CPUtime=2082.17 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 6540 0 0 0 203382 4835 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 2082.17
Current children cumulated vsize (KiB) 24876
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6958
/proc/meminfo: memFree=32120092/32770624 swapFree=5848/119804
[pid=6808] ppid=6805 vsize=24876 CPUtime=2142.16 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 6678 0 0 0 209239 4977 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 2142.16
Current children cumulated vsize (KiB) 24876
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6959
/proc/meminfo: memFree=32120380/32770624 swapFree=5848/119836
[pid=6808] ppid=6805 vsize=24876 CPUtime=2202.16 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 6816 0 0 0 215099 5117 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 2202.16
Current children cumulated vsize (KiB) 24876
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6960
/proc/meminfo: memFree=32120636/32770624 swapFree=5848/119872
[pid=6808] ppid=6805 vsize=24876 CPUtime=2262.15 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 6956 0 0 0 220964 5251 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416072 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 2262.15
Current children cumulated vsize (KiB) 24876
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6962
/proc/meminfo: memFree=32120348/32770624 swapFree=5848/119908
[pid=6808] ppid=6805 vsize=24876 CPUtime=2322.15 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 7095 0 0 0 226830 5385 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 2322.15
Current children cumulated vsize (KiB) 24876
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6963
/proc/meminfo: memFree=32119884/32770624 swapFree=5848/119936
[pid=6808] ppid=6805 vsize=24876 CPUtime=2382.15 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 7235 0 0 0 232694 5521 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 2382.15
Current children cumulated vsize (KiB) 24876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6963
/proc/meminfo: memFree=32120008/32770624 swapFree=5848/119944
[pid=6808] ppid=6805 vsize=24876 CPUtime=2400.05 cores=1,3,5,7
/proc/6808/stat : 6808 (naxos-xcsp3) R 6805 6808 3774 0 -1 4202496 7373 0 0 0 234442 5563 0 0 20 0 1 0 2491425 25473024 916 33554432000 4194304 6986860 140730480420720 140730480416248 140361402192252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 22482944 140730480428302 140730480428383 140730480428383 140730480431082 0
/proc/6808/statm: 6219 916 716 682 0 222 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 24876
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 6808 sig 9
??? kill -6808 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.06
CPU user time (s): 2344.43
CPU system time (s): 55.6377
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 24876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2344.43
system time used= 55.6377
maximum resident set size= 3684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7401
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= 5
involuntary context switches= 1802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86597 second user time and 8.48422 second system time
The end