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-4252064-1500922285/watcher-4252064-1500922285 -o /tmp/evaluation-result-4252064-1500922285/solver-4252064-1500922285 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3563 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252064-1500922285.xml
pid=5883
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: 1.99 2.01 2.04 2/181 5886
/proc/meminfo: memFree=32116364/32770624 swapFree=5768/115476
[pid=5886] ppid=5883 vsize=25392 CPUtime=0 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 1141 0 0 0 0 0 0 0 20 0 1 0 1817212 26001408 949 33554432000 4194304 6986860 140732842768944 140732842765640 139814840200165 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 6348 949 652 682 0 351 0
[startup+0.100162 s]
/proc/loadavg: 1.99 2.01 2.04 2/181 5886
/proc/meminfo: memFree=32116364/32770624 swapFree=5768/115476
[pid=5886] ppid=5883 vsize=33224 CPUtime=0.09 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 3123 0 0 0 9 0 0 0 20 0 1 0 1817212 34021376 2958 33554432000 4194304 6986860 140732842768944 140732842765640 139814840200165 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 8306 2958 701 682 0 2309 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33224
[startup+0.200354 s]
/proc/loadavg: 1.99 2.01 2.04 2/181 5886
/proc/meminfo: memFree=32116364/32770624 swapFree=5768/115476
[pid=5886] ppid=5883 vsize=40128 CPUtime=0.19 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 4866 0 0 0 19 0 0 0 20 0 1 0 1817212 41091072 4653 33554432000 4194304 6986860 140732842768944 140732842765640 5366199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10032 4653 702 682 0 4035 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40128
[startup+0.300344 s]
/proc/loadavg: 1.99 2.01 2.04 2/181 5886
/proc/meminfo: memFree=32116364/32770624 swapFree=5768/115476
[pid=5886] ppid=5883 vsize=40128 CPUtime=0.29 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 4866 0 0 0 29 0 0 0 20 0 1 0 1817212 41091072 4653 33554432000 4194304 6986860 140732842768944 140732842765640 5376987 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10032 4653 702 682 0 4035 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40128
[startup+0.700261 s]
/proc/loadavg: 1.99 2.01 2.04 2/181 5886
/proc/meminfo: memFree=32116364/32770624 swapFree=5768/115476
[pid=5886] ppid=5883 vsize=40652 CPUtime=0.69 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 4984 0 0 0 69 0 0 0 20 0 1 0 1817212 41627648 4830 33554432000 4194304 6986860 140732842768944 140732842765640 139814840209264 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10163 4830 716 682 0 4166 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40652
[startup+1.50026 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 5887
/proc/meminfo: memFree=32100384/32770624 swapFree=5768/115476
[pid=5886] ppid=5883 vsize=40652 CPUtime=1.49 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 4984 0 0 0 149 0 0 0 20 0 1 0 1817212 41627648 4830 33554432000 4194304 6986860 140732842768944 140732842765640 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10163 4830 716 682 0 4166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40652
[startup+3.10027 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 5887
/proc/meminfo: memFree=32100076/32770624 swapFree=5768/115476
[pid=5886] ppid=5883 vsize=40652 CPUtime=3.09 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 9010 0 0 0 309 0 0 0 20 0 1 0 1817212 41627648 4834 33554432000 4194304 6986860 140732842768944 140732842765640 5358473 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10163 4834 716 682 0 4166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40652
[startup+6.30025 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 5887
/proc/meminfo: memFree=32099996/32770624 swapFree=5768/115504
[pid=5886] ppid=5883 vsize=40652 CPUtime=6.29 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 13035 0 0 0 629 0 0 0 20 0 1 0 1817212 41627648 4834 33554432000 4194304 6986860 140732842768944 140732842764472 5475336 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10163 4834 716 682 0 4166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40652
[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 5887
/proc/meminfo: memFree=32099500/32770624 swapFree=5768/115504
[pid=5886] ppid=5883 vsize=40652 CPUtime=12.69 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 17079 0 0 0 1268 1 0 0 20 0 1 0 1817212 41627648 4844 33554432000 4194304 6986860 140732842768944 140732842764296 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10163 4844 716 682 0 4166 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40652
[startup+25.5003 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 5887
/proc/meminfo: memFree=32099384/32770624 swapFree=5768/115532
[pid=5886] ppid=5883 vsize=40652 CPUtime=25.49 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 25181 0 0 0 2545 4 0 0 20 0 1 0 1817212 41627648 4860 33554432000 4194304 6986860 140732842768944 140732842764296 139814840198243 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10163 4860 716 682 0 4166 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40652
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 5887
/proc/meminfo: memFree=32098388/32770624 swapFree=5768/115540
[pid=5886] ppid=5883 vsize=40916 CPUtime=51.09 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 29358 0 0 0 5102 7 0 0 20 0 1 0 1817212 41897984 4916 33554432000 4194304 6986860 140732842768944 140732842764296 5256081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10229 4916 716 682 0 4232 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40916
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 5888
/proc/meminfo: memFree=32098200/32770624 swapFree=5768/115576
[pid=5886] ppid=5883 vsize=41176 CPUtime=102.29 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 29996 0 0 0 10217 12 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764472 5355778 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 41176
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 5889
/proc/meminfo: memFree=32098036/32770624 swapFree=5768/115600
[pid=5886] ppid=5883 vsize=41176 CPUtime=162.28 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 30581 0 0 0 16209 19 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764472 139814840197647 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 41176
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 5891
/proc/meminfo: memFree=32097308/32770624 swapFree=5768/115632
[pid=5886] ppid=5883 vsize=41176 CPUtime=222.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 31166 0 0 0 22204 26 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764472 139814840198259 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 41176
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 5892
/proc/meminfo: memFree=32097760/32770624 swapFree=5768/115668
[pid=5886] ppid=5883 vsize=41176 CPUtime=282.29 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 31750 0 0 0 28196 33 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764472 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 41176
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 5893
/proc/meminfo: memFree=32097716/32770624 swapFree=5768/115696
[pid=5886] ppid=5883 vsize=41176 CPUtime=342.29 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 32336 0 0 0 34190 39 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764296 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 41176
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 5895
/proc/meminfo: memFree=32097872/32770624 swapFree=5768/115724
[pid=5886] ppid=5883 vsize=41176 CPUtime=402.28 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 32920 0 0 0 40181 47 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764472 5397487 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 41176
[startup+462.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/182 5896
/proc/meminfo: memFree=32097540/32770624 swapFree=5768/115764
[pid=5886] ppid=5883 vsize=41176 CPUtime=462.29 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 33506 0 0 0 46174 55 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764472 139814840197662 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 41176
[startup+522.3 s]
/proc/loadavg: 2.13 2.07 2.05 3/182 5904
/proc/meminfo: memFree=32096788/32770624 swapFree=5768/115800
[pid=5886] ppid=5883 vsize=41176 CPUtime=522.29 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 34090 0 0 0 52167 62 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764472 139814840197744 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 41176
[startup+582.3 s]
/proc/loadavg: 2.15 2.08 2.06 3/182 5927
/proc/meminfo: memFree=32095176/32770624 swapFree=5768/115832
[pid=5886] ppid=5883 vsize=41176 CPUtime=582.29 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 34677 0 0 0 58162 67 0 0 20 0 1 0 1817212 42164224 4966 33554432000 4194304 6986860 140732842768944 140732842764472 5366129 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4966 716 682 0 4297 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 41176
################
# More data... #
################
/proc/loadavg: 2.03 2.03 2.05 3/182 5950
/proc/meminfo: memFree=32097280/32770624 swapFree=5768/116336
[pid=5886] ppid=5883 vsize=41176 CPUtime=1542.31 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 44299 0 0 0 154050 181 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764296 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 41176
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5951
/proc/meminfo: memFree=32097608/32770624 swapFree=5768/116364
[pid=5886] ppid=5883 vsize=41176 CPUtime=1602.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 44911 0 0 0 160043 187 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764296 139814840192748 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 41176
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5952
/proc/meminfo: memFree=32097404/32770624 swapFree=5768/116396
[pid=5886] ppid=5883 vsize=41176 CPUtime=1662.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 45524 0 0 0 166036 194 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764296 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 41176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5961
/proc/meminfo: memFree=32096056/32770624 swapFree=5768/116428
[pid=5886] ppid=5883 vsize=41176 CPUtime=1722.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 46136 0 0 0 172027 203 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764296 139814840197938 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 41176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5962
/proc/meminfo: memFree=32097020/32770624 swapFree=5768/116468
[pid=5886] ppid=5883 vsize=41176 CPUtime=1782.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 46748 0 0 0 178020 210 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 41176
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5963
/proc/meminfo: memFree=32097460/32770624 swapFree=5768/116496
[pid=5886] ppid=5883 vsize=41176 CPUtime=1842.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 47360 0 0 0 184013 217 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 41176
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5964
/proc/meminfo: memFree=32097220/32770624 swapFree=5768/116524
[pid=5886] ppid=5883 vsize=41176 CPUtime=1902.31 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 47973 0 0 0 190007 224 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764296 139814840192832 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 41176
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5965
/proc/meminfo: memFree=32097376/32770624 swapFree=5768/116552
[pid=5886] ppid=5883 vsize=41176 CPUtime=1962.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 48585 0 0 0 196000 230 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840210307 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 41176
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5967
/proc/meminfo: memFree=32096996/32770624 swapFree=5768/116588
[pid=5886] ppid=5883 vsize=41176 CPUtime=2022.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49197 0 0 0 201993 237 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 41176
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5886 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2022.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5967
/proc/meminfo: memFree=32096996/32770624 swapFree=5768/116588
[pid=5886] ppid=5883 vsize=41176 CPUtime=2022.4 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49197 0 0 0 202003 237 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 41176
[startup+2048 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5968
/proc/meminfo: memFree=32096456/32770624 swapFree=5768/116624
[pid=5886] ppid=5883 vsize=41176 CPUtime=2048 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49809 0 0 0 204560 240 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840199136 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2048
Current children cumulated vsize (KiB) 41176
[startup+2060.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5968
/proc/meminfo: memFree=32096584/32770624 swapFree=5768/116624
[pid=5886] ppid=5883 vsize=41176 CPUtime=2060.8 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49811 0 0 0 205838 242 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2060.8
Current children cumulated vsize (KiB) 41176
[startup+2067.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5968
/proc/meminfo: memFree=32096708/32770624 swapFree=5768/116624
[pid=5886] ppid=5883 vsize=41176 CPUtime=2067.2 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49811 0 0 0 206478 242 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840193106 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2067.2
Current children cumulated vsize (KiB) 41176
[startup+2070.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5968
/proc/meminfo: memFree=32096708/32770624 swapFree=5768/116624
[pid=5886] ppid=5883 vsize=41176 CPUtime=2070.41 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49812 0 0 0 206798 243 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764296 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2070.41
Current children cumulated vsize (KiB) 41176
[startup+2072 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5968
/proc/meminfo: memFree=32096708/32770624 swapFree=5768/116624
[pid=5886] ppid=5883 vsize=41176 CPUtime=2072 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49812 0 0 0 206957 243 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840193054 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2072
Current children cumulated vsize (KiB) 41176
[startup+2072.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5968
/proc/meminfo: memFree=32096708/32770624 swapFree=5768/116624
[pid=5886] ppid=5883 vsize=41176 CPUtime=2072.8 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49812 0 0 0 207037 243 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840198282 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2072.8
Current children cumulated vsize (KiB) 41176
[startup+2073.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5968
/proc/meminfo: memFree=32096708/32770624 swapFree=5768/116624
[pid=5886] ppid=5883 vsize=41176 CPUtime=2073.2 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49812 0 0 0 207077 243 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2073.2
Current children cumulated vsize (KiB) 41176
[startup+2073.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5968
/proc/meminfo: memFree=32096708/32770624 swapFree=5768/116624
[pid=5886] ppid=5883 vsize=41176 CPUtime=2073.3 cores=1,3,5,7
/proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3531 0 -1 4202496 49812 0 0 0 207087 243 0 0 20 0 1 0 1817212 42164224 4989 33554432000 4194304 6986860 140732842768944 140732842764472 139814840463740 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 27582464 140732842771726 140732842771807 140732842771807 140732842774506 0
/proc/5886/statm: 10294 4989 716 682 0 4297 0
Current children cumulated CPU time (s) 2073.3
Current children cumulated vsize (KiB) 41176
Child status: 0
Real time (s): 2073.33
CPU time (s): 2073.34
CPU user time (s): 2070.91
CPU system time (s): 2.43302
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 41176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2070.91
system time used= 2.43302
maximum resident set size= 20800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50045
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= 12
involuntary context switches= 683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54974 second user time and 7.63281 second system time
The end