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-4252914-1501983725/watcher-4252914-1501983725 -o /tmp/evaluation-result-4252914-1501983725/solver-4252914-1501983725 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501978048-2910 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252914-1501983725.xml
pid=4708
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.06 2.05 2.05 4/181 4711
/proc/meminfo: memFree=31997608/32770624 swapFree=0/257788
[pid=4711] ppid=4708 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (runsolver) D 4708 4711 2450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 566312 24240128 106 18446744073709551615 4194304 4338465 140720843668544 140720843666184 140062935589591 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8667136 140720843669715 140720843670092 140720843670092 140720843673546 0
/proc/4711/statm: 5918 106 53 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 2.06 2.05 2.05 4/181 4711
/proc/meminfo: memFree=31997608/32770624 swapFree=0/257788
[pid=4711] ppid=4708 vsize=30104 CPUtime=0.05 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 2328 0 0 0 5 0 0 0 20 0 1 0 566312 30826496 2128 18446744073709551615 4194304 6986860 140727598891840 140727598888536 5809100 0 0 1 0 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 7526 2128 687 682 0 1529 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30104
[startup+0.200336 s]
/proc/loadavg: 2.06 2.05 2.05 4/181 4711
/proc/meminfo: memFree=31997608/32770624 swapFree=0/257788
[pid=4711] ppid=4708 vsize=35636 CPUtime=0.15 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3718 0 0 0 15 0 0 0 20 0 1 0 566312 36491264 3512 18446744073709551615 4194304 6986860 140727598891840 140727598888536 5355794 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3512 703 682 0 2912 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 35636
[startup+0.300309 s]
/proc/loadavg: 2.06 2.05 2.05 4/181 4711
/proc/meminfo: memFree=31997608/32770624 swapFree=0/257788
[pid=4711] ppid=4708 vsize=35636 CPUtime=0.25 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3718 0 0 0 25 0 0 0 20 0 1 0 566312 36491264 3512 18446744073709551615 4194304 6986860 140727598891840 140727598888536 5431304 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3512 703 682 0 2912 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 35636
[startup+0.700221 s]
/proc/loadavg: 2.06 2.05 2.05 4/181 4711
/proc/meminfo: memFree=31997608/32770624 swapFree=0/257788
[pid=4711] ppid=4708 vsize=35636 CPUtime=0.65 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3718 0 0 0 65 0 0 0 20 0 1 0 566312 36491264 3512 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355995 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3512 703 682 0 2912 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 35636
[startup+1.50022 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 4712
/proc/meminfo: memFree=31986712/32770624 swapFree=0/257684
[pid=4711] ppid=4708 vsize=35636 CPUtime=1.45 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3718 0 0 0 145 0 0 0 20 0 1 0 566312 36491264 3512 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5284448 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3512 703 682 0 2912 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 35636
[startup+3.10023 s]
/proc/loadavg: 2.06 2.05 2.05 2/178 4753
/proc/meminfo: memFree=31991664/32770624 swapFree=0/257656
[pid=4711] ppid=4708 vsize=35636 CPUtime=3.05 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3725 0 0 0 305 0 0 0 20 0 1 0 566312 36491264 3512 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355804 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3512 703 682 0 2912 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 35636
[startup+6.30022 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 4773
/proc/meminfo: memFree=31974900/32770624 swapFree=0/257852
[pid=4711] ppid=4708 vsize=35636 CPUtime=6.25 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3732 0 0 0 625 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5431003 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 35636
[startup+12.7002 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 4773
/proc/meminfo: memFree=31974528/32770624 swapFree=0/257852
[pid=4711] ppid=4708 vsize=35636 CPUtime=12.65 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3739 0 0 0 1265 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355449 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 35636
[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 4774
/proc/meminfo: memFree=31974404/32770624 swapFree=0/257876
[pid=4711] ppid=4708 vsize=35636 CPUtime=25.45 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3753 0 0 0 2545 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5431019 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 35636
[startup+51.1003 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 4774
/proc/meminfo: memFree=31973752/32770624 swapFree=0/257884
[pid=4711] ppid=4708 vsize=35636 CPUtime=51.04 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3762 0 0 0 5104 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5431003 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 35636
[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 4776
/proc/meminfo: memFree=31973880/32770624 swapFree=0/257916
[pid=4711] ppid=4708 vsize=35636 CPUtime=102.25 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3770 0 0 0 10225 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5453272 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 35636
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 4791
/proc/meminfo: memFree=31970896/32770624 swapFree=0/257964
[pid=4711] ppid=4708 vsize=35636 CPUtime=162.24 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3777 0 0 0 16224 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355984 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 35636
[startup+222.306 s]
/proc/loadavg: 2.05 2.04 2.05 3/183 4793
/proc/meminfo: memFree=31972268/32770624 swapFree=0/257996
[pid=4711] ppid=4708 vsize=35636 CPUtime=222.24 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3784 0 0 0 22224 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5453258 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 35636
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 4795
/proc/meminfo: memFree=31973972/32770624 swapFree=0/258016
[pid=4711] ppid=4708 vsize=35636 CPUtime=282.23 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3791 0 0 0 28223 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355909 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 35636
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4797
/proc/meminfo: memFree=31973848/32770624 swapFree=0/258036
[pid=4711] ppid=4708 vsize=35636 CPUtime=342.23 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3798 0 0 0 34223 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5474992 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 35636
[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 4799
/proc/meminfo: memFree=31974376/32770624 swapFree=0/258064
[pid=4711] ppid=4708 vsize=35636 CPUtime=402.23 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3805 0 0 0 40223 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355338 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 35636
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4801
/proc/meminfo: memFree=31974712/32770624 swapFree=0/258084
[pid=4711] ppid=4708 vsize=35636 CPUtime=462.23 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3812 0 0 0 46223 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5453291 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 35636
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4803
/proc/meminfo: memFree=31974976/32770624 swapFree=0/258108
[pid=4711] ppid=4708 vsize=35636 CPUtime=522.23 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3819 0 0 0 52223 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5430366 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 35636
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 4805
/proc/meminfo: memFree=31974720/32770624 swapFree=0/258128
[pid=4711] ppid=4708 vsize=35636 CPUtime=582.22 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3826 0 0 0 58222 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355422 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 35636
################
# 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=4711] ppid=4708 vsize=35636 CPUtime=1482.19 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3931 0 0 0 148219 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5474992 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 35636
[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 4911
/proc/meminfo: memFree=31853620/32770624 swapFree=0/285116
[pid=4711] ppid=4708 vsize=35636 CPUtime=1542.19 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3938 0 0 0 154219 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5431100 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 35636
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 4913
/proc/meminfo: memFree=31853372/32770624 swapFree=0/285136
[pid=4711] ppid=4708 vsize=35636 CPUtime=1602.19 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3945 0 0 0 160219 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5430228 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 35636
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4916
/proc/meminfo: memFree=31852992/32770624 swapFree=0/285168
[pid=4711] ppid=4708 vsize=35636 CPUtime=1662.19 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3952 0 0 0 166219 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5429713 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 35636
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 4918
/proc/meminfo: memFree=31853232/32770624 swapFree=0/285192
[pid=4711] ppid=4708 vsize=35636 CPUtime=1722.18 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3959 0 0 0 172218 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5431313 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1722.18
Current children cumulated vsize (KiB) 35636
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4920
/proc/meminfo: memFree=31853164/32770624 swapFree=0/285212
[pid=4711] ppid=4708 vsize=35636 CPUtime=1782.18 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3966 0 0 0 178218 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355460 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 35636
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4923
/proc/meminfo: memFree=31853156/32770624 swapFree=0/285236
[pid=4711] ppid=4708 vsize=35636 CPUtime=1842.18 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3973 0 0 0 184218 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5472144 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1842.18
Current children cumulated vsize (KiB) 35636
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4925
/proc/meminfo: memFree=31853388/32770624 swapFree=0/285256
[pid=4711] ppid=4708 vsize=35636 CPUtime=1902.18 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3980 0 0 0 190218 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355308 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 35636
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 4941
/proc/meminfo: memFree=31848848/32770624 swapFree=0/285312
[pid=4711] ppid=4708 vsize=35636 CPUtime=1962.17 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3987 0 0 0 196217 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355296 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 1962.17
Current children cumulated vsize (KiB) 35636
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 4968
/proc/meminfo: memFree=31848192/32770624 swapFree=0/285372
[pid=4711] ppid=4708 vsize=35636 CPUtime=2022.17 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 3994 0 0 0 202217 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5355296 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 35636
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 4970
/proc/meminfo: memFree=31851096/32770624 swapFree=0/285396
[pid=4711] ppid=4708 vsize=35636 CPUtime=2082.18 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 4001 0 0 0 208218 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5414319 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 2082.18
Current children cumulated vsize (KiB) 35636
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4972
/proc/meminfo: memFree=31852948/32770624 swapFree=0/285416
[pid=4711] ppid=4708 vsize=35636 CPUtime=2142.17 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 4008 0 0 0 214217 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5474992 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 2142.17
Current children cumulated vsize (KiB) 35636
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4974
/proc/meminfo: memFree=31853200/32770624 swapFree=0/285444
[pid=4711] ppid=4708 vsize=35636 CPUtime=2202.17 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 4015 0 0 0 220217 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5430885 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 2202.17
Current children cumulated vsize (KiB) 35636
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4976
/proc/meminfo: memFree=31853208/32770624 swapFree=0/285464
[pid=4711] ppid=4708 vsize=35636 CPUtime=2262.16 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 4022 0 0 0 226216 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5430871 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 2262.16
Current children cumulated vsize (KiB) 35636
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4978
/proc/meminfo: memFree=31853208/32770624 swapFree=0/285484
[pid=4711] ppid=4708 vsize=35636 CPUtime=2322.16 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 4029 0 0 0 232216 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5284448 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 2322.16
Current children cumulated vsize (KiB) 35636
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4980
/proc/meminfo: memFree=31852968/32770624 swapFree=0/285504
[pid=4711] ppid=4708 vsize=35636 CPUtime=2382.16 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 4036 0 0 0 238216 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5284448 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 2382.16
Current children cumulated vsize (KiB) 35636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4980
/proc/meminfo: memFree=31852968/32770624 swapFree=0/285512
[pid=4711] ppid=4708 vsize=35636 CPUtime=2400.06 cores=1,3,5,7
/proc/4711/stat : 4711 (naxos-xcsp3) R 4708 4711 2450 0 -1 4202496 4043 0 0 0 240006 0 0 0 20 0 1 0 566312 36491264 3571 18446744073709551615 4194304 6986860 140727598891840 140727598887368 5429703 0 0 1 16384 0 0 0 17 1 0 0 4 0 0 9087712 9120176 19914752 140727598895643 140727598895724 140727598895724 140727598899178 0
/proc/4711/statm: 8909 3571 703 682 0 2912 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 35636
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 4711 sig 9
??? kill -4711 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.07
CPU user time (s): 2400.07
CPU system time (s): 0.005999
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 35636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.005999
maximum resident set size= 14324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4081
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= 9
involuntary context switches= 607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.2289 second user time and 7.0706 second system time
The end