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-4251673-1500917337/watcher-4251673-1500917337 -o /tmp/evaluation-result-4251673-1500917337/solver-4251673-1500917337 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500914926-3623 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251673-1500917337.xml
pid=4111
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.00 2.01 2.21 4/181 4114
/proc/meminfo: memFree=32127364/32770624 swapFree=5764/111672
[pid=4114] ppid=4111 vsize=25260 CPUtime=0 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 1093 0 0 0 0 0 0 0 20 0 1 0 1273618 25866240 881 33554432000 4194304 6986860 140725339736224 140725339732920 140671416277989 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 6315 881 649 682 0 318 0
[startup+0.100157 s]
/proc/loadavg: 2.00 2.01 2.21 4/181 4114
/proc/meminfo: memFree=32127364/32770624 swapFree=5764/111672
[pid=4114] ppid=4111 vsize=25948 CPUtime=0.09 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 1262 0 0 0 9 0 0 0 20 0 1 0 1273618 26570752 1056 33554432000 4194304 6986860 140725339736224 140725339732920 5807005 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 6487 1056 663 682 0 490 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25948
[startup+0.200164 s]
/proc/loadavg: 2.00 2.01 2.21 4/181 4114
/proc/meminfo: memFree=32127364/32770624 swapFree=5764/111672
[pid=4114] ppid=4111 vsize=26596 CPUtime=0.19 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 1480 0 0 0 19 0 0 0 20 0 1 0 1273618 27234304 1168 33554432000 4194304 6986860 140725339736224 140725339730904 5812836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 6649 1168 663 682 0 652 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26596
[startup+0.30021 s]
/proc/loadavg: 2.00 2.01 2.21 4/181 4114
/proc/meminfo: memFree=32127364/32770624 swapFree=5764/111672
[pid=4114] ppid=4111 vsize=26860 CPUtime=0.29 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 1602 0 0 0 29 0 0 0 20 0 1 0 1273618 27504640 1299 33554432000 4194304 6986860 140725339736224 140725339730904 5507487 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 6715 1299 663 682 0 718 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26860
[startup+0.700172 s]
/proc/loadavg: 2.00 2.01 2.21 4/181 4114
/proc/meminfo: memFree=32127364/32770624 swapFree=5764/111672
[pid=4114] ppid=4111 vsize=28684 CPUtime=0.69 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 2280 0 0 0 69 0 0 0 20 0 1 0 1273618 29372416 1721 33554432000 4194304 6986860 140725339736224 140725339730904 5809506 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 7171 1721 663 682 0 1174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28684
[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.21 3/182 4115
/proc/meminfo: memFree=32122336/32770624 swapFree=5764/111640
[pid=4114] ppid=4111 vsize=28816 CPUtime=1.49 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 2359 0 0 0 149 0 0 0 20 0 1 0 1273618 29507584 1853 33554432000 4194304 6986860 140725339736224 140725339730904 5653274 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 7204 1853 705 682 0 1207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28816
[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.21 3/182 4115
/proc/meminfo: memFree=32121964/32770624 swapFree=5764/111640
[pid=4114] ppid=4111 vsize=29080 CPUtime=3.09 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 2672 0 0 0 309 0 0 0 20 0 1 0 1273618 29777920 1884 33554432000 4194304 6986860 140725339736224 140725339726472 5587233 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 7270 1884 705 682 0 1273 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29080
[startup+6.30012 s]
/proc/loadavg: 2.00 2.01 2.21 2/182 4115
/proc/meminfo: memFree=32121300/32770624 swapFree=5764/111540
[pid=4114] ppid=4111 vsize=29344 CPUtime=6.28 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 3083 0 0 0 628 0 0 0 20 0 1 0 1273618 30048256 1997 33554432000 4194304 6986860 140725339736224 140725339726472 5620529 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 7336 1997 705 682 0 1339 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29344
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4179
/proc/meminfo: memFree=31716492/32770624 swapFree=5764/111540
[pid=4114] ppid=4111 vsize=30400 CPUtime=12.69 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 3717 0 0 0 1268 1 0 0 20 0 1 0 1273618 31129600 2213 33554432000 4194304 6986860 140725339736224 140725339726472 5549992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 7600 2213 705 682 0 1603 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30400
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4179
/proc/meminfo: memFree=31715140/32770624 swapFree=5764/111540
[pid=4114] ppid=4111 vsize=32116 CPUtime=25.49 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 5317 0 0 0 2548 1 0 0 20 0 1 0 1273618 32886784 2688 33554432000 4194304 6986860 140725339736224 140725339726472 5646618 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 8029 2688 705 682 0 2032 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32116
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4179
/proc/meminfo: memFree=31696892/32770624 swapFree=5764/111580
[pid=4114] ppid=4111 vsize=48532 CPUtime=51.08 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 10843 0 0 0 5101 7 0 0 20 0 1 0 1273618 49696768 6835 33554432000 4194304 6986860 140725339736224 140725339731752 5424086 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6835 726 682 0 6136 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48532
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.19 3/182 4187
/proc/meminfo: memFree=31695300/32770624 swapFree=5764/111636
[pid=4114] ppid=4111 vsize=48532 CPUtime=102.28 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 11500 0 0 0 10206 22 0 0 20 0 1 0 1273618 49696768 6839 33554432000 4194304 6986860 140725339736224 140725339731576 140671416541564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6839 729 682 0 6136 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 48532
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.18 3/182 4188
/proc/meminfo: memFree=31696788/32770624 swapFree=5764/111668
[pid=4114] ppid=4111 vsize=48532 CPUtime=162.27 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 12155 0 0 0 16184 43 0 0 20 0 1 0 1273618 49696768 6839 33554432000 4194304 6986860 140725339736224 140725339731576 140671416541564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6839 729 682 0 6136 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 48532
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.17 3/182 4189
/proc/meminfo: memFree=31696704/32770624 swapFree=5764/111680
[pid=4114] ppid=4111 vsize=48532 CPUtime=222.26 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 12814 0 0 0 22162 64 0 0 20 0 1 0 1273618 49696768 6839 33554432000 4194304 6986860 140725339736224 140725339731576 5237600 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6839 729 682 0 6136 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 48532
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.16 3/182 4190
/proc/meminfo: memFree=31696508/32770624 swapFree=5764/111732
[pid=4114] ppid=4111 vsize=48532 CPUtime=282.25 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 13471 0 0 0 28138 87 0 0 20 0 1 0 1273618 49696768 6839 33554432000 4194304 6986860 140725339736224 140725339731576 140671416270436 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6839 729 682 0 6136 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 48532
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.15 3/182 4191
/proc/meminfo: memFree=31695736/32770624 swapFree=5764/111760
[pid=4114] ppid=4111 vsize=48532 CPUtime=342.24 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 14132 0 0 0 34120 104 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5366202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 48532
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.14 3/182 4192
/proc/meminfo: memFree=31697228/32770624 swapFree=5764/111788
[pid=4114] ppid=4111 vsize=48532 CPUtime=402.23 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 14476 0 0 0 40102 121 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5472834 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 48532
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 4193
/proc/meminfo: memFree=31697280/32770624 swapFree=5764/111816
[pid=4114] ppid=4111 vsize=48532 CPUtime=462.21 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 14821 0 0 0 46083 138 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 140671416276960 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 48532
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 4194
/proc/meminfo: memFree=31697224/32770624 swapFree=5764/111856
[pid=4114] ppid=4111 vsize=48532 CPUtime=522.21 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 15159 0 0 0 52063 158 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731752 140671416541564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 48532
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/182 4195
/proc/meminfo: memFree=31696960/32770624 swapFree=5764/111884
[pid=4114] ppid=4111 vsize=48532 CPUtime=582.2 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 15499 0 0 0 58045 175 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 140671416270833 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 48532
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4224
/proc/meminfo: memFree=31696304/32770624 swapFree=5764/112356
[pid=4114] ppid=4111 vsize=48532 CPUtime=1482.08 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 20623 0 0 0 147747 461 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731752 5366158 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 48532
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4225
/proc/meminfo: memFree=31696156/32770624 swapFree=5764/112384
[pid=4114] ppid=4111 vsize=48532 CPUtime=1542.08 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 20961 0 0 0 153730 478 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5366202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1542.08
Current children cumulated vsize (KiB) 48532
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4227
/proc/meminfo: memFree=31696244/32770624 swapFree=5764/112420
[pid=4114] ppid=4111 vsize=48532 CPUtime=1602.06 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 21299 0 0 0 159706 500 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5366253 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 48532
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4228
/proc/meminfo: memFree=31695984/32770624 swapFree=5764/112448
[pid=4114] ppid=4111 vsize=48532 CPUtime=1662.06 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 21639 0 0 0 165684 522 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5401461 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 48532
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4229
/proc/meminfo: memFree=31697116/32770624 swapFree=5764/112484
[pid=4114] ppid=4111 vsize=48532 CPUtime=1722.06 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 21981 0 0 0 171666 540 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731752 5424231 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 48532
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4231
/proc/meminfo: memFree=31696372/32770624 swapFree=5764/112520
[pid=4114] ppid=4111 vsize=48532 CPUtime=1782.05 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 22325 0 0 0 177647 558 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5366676 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 48532
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4232
/proc/meminfo: memFree=31696124/32770624 swapFree=5764/112552
[pid=4114] ppid=4111 vsize=48532 CPUtime=1842.04 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 22660 0 0 0 183626 578 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731752 5424287 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1842.04
Current children cumulated vsize (KiB) 48532
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4240
/proc/meminfo: memFree=31695216/32770624 swapFree=5764/112588
[pid=4114] ppid=4111 vsize=48532 CPUtime=1902.03 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 23002 0 0 0 189606 597 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 140671416541564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1902.03
Current children cumulated vsize (KiB) 48532
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4264
/proc/meminfo: memFree=31694992/32770624 swapFree=5764/112624
[pid=4114] ppid=4111 vsize=48532 CPUtime=1962.02 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 23337 0 0 0 195588 614 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731752 5285698 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 48532
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4265
/proc/meminfo: memFree=31695288/32770624 swapFree=5764/112656
[pid=4114] ppid=4111 vsize=48532 CPUtime=2022.01 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 23676 0 0 0 201571 630 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731752 5366199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 48532
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4266
/proc/meminfo: memFree=31696024/32770624 swapFree=5764/112692
[pid=4114] ppid=4111 vsize=48532 CPUtime=2082.01 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 24018 0 0 0 207550 651 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 140671416541564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 48532
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4267
/proc/meminfo: memFree=31696280/32770624 swapFree=5764/112724
[pid=4114] ppid=4111 vsize=48532 CPUtime=2142 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 24360 0 0 0 213533 667 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5366181 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 48532
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 4268
/proc/meminfo: memFree=31696212/32770624 swapFree=5764/112752
[pid=4114] ppid=4111 vsize=48532 CPUtime=2201.99 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 24702 0 0 0 219514 685 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 140671416541564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 48532
[startup+2262.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 4269
/proc/meminfo: memFree=31696352/32770624 swapFree=5764/112780
[pid=4114] ppid=4111 vsize=48532 CPUtime=2261.98 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 25048 0 0 0 225492 706 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 140671416541564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 48532
[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4270
/proc/meminfo: memFree=31696336/32770624 swapFree=5764/112816
[pid=4114] ppid=4111 vsize=48532 CPUtime=2321.97 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 25385 0 0 0 231470 727 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5366202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 2321.97
Current children cumulated vsize (KiB) 48532
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4271
/proc/meminfo: memFree=31695848/32770624 swapFree=5764/112844
[pid=4114] ppid=4111 vsize=48532 CPUtime=2381.96 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 25730 0 0 0 237451 745 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 140671416272756 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 48532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4271
/proc/meminfo: memFree=31695848/32770624 swapFree=5764/112844
[pid=4114] ppid=4111 vsize=48532 CPUtime=2400.06 cores=0,2,4,6
/proc/4114/stat : 4114 (naxos-xcsp3) R 4111 4114 3592 0 -1 4202496 26061 0 0 0 239253 753 0 0 20 0 1 0 1273618 49696768 6840 33554432000 4194304 6986860 140725339736224 140725339731576 5366032 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 34406400 140725339739406 140725339739487 140725339739487 140725339742186 0
/proc/4114/statm: 12133 6840 729 682 0 6136 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 48532
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 4114 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.07
CPU user time (s): 2392.54
CPU system time (s): 7.53397
CPU usage (%): 99.9862
Max. virtual memory (cumulated for all children) (KiB): 48532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.54
system time used= 7.53397
maximum resident set size= 27380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26091
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= 11
involuntary context switches= 3841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.30146 second user time and 8.31376 second system time
The end