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-4251796-1500919737/watcher-4251796-1500919737 -o /tmp/evaluation-result-4251796-1500919737/solver-4251796-1500919737 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3806 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251796-1500919737.xml
pid=4631
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 1.97 3/181 4634
/proc/meminfo: memFree=32097572/32770624 swapFree=5848/111412
[pid=4634] ppid=4631 vsize=24864 CPUtime=0 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 992 0 0 0 0 0 0 0 20 0 1 0 1527178 25460736 834 33554432000 4194304 6986860 140737480631232 140737480627928 140599220153317 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 6216 834 668 682 0 219 0
[startup+0.100118 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 4634
/proc/meminfo: memFree=32097572/32770624 swapFree=5848/111412
[pid=4634] ppid=4631 vsize=45388 CPUtime=0.09 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 6143 0 0 0 9 0 0 0 20 0 1 0 1527178 46477312 5970 33554432000 4194304 6986860 140737480631232 140737480627928 140599220153317 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11347 5970 673 682 0 5350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45388
[startup+0.200324 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 4634
/proc/meminfo: memFree=32097572/32770624 swapFree=5848/111412
[pid=4634] ppid=4631 vsize=47716 CPUtime=0.19 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 6746 0 0 0 18 1 0 0 20 0 1 0 1527178 48861184 6584 33554432000 4194304 6986860 140737480631232 140737480627928 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11929 6584 688 682 0 5932 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47716
[startup+0.300316 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 4634
/proc/meminfo: memFree=32097572/32770624 swapFree=5848/111412
[pid=4634] ppid=4631 vsize=47716 CPUtime=0.29 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 6749 0 0 0 28 1 0 0 20 0 1 0 1527178 48861184 6584 33554432000 4194304 6986860 140737480631232 140737480627928 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11929 6584 688 682 0 5932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47716
[startup+0.700267 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 4634
/proc/meminfo: memFree=32097572/32770624 swapFree=5848/111412
[pid=4634] ppid=4631 vsize=47716 CPUtime=0.69 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 6749 0 0 0 68 1 0 0 20 0 1 0 1527178 48861184 6584 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11929 6584 688 682 0 5932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47716
[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4635
/proc/meminfo: memFree=32074044/32770624 swapFree=5848/111448
[pid=4634] ppid=4631 vsize=47716 CPUtime=1.49 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 6749 0 0 0 148 1 0 0 20 0 1 0 1527178 48861184 6584 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11929 6584 688 682 0 5932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47716
[startup+3.10026 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4635
/proc/meminfo: memFree=32073672/32770624 swapFree=5848/111448
[pid=4634] ppid=4631 vsize=47716 CPUtime=3.09 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 12559 0 0 0 307 2 0 0 20 0 1 0 1527178 48861184 6596 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11929 6596 688 682 0 5932 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47716
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4635
/proc/meminfo: memFree=32073376/32770624 swapFree=5848/111448
[pid=4634] ppid=4631 vsize=47716 CPUtime=6.29 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 18394 0 0 0 626 3 0 0 20 0 1 0 1527178 48861184 6597 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11929 6597 688 682 0 5932 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47716
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4696
/proc/meminfo: memFree=32106468/32770624 swapFree=5848/111464
[pid=4634] ppid=4631 vsize=47716 CPUtime=12.69 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 24229 0 0 0 1263 6 0 0 20 0 1 0 1527178 48861184 6597 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11929 6597 688 682 0 5932 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47716
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4696
/proc/meminfo: memFree=32105972/32770624 swapFree=5848/111500
[pid=4634] ppid=4631 vsize=47844 CPUtime=25.48 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 31789 0 0 0 2537 11 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47844
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 1.98 3/182 4696
/proc/meminfo: memFree=32106152/32770624 swapFree=5848/111516
[pid=4634] ppid=4631 vsize=47844 CPUtime=51.07 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 32041 0 0 0 5087 20 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47844
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/182 4704
/proc/meminfo: memFree=32105592/32770624 swapFree=5848/111568
[pid=4634] ppid=4631 vsize=47844 CPUtime=102.28 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 32294 0 0 0 10188 40 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 47844
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/182 4705
/proc/meminfo: memFree=32105412/32770624 swapFree=5848/111592
[pid=4634] ppid=4631 vsize=47844 CPUtime=162.27 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 32546 0 0 0 16161 66 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 47844
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 4706
/proc/meminfo: memFree=32105528/32770624 swapFree=5848/111620
[pid=4634] ppid=4631 vsize=47844 CPUtime=222.27 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 32798 0 0 0 22138 89 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 47844
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 4707
/proc/meminfo: memFree=32105676/32770624 swapFree=5848/111648
[pid=4634] ppid=4631 vsize=47844 CPUtime=282.26 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 33051 0 0 0 28116 110 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 47844
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 4708
/proc/meminfo: memFree=32105964/32770624 swapFree=5848/111676
[pid=4634] ppid=4631 vsize=47844 CPUtime=342.26 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 33304 0 0 0 34093 133 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 47844
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 4709
/proc/meminfo: memFree=32105956/32770624 swapFree=5848/111716
[pid=4634] ppid=4631 vsize=47844 CPUtime=402.26 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 33556 0 0 0 40068 158 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 47844
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 4710
/proc/meminfo: memFree=32106412/32770624 swapFree=5848/111744
[pid=4634] ppid=4631 vsize=47844 CPUtime=462.25 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 33810 0 0 0 46045 180 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 47844
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 4711
/proc/meminfo: memFree=32106328/32770624 swapFree=5848/111772
[pid=4634] ppid=4631 vsize=47844 CPUtime=522.25 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 34062 0 0 0 52024 201 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 47844
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 4712
/proc/meminfo: memFree=32106448/32770624 swapFree=5848/111800
[pid=4634] ppid=4631 vsize=47844 CPUtime=582.24 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 34314 0 0 0 57999 225 0 0 20 0 1 0 1527178 48992256 6607 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6607 688 682 0 5964 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 47844
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4744
/proc/meminfo: memFree=32105436/32770624 swapFree=5848/112264
[pid=4634] ppid=4631 vsize=47844 CPUtime=1482.18 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 38103 0 0 0 147654 564 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 47844
[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 1.99 3/182 4745
/proc/meminfo: memFree=32105148/32770624 swapFree=5848/112292
[pid=4634] ppid=4631 vsize=47844 CPUtime=1542.19 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 38355 0 0 0 153631 588 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 47844
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/182 4746
/proc/meminfo: memFree=32105244/32770624 swapFree=5848/112328
[pid=4634] ppid=4631 vsize=47844 CPUtime=1602.17 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 38607 0 0 0 159607 610 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1602.17
Current children cumulated vsize (KiB) 47844
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/182 4747
/proc/meminfo: memFree=32104880/32770624 swapFree=5848/112360
[pid=4634] ppid=4631 vsize=47844 CPUtime=1662.17 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 38860 0 0 0 165582 635 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 47844
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 4748
/proc/meminfo: memFree=32104948/32770624 swapFree=5848/112388
[pid=4634] ppid=4631 vsize=47844 CPUtime=1722.17 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 39112 0 0 0 171559 658 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 47844
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 4749
/proc/meminfo: memFree=32104948/32770624 swapFree=5848/112416
[pid=4634] ppid=4631 vsize=47844 CPUtime=1782.16 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 39364 0 0 0 177536 680 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 47844
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 4750
/proc/meminfo: memFree=32104820/32770624 swapFree=5848/112444
[pid=4634] ppid=4631 vsize=47844 CPUtime=1842.16 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 39617 0 0 0 183512 704 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 47844
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4758
/proc/meminfo: memFree=32104332/32770624 swapFree=5848/112480
[pid=4634] ppid=4631 vsize=47844 CPUtime=1902.15 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 39869 0 0 0 189489 726 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 47844
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4759
/proc/meminfo: memFree=32104308/32770624 swapFree=5848/112508
[pid=4634] ppid=4631 vsize=47844 CPUtime=1962.15 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 40121 0 0 0 195466 749 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 47844
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/182 4760
/proc/meminfo: memFree=32104440/32770624 swapFree=5848/112536
[pid=4634] ppid=4631 vsize=47844 CPUtime=2022.14 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 40374 0 0 0 201442 772 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 47844
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 4761
/proc/meminfo: memFree=32105084/32770624 swapFree=5848/112564
[pid=4634] ppid=4631 vsize=47844 CPUtime=2082.15 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 40626 0 0 0 207419 796 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 47844
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 4762
/proc/meminfo: memFree=32105012/32770624 swapFree=5848/112592
[pid=4634] ppid=4631 vsize=47844 CPUtime=2142.13 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 40880 0 0 0 213397 816 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 47844
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4763
/proc/meminfo: memFree=32105136/32770624 swapFree=5848/112620
[pid=4634] ppid=4631 vsize=47844 CPUtime=2202.14 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 41132 0 0 0 219374 840 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 47844
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4764
/proc/meminfo: memFree=32104996/32770624 swapFree=5848/112656
[pid=4634] ppid=4631 vsize=47844 CPUtime=2262.13 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 41384 0 0 0 225352 861 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 47844
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4765
/proc/meminfo: memFree=32105444/32770624 swapFree=5848/112688
[pid=4634] ppid=4631 vsize=47844 CPUtime=2322.13 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 41637 0 0 0 231329 884 0 0 20 0 1 0 1527178 48992256 6608 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11961 6608 688 682 0 5964 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 47844
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4766
/proc/meminfo: memFree=32105084/32770624 swapFree=5848/112716
[pid=4634] ppid=4631 vsize=47840 CPUtime=2382.13 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 41891 0 0 0 237308 905 0 0 20 0 1 0 1527178 48988160 6608 33554432000 4194304 6986860 140737480631232 140737480626760 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11960 6608 688 682 0 5963 0
Current children cumulated CPU time (s) 2382.13
Current children cumulated vsize (KiB) 47840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4766
/proc/meminfo: memFree=32105332/32770624 swapFree=5848/112724
[pid=4634] ppid=4631 vsize=47840 CPUtime=2400.02 cores=1,3,5,7
/proc/4634/stat : 4634 (naxos-xcsp3) R 4631 4634 3774 0 -1 4202496 42143 0 0 0 239092 910 0 0 20 0 1 0 1527178 48988160 6608 33554432000 4194304 6986860 140737480631232 140737480626584 140599220416892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29319168 140737480639758 140737480639839 140737480639839 140737480642538 0
/proc/4634/statm: 11960 6608 688 682 0 5963 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 47840
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 4634 sig 9
??? kill -4634 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.04
CPU user time (s): 2390.93
CPU system time (s): 9.10838
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 47844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.93
system time used= 9.10838
maximum resident set size= 26472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42173
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= 18
involuntary context switches= 1821
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09579 second user time and 10.4559 second system time
The end