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-4252911-1501983728/watcher-4252911-1501983728 -o /tmp/evaluation-result-4252911-1501983728/solver-4252911-1501983728 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501978048-2909 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252911-1501983728.xml
pid=4769
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.06 2.05 2.05 3/181 4772
/proc/meminfo: memFree=31992076/32770624 swapFree=0/257716
[pid=4772] ppid=4769 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (runsolver) D 4769 4772 2450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 566571 24240128 106 18446744073709551615 4194304 4338465 140724715076688 140724715074328 140160975250135 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 37085184 140724715081939 140724715082316 140724715082316 140724715085770 0
/proc/4772/statm: 5918 106 53 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 4772
/proc/meminfo: memFree=31992076/32770624 swapFree=0/257716
[pid=4772] ppid=4769 vsize=25524 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 1132 0 0 0 0 0 0 0 20 0 1 0 566571 26136576 979 18446744073709551615 4194304 6986860 140734874223744 140734874220440 140318780398565 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 6381 979 649 682 0 384 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25524
[startup+0.200342 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 4772
/proc/meminfo: memFree=31992076/32770624 swapFree=0/257716
[pid=4772] ppid=4769 vsize=32740 CPUtime=0.1 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 2967 0 0 0 10 0 0 0 20 0 1 0 566571 33525760 2754 18446744073709551615 4194304 6986860 140734874223744 140734874220440 140318780398565 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 8185 2754 687 682 0 2188 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32740
[startup+0.300369 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 4772
/proc/meminfo: memFree=31992076/32770624 swapFree=0/257716
[pid=4772] ppid=4769 vsize=37076 CPUtime=0.2 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 4080 0 0 0 20 0 0 0 20 0 1 0 566571 37965824 3870 18446744073709551615 4194304 6986860 140734874223744 140734874220440 140318780398565 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 9269 3936 703 682 0 3272 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 37076
[startup+0.700274 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 4772
/proc/meminfo: memFree=31992076/32770624 swapFree=0/257716
[pid=4772] ppid=4769 vsize=40772 CPUtime=0.6 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5003 0 0 0 60 0 0 0 20 0 1 0 566571 41750528 4794 18446744073709551615 4194304 6986860 140734874223744 140734874220440 5429892 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4794 703 682 0 4196 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 40772
[startup+1.50028 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 4773
/proc/meminfo: memFree=31975632/32770624 swapFree=0/257688
[pid=4772] ppid=4769 vsize=40772 CPUtime=1.4 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5003 0 0 0 140 0 0 0 20 0 1 0 566571 41750528 4794 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5430985 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4794 703 682 0 4196 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 40772
[startup+3.10028 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 4773
/proc/meminfo: memFree=31974996/32770624 swapFree=0/257696
[pid=4772] ppid=4769 vsize=40772 CPUtime=3 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5010 0 0 0 300 0 0 0 20 0 1 0 566571 41750528 4856 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5431147 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4856 703 682 0 4196 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 40772
[startup+6.30028 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 4773
/proc/meminfo: memFree=31974900/32770624 swapFree=0/257852
[pid=4772] ppid=4769 vsize=40772 CPUtime=6.2 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5017 0 0 0 620 0 0 0 20 0 1 0 566571 41750528 4856 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355338 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4856 703 682 0 4196 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 40772
[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 4773
/proc/meminfo: memFree=31974528/32770624 swapFree=0/257852
[pid=4772] ppid=4769 vsize=40772 CPUtime=12.59 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5024 0 0 0 1259 0 0 0 20 0 1 0 566571 41750528 4856 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5476450 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4856 703 682 0 4196 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 40772
[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 4774
/proc/meminfo: memFree=31974404/32770624 swapFree=0/257876
[pid=4772] ppid=4769 vsize=40772 CPUtime=25.39 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5038 0 0 0 2539 0 0 0 20 0 1 0 566571 41750528 4856 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5284448 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4856 703 682 0 4196 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 40772
[startup+51.1003 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 4774
/proc/meminfo: memFree=31973752/32770624 swapFree=0/257884
[pid=4772] ppid=4769 vsize=40772 CPUtime=50.99 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5045 0 0 0 5099 0 0 0 20 0 1 0 566571 41750528 4856 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5430949 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4856 703 682 0 4196 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 40772
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4776
/proc/meminfo: memFree=31973880/32770624 swapFree=0/257916
[pid=4772] ppid=4769 vsize=40772 CPUtime=102.2 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5053 0 0 0 10220 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5472144 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 40772
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 4791
/proc/meminfo: memFree=31970896/32770624 swapFree=0/257964
[pid=4772] ppid=4769 vsize=40772 CPUtime=162.19 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5059 0 0 0 16219 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355911 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 40772
[startup+222.306 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 4793
/proc/meminfo: memFree=31973048/32770624 swapFree=0/257996
[pid=4772] ppid=4769 vsize=40772 CPUtime=222.19 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5065 0 0 0 22219 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355309 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 40772
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 4795
/proc/meminfo: memFree=31973972/32770624 swapFree=0/258016
[pid=4772] ppid=4769 vsize=40772 CPUtime=282.18 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5071 0 0 0 28218 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355323 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 40772
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4797
/proc/meminfo: memFree=31973848/32770624 swapFree=0/258036
[pid=4772] ppid=4769 vsize=40772 CPUtime=342.18 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5077 0 0 0 34218 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355305 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 40772
[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 4799
/proc/meminfo: memFree=31974376/32770624 swapFree=0/258064
[pid=4772] ppid=4769 vsize=40772 CPUtime=402.18 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5083 0 0 0 40218 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5430943 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 40772
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4801
/proc/meminfo: memFree=31974712/32770624 swapFree=0/258084
[pid=4772] ppid=4769 vsize=40772 CPUtime=462.18 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5089 0 0 0 46218 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355797 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 40772
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4803
/proc/meminfo: memFree=31974976/32770624 swapFree=0/258108
[pid=4772] ppid=4769 vsize=40772 CPUtime=522.18 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5095 0 0 0 52218 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5430901 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 40772
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 4805
/proc/meminfo: memFree=31974720/32770624 swapFree=0/258128
[pid=4772] ppid=4769 vsize=40772 CPUtime=582.17 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5101 0 0 0 58217 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5453328 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 40772
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/183 4909
/proc/meminfo: memFree=31853308/32770624 swapFree=0/285096
[pid=4772] ppid=4769 vsize=40772 CPUtime=1482.14 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5191 0 0 0 148214 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5431132 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1482.14
Current children cumulated vsize (KiB) 40772
[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 2.05 3/183 4911
/proc/meminfo: memFree=31853620/32770624 swapFree=0/285116
[pid=4772] ppid=4769 vsize=40772 CPUtime=1542.14 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5197 0 0 0 154214 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5474360 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 40772
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 4913
/proc/meminfo: memFree=31853372/32770624 swapFree=0/285136
[pid=4772] ppid=4769 vsize=40772 CPUtime=1602.14 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5203 0 0 0 160214 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5473977 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 40772
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4916
/proc/meminfo: memFree=31852992/32770624 swapFree=0/285168
[pid=4772] ppid=4769 vsize=40772 CPUtime=1662.13 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5209 0 0 0 166213 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5476458 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 40772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 4918
/proc/meminfo: memFree=31853240/32770624 swapFree=0/285192
[pid=4772] ppid=4769 vsize=40772 CPUtime=1722.13 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5215 0 0 0 172213 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5431038 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 40772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4920
/proc/meminfo: memFree=31853164/32770624 swapFree=0/285212
[pid=4772] ppid=4769 vsize=40772 CPUtime=1782.13 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5221 0 0 0 178213 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355920 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 40772
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4923
/proc/meminfo: memFree=31853032/32770624 swapFree=0/285236
[pid=4772] ppid=4769 vsize=40772 CPUtime=1842.13 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5227 0 0 0 184213 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5473972 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 40772
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 4925
/proc/meminfo: memFree=31853388/32770624 swapFree=0/285256
[pid=4772] ppid=4769 vsize=40772 CPUtime=1902.12 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5233 0 0 0 190212 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5430901 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 40772
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 4941
/proc/meminfo: memFree=31848972/32770624 swapFree=0/285312
[pid=4772] ppid=4769 vsize=40772 CPUtime=1962.12 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5239 0 0 0 196212 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5430243 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 40772
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 4968
/proc/meminfo: memFree=31848192/32770624 swapFree=0/285372
[pid=4772] ppid=4769 vsize=40772 CPUtime=2022.12 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5245 0 0 0 202212 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5429747 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 40772
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 4970
/proc/meminfo: memFree=31851096/32770624 swapFree=0/285396
[pid=4772] ppid=4769 vsize=40772 CPUtime=2082.12 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5251 0 0 0 208212 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5453216 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 40772
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4972
/proc/meminfo: memFree=31852948/32770624 swapFree=0/285416
[pid=4772] ppid=4769 vsize=40772 CPUtime=2142.12 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5257 0 0 0 214212 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355911 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 40772
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4974
/proc/meminfo: memFree=31853200/32770624 swapFree=0/285444
[pid=4772] ppid=4769 vsize=40772 CPUtime=2202.12 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5263 0 0 0 220212 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5284448 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 40772
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4976
/proc/meminfo: memFree=31853208/32770624 swapFree=0/285464
[pid=4772] ppid=4769 vsize=40772 CPUtime=2262.11 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5269 0 0 0 226211 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5429485 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 40772
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4978
/proc/meminfo: memFree=31853208/32770624 swapFree=0/285484
[pid=4772] ppid=4769 vsize=40772 CPUtime=2322.11 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5275 0 0 0 232211 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355904 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 40772
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4980
/proc/meminfo: memFree=31852968/32770624 swapFree=0/285504
[pid=4772] ppid=4769 vsize=40772 CPUtime=2382.11 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5281 0 0 0 238211 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5355367 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 40772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5041
/proc/meminfo: memFree=31853468/32770624 swapFree=0/285580
[pid=4772] ppid=4769 vsize=40772 CPUtime=2400.01 cores=0,2,4,6
/proc/4772/stat : 4772 (naxos-xcsp3) R 4769 4772 2450 0 -1 4202496 5287 0 0 0 240001 0 0 0 20 0 1 0 566571 41750528 4858 18446744073709551615 4194304 6986860 140734874223744 140734874219272 5431068 0 0 1 16384 0 0 0 17 4 0 0 9 0 0 9087712 9120176 36941824 140734874227227 140734874227308 140734874227308 140734874230762 0
/proc/4772/statm: 10193 4858 703 682 0 4196 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 40772
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 4772 sig 9
??? kill -4772 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.02
CPU user time (s): 2400.02
CPU system time (s): 0.006999
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 40772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.006999
maximum resident set size= 19472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5326
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= 608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.13066 second user time and 8.74224 second system time
The end