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-4251715-1500917344/watcher-4251715-1500917344 -o /tmp/evaluation-result-4251715-1500917344/solver-4251715-1500917344 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3378 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251715-1500917344.xml
pid=4268
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.09 2/178 4271
/proc/meminfo: memFree=32131044/32770624 swapFree=5780/110308
[pid=4271] ppid=4268 vsize=24736 CPUtime=0 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 962 0 0 0 0 0 0 0 20 0 1 0 1287179 25329664 783 33554432000 4194304 6986860 140728472168848 140728472165544 140002444962789 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 6184 783 649 682 0 187 0
[startup+0.100238 s]
/proc/loadavg: 2.00 2.01 2.09 2/178 4271
/proc/meminfo: memFree=32131044/32770624 swapFree=5780/110308
[pid=4271] ppid=4268 vsize=27208 CPUtime=0.09 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 1670 0 0 0 9 0 0 0 20 0 1 0 1287179 27860992 1489 33554432000 4194304 6986860 140728472168848 140728472165544 5647210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 6802 1489 740 682 0 805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27208
[startup+0.200322 s]
/proc/loadavg: 2.00 2.01 2.09 2/178 4271
/proc/meminfo: memFree=32131044/32770624 swapFree=5780/110308
[pid=4271] ppid=4268 vsize=27588 CPUtime=0.19 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 1742 0 0 0 19 0 0 0 20 0 1 0 1287179 28250112 1585 33554432000 4194304 6986860 140728472168848 140728472165544 5857844 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 6897 1585 740 682 0 900 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27588
[startup+0.300311 s]
/proc/loadavg: 2.00 2.01 2.09 2/178 4271
/proc/meminfo: memFree=32131044/32770624 swapFree=5780/110308
[pid=4271] ppid=4268 vsize=27840 CPUtime=0.29 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 1814 0 0 0 29 0 0 0 20 0 1 0 1287179 28508160 1648 33554432000 4194304 6986860 140728472168848 140728472165544 140002445706664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 6960 1648 740 682 0 963 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27840
[startup+0.700283 s]
/proc/loadavg: 2.00 2.01 2.09 2/178 4271
/proc/meminfo: memFree=32131044/32770624 swapFree=5780/110308
[pid=4271] ppid=4268 vsize=28976 CPUtime=0.69 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 2103 0 0 0 69 0 0 0 20 0 1 0 1287179 29671424 1932 33554432000 4194304 6986860 140728472168848 140728472160984 5620150 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 7244 1932 740 682 0 1247 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28976
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4304
/proc/meminfo: memFree=32122628/32770624 swapFree=5780/110492
[pid=4271] ppid=4268 vsize=343204 CPUtime=1.49 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 80684 0 0 0 139 10 0 0 20 0 1 0 1287179 351440896 80491 33554432000 4194304 6986860 140728472168848 140728472160984 140002444962789 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 85834 80491 762 682 0 79837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 343204
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4304
/proc/meminfo: memFree=31571852/32770624 swapFree=5780/110336
[pid=4271] ppid=4268 vsize=396664 CPUtime=3.09 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 95461 0 0 0 297 12 0 0 20 0 1 0 1287179 406183936 93898 33554432000 4194304 6986860 140728472168848 140728472164200 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93898 762 682 0 93169 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 396664
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4304
/proc/meminfo: memFree=31572176/32770624 swapFree=5780/110308
[pid=4271] ppid=4268 vsize=396664 CPUtime=6.29 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 96786 0 0 0 615 14 0 0 20 0 1 0 1287179 406183936 93898 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93898 762 682 0 93169 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 396664
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4304
/proc/meminfo: memFree=31570176/32770624 swapFree=5780/110316
[pid=4271] ppid=4268 vsize=396664 CPUtime=12.69 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 98284 0 0 0 1251 18 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 396664
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.08 3/182 4304
/proc/meminfo: memFree=31570408/32770624 swapFree=5780/110324
[pid=4271] ppid=4268 vsize=396664 CPUtime=25.49 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 98741 0 0 0 2522 27 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164200 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 396664
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.08 3/182 4304
/proc/meminfo: memFree=31570756/32770624 swapFree=5780/110332
[pid=4271] ppid=4268 vsize=396664 CPUtime=51.09 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 99199 0 0 0 5064 45 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 396664
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/182 4312
/proc/meminfo: memFree=31568088/32770624 swapFree=5780/110388
[pid=4271] ppid=4268 vsize=396664 CPUtime=102.29 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 100029 0 0 0 10150 79 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164200 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 396664
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/182 4313
/proc/meminfo: memFree=31569364/32770624 swapFree=5780/110404
[pid=4271] ppid=4268 vsize=396664 CPUtime=162.29 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 100487 0 0 0 16108 121 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164200 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 396664
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.07 3/182 4314
/proc/meminfo: memFree=31568740/32770624 swapFree=5780/110424
[pid=4271] ppid=4268 vsize=396664 CPUtime=222.29 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 100945 0 0 0 22066 163 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 396664
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/182 4315
/proc/meminfo: memFree=31569992/32770624 swapFree=5780/110444
[pid=4271] ppid=4268 vsize=396664 CPUtime=282.29 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 101403 0 0 0 28024 205 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 396664
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4316
/proc/meminfo: memFree=31570148/32770624 swapFree=5780/110464
[pid=4271] ppid=4268 vsize=396664 CPUtime=342.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 101861 0 0 0 33980 248 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 396664
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4317
/proc/meminfo: memFree=31569684/32770624 swapFree=5780/110496
[pid=4271] ppid=4268 vsize=396664 CPUtime=402.29 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 102319 0 0 0 39938 291 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164200 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 396664
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4318
/proc/meminfo: memFree=31569680/32770624 swapFree=5780/110516
[pid=4271] ppid=4268 vsize=396664 CPUtime=462.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 102777 0 0 0 45899 329 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 396664
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4319
/proc/meminfo: memFree=31569556/32770624 swapFree=5780/110536
[pid=4271] ppid=4268 vsize=396664 CPUtime=522.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 103235 0 0 0 51856 372 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 396664
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4320
/proc/meminfo: memFree=31569556/32770624 swapFree=5780/110556
[pid=4271] ppid=4268 vsize=396664 CPUtime=582.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 103693 0 0 0 57813 415 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 396664
################
# More data... #
################
[pid=4271] ppid=4268 vsize=396664 CPUtime=1722.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 112395 0 0 0 171010 1218 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 396664
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4357
/proc/meminfo: memFree=31568984/32770624 swapFree=5780/111036
[pid=4271] ppid=4268 vsize=396664 CPUtime=1782.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 112853 0 0 0 176968 1260 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 396664
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4358
/proc/meminfo: memFree=31569200/32770624 swapFree=5780/111056
[pid=4271] ppid=4268 vsize=396664 CPUtime=1842.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 113311 0 0 0 182927 1301 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 396664
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4366
/proc/meminfo: memFree=31568964/32770624 swapFree=5780/111092
[pid=4271] ppid=4268 vsize=396664 CPUtime=1902.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 113769 0 0 0 188885 1343 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 396664
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4389
/proc/meminfo: memFree=31568720/32770624 swapFree=5780/111124
[pid=4271] ppid=4268 vsize=396664 CPUtime=1962.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 114227 0 0 0 194843 1385 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 396664
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4390
/proc/meminfo: memFree=31568716/32770624 swapFree=5780/111144
[pid=4271] ppid=4268 vsize=396664 CPUtime=2022.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 114685 0 0 0 200801 1427 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 396664
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4391
/proc/meminfo: memFree=31568948/32770624 swapFree=5780/111164
[pid=4271] ppid=4268 vsize=396664 CPUtime=2082.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 115143 0 0 0 206761 1467 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 2082.28
Current children cumulated vsize (KiB) 396664
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4392
/proc/meminfo: memFree=31569040/32770624 swapFree=5780/111184
[pid=4271] ppid=4268 vsize=396664 CPUtime=2142.27 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 115601 0 0 0 212719 1508 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 2142.27
Current children cumulated vsize (KiB) 396664
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4393
/proc/meminfo: memFree=31568756/32770624 swapFree=5780/111212
[pid=4271] ppid=4268 vsize=396664 CPUtime=2202.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 116059 0 0 0 218675 1553 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 396664
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4394
/proc/meminfo: memFree=31569040/32770624 swapFree=5780/111232
[pid=4271] ppid=4268 vsize=396664 CPUtime=2262.27 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 116517 0 0 0 224635 1592 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 396664
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4395
/proc/meminfo: memFree=31568764/32770624 swapFree=5780/111256
[pid=4271] ppid=4268 vsize=396664 CPUtime=2322.28 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 116975 0 0 0 230593 1635 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164200 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 396664
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4396
/proc/meminfo: memFree=31568856/32770624 swapFree=5780/111276
[pid=4271] ppid=4268 vsize=396664 CPUtime=2382.27 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 117433 0 0 0 236550 1677 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 396664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4271] ppid=4268 vsize=396664 CPUtime=2400.08 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) R 4268 4271 3347 0 -1 4202496 117519 0 0 0 238320 1688 0 0 20 0 1 0 1287179 406183936 93901 33554432000 4194304 6986860 140728472168848 140728472164376 140002445226364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99166 93901 762 682 0 93169 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 396664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4271
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4271 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2400.8 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4271] ppid=4268 vsize=396668 CPUtime=2400.08 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) S 4268 4271 3347 0 -1 1077944320 117536 0 0 0 238320 1688 0 0 20 0 1 0 1287179 406188032 93901 33554432000 4194304 6986860 140728472168848 140728472162232 140002445517052 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99167 93901 762 682 0 93170 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 396668
[startup+2401.6 s]
/proc/loadavg: 1.84 1.98 2.03 1/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4271] ppid=4268 vsize=396668 CPUtime=2400.08 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) S 4268 4271 3347 0 -1 1077944320 117536 0 0 0 238320 1688 0 0 20 0 1 0 1287179 406188032 93901 33554432000 4194304 6986860 140728472168848 140728472162232 140002445517052 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99167 93901 762 682 0 93170 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 396668
[startup+2402 s]
/proc/loadavg: 1.84 1.98 2.03 1/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4271] ppid=4268 vsize=396668 CPUtime=2400.08 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) S 4268 4271 3347 0 -1 1077944320 117536 0 0 0 238320 1688 0 0 20 0 1 0 1287179 406188032 93901 33554432000 4194304 6986860 140728472168848 140728472162232 140002445517052 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99167 93901 762 682 0 93170 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 396668
[startup+2402.1 s]
/proc/loadavg: 1.84 1.98 2.03 1/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4271] ppid=4268 vsize=396668 CPUtime=2400.08 cores=0,2,4,6
/proc/4271/stat : 4271 (naxos-xcsp3) S 4268 4271 3347 0 -1 1077944320 117536 0 0 0 238320 1688 0 0 20 0 1 0 1287179 406188032 93901 33554432000 4194304 6986860 140728472168848 140728472162232 140002445517052 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 33783808 140728472175886 140728472175967 140728472175967 140728472178666 0
/proc/4271/statm: 99167 93901 762 682 0 93170 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 396668
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402.1
CPU time (s): 2400.08
CPU user time (s): 2383.2
CPU system time (s): 16.8819
CPU usage (%): 99.916
Max. virtual memory (cumulated for all children) (KiB): 396668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2383.2
system time used= 16.8819
maximum resident set size= 375628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117536
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= 8
involuntary context switches= 3022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39158 second user time and 7.43553 second system time
The end