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-4251508-1500914936/watcher-4251508-1500914936 -o /tmp/evaluation-result-4251508-1500914936/solver-4251508-1500914936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500914920-3840 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251508-1500914936.xml
pid=4463
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: 3.68 6.82 7.19 1/176 4466
/proc/meminfo: memFree=32133844/32770624 swapFree=5756/109168
[pid=4466] ppid=4463 vsize=25400 CPUtime=0 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1162 0 0 0 0 0 0 0 20 0 1 0 1144231 26009600 948 33554432000 4194304 6986860 140736733839936 140736733836632 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 948 690 682 0 353 0
[startup+0.100104 s]
/proc/loadavg: 3.68 6.82 7.19 1/176 4466
/proc/meminfo: memFree=32133844/32770624 swapFree=5756/109168
[pid=4466] ppid=4463 vsize=25400 CPUtime=0.09 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1172 0 0 0 9 0 0 0 20 0 1 0 1144231 26009600 1014 33554432000 4194304 6986860 140736733839936 140736733836632 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1014 690 682 0 353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25400
[startup+0.200229 s]
/proc/loadavg: 3.68 6.82 7.19 1/176 4466
/proc/meminfo: memFree=32133844/32770624 swapFree=5756/109168
[pid=4466] ppid=4463 vsize=25400 CPUtime=0.19 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1172 0 0 0 19 0 0 0 20 0 1 0 1144231 26009600 1014 33554432000 4194304 6986860 140736733839936 140736733836632 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1014 690 682 0 353 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25400
[startup+0.300199 s]
/proc/loadavg: 3.68 6.82 7.19 1/176 4466
/proc/meminfo: memFree=32133844/32770624 swapFree=5756/109168
[pid=4466] ppid=4463 vsize=25400 CPUtime=0.29 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1172 0 0 0 29 0 0 0 20 0 1 0 1144231 26009600 1014 33554432000 4194304 6986860 140736733839936 140736733836632 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1014 690 682 0 353 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25400
[startup+0.700173 s]
/proc/loadavg: 3.68 6.82 7.19 1/176 4466
/proc/meminfo: memFree=32133844/32770624 swapFree=5756/109168
[pid=4466] ppid=4463 vsize=25400 CPUtime=0.69 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1172 0 0 0 68 1 0 0 20 0 1 0 1144231 26009600 1014 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1014 690 682 0 353 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25400
[startup+1.50018 s]
/proc/loadavg: 3.68 6.82 7.19 2/177 4528
/proc/meminfo: memFree=32131376/32770624 swapFree=5756/109168
[pid=4466] ppid=4463 vsize=25400 CPUtime=1.49 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1172 0 0 0 147 2 0 0 20 0 1 0 1144231 26009600 1014 33554432000 4194304 6986860 140736733839936 140736733835288 140008254160836 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1014 690 682 0 353 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25400
[startup+3.10018 s]
/proc/loadavg: 3.68 6.82 7.19 2/177 4528
/proc/meminfo: memFree=32131324/32770624 swapFree=5756/109216
[pid=4466] ppid=4463 vsize=25400 CPUtime=3.09 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1320 0 0 0 305 4 0 0 20 0 1 0 1144231 26009600 1019 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1019 690 682 0 353 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25400
[startup+6.3002 s]
/proc/loadavg: 3.54 6.74 7.16 2/177 4589
/proc/meminfo: memFree=32131476/32770624 swapFree=5756/109216
[pid=4466] ppid=4463 vsize=25400 CPUtime=6.29 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1471 0 0 0 620 9 0 0 20 0 1 0 1144231 26009600 1019 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1019 690 682 0 353 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25400
[startup+12.7002 s]
/proc/loadavg: 3.42 6.66 7.13 3/183 4729
/proc/meminfo: memFree=32084132/32770624 swapFree=5756/109476
[pid=4466] ppid=4463 vsize=25400 CPUtime=12.69 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1623 0 0 0 1250 19 0 0 20 0 1 0 1144231 26009600 1019 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1019 690 682 0 353 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25400
[startup+25.5002 s]
/proc/loadavg: 3.11 6.44 7.05 3/190 4996
/proc/meminfo: memFree=32117568/32770624 swapFree=5756/109612
[pid=4466] ppid=4463 vsize=25400 CPUtime=25.48 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 1933 0 0 0 2513 35 0 0 20 0 1 0 1144231 26009600 1020 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1020 690 682 0 353 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25400
[startup+51.1002 s]
/proc/loadavg: 2.73 6.08 6.92 3/183 5217
/proc/meminfo: memFree=32107472/32770624 swapFree=5756/109804
[pid=4466] ppid=4463 vsize=25400 CPUtime=51.09 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 2090 0 0 0 5039 70 0 0 20 0 1 0 1144231 26009600 1020 33554432000 4194304 6986860 140736733839936 140736733835464 140008254160877 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1020 690 682 0 353 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25400
[startup+102.3 s]
/proc/loadavg: 2.32 5.45 6.66 3/183 5225
/proc/meminfo: memFree=32100128/32770624 swapFree=5756/109848
[pid=4466] ppid=4463 vsize=25400 CPUtime=102.29 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 2252 0 0 0 10085 144 0 0 20 0 1 0 1144231 26009600 1021 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1021 690 682 0 353 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 25400
[startup+162.3 s]
/proc/loadavg: 2.13 4.83 6.37 3/183 5286
/proc/meminfo: memFree=32122548/32770624 swapFree=5756/109908
[pid=4466] ppid=4463 vsize=25400 CPUtime=162.28 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 2423 0 0 0 16001 227 0 0 20 0 1 0 1144231 26009600 1021 33554432000 4194304 6986860 140736733839936 140736733835464 140008254149766 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1021 690 682 0 353 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 25400
[startup+222.306 s]
/proc/loadavg: 2.08 4.33 6.10 3/183 5287
/proc/meminfo: memFree=32122592/32770624 swapFree=5756/109952
[pid=4466] ppid=4463 vsize=25400 CPUtime=222.28 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 2593 0 0 0 21916 312 0 0 20 0 1 0 1144231 26009600 1021 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6350 1021 690 682 0 353 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 25400
[startup+282.3 s]
/proc/loadavg: 2.03 3.90 5.84 3/183 5288
/proc/meminfo: memFree=32123212/32770624 swapFree=5756/109980
[pid=4466] ppid=4463 vsize=25528 CPUtime=282.28 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 2770 0 0 0 27826 402 0 0 20 0 1 0 1144231 26140672 1022 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1022 690 682 0 385 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 25528
[startup+342.3 s]
/proc/loadavg: 2.01 3.56 5.60 3/182 5289
/proc/meminfo: memFree=32123128/32770624 swapFree=5756/110020
[pid=4466] ppid=4463 vsize=25528 CPUtime=342.27 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 2941 0 0 0 33738 489 0 0 20 0 1 0 1144231 26140672 1022 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1022 690 682 0 385 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 25528
[startup+402.3 s]
/proc/loadavg: 2.00 3.27 5.38 3/182 5291
/proc/meminfo: memFree=32122884/32770624 swapFree=5756/110056
[pid=4466] ppid=4463 vsize=25528 CPUtime=402.26 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 3121 0 0 0 39648 578 0 0 20 0 1 0 1144231 26140672 1022 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1022 690 682 0 385 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 25528
[startup+462.3 s]
/proc/loadavg: 2.00 3.04 5.17 3/182 5292
/proc/meminfo: memFree=32122640/32770624 swapFree=5756/110084
[pid=4466] ppid=4463 vsize=25528 CPUtime=462.27 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 3294 0 0 0 45562 665 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 25528
[startup+522.3 s]
/proc/loadavg: 2.00 2.85 4.97 3/182 5293
/proc/meminfo: memFree=32122272/32770624 swapFree=5756/110112
[pid=4466] ppid=4463 vsize=25528 CPUtime=522.26 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 3469 0 0 0 51480 746 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 25528
[startup+582.3 s]
/proc/loadavg: 2.00 2.70 4.78 3/181 5295
/proc/meminfo: memFree=32123916/32770624 swapFree=5756/109968
[pid=4466] ppid=4463 vsize=25528 CPUtime=582.26 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 3644 0 0 0 57392 834 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 25528
################
# More data... #
################
[pid=4466] ppid=4463 vsize=25528 CPUtime=1662.21 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 6771 0 0 0 163813 2408 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 25528
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.83 3/182 5352
/proc/meminfo: memFree=32122552/32770624 swapFree=5756/110584
[pid=4466] ppid=4463 vsize=25528 CPUtime=1722.2 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 6945 0 0 0 169720 2500 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 25528
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.78 3/182 5353
/proc/meminfo: memFree=32122308/32770624 swapFree=5756/110612
[pid=4466] ppid=4463 vsize=25528 CPUtime=1782.2 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 7119 0 0 0 175632 2588 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 25528
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.73 3/182 5354
/proc/meminfo: memFree=32122436/32770624 swapFree=5756/110652
[pid=4466] ppid=4463 vsize=25528 CPUtime=1842.2 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 7293 0 0 0 181543 2677 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 25528
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.68 3/182 5362
/proc/meminfo: memFree=32121812/32770624 swapFree=5756/110684
[pid=4466] ppid=4463 vsize=25528 CPUtime=1902.2 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 7467 0 0 0 187448 2772 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 25528
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.64 3/182 5363
/proc/meminfo: memFree=32122456/32770624 swapFree=5756/110716
[pid=4466] ppid=4463 vsize=25528 CPUtime=1962.19 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 7641 0 0 0 193361 2858 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 25528
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.60 3/182 5364
/proc/meminfo: memFree=32122336/32770624 swapFree=5756/110744
[pid=4466] ppid=4463 vsize=25528 CPUtime=2022.19 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 7815 0 0 0 199266 2953 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254160780 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 2022.19
Current children cumulated vsize (KiB) 25528
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.57 3/182 5365
/proc/meminfo: memFree=32122308/32770624 swapFree=5756/110772
[pid=4466] ppid=4463 vsize=25528 CPUtime=2082.19 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 8002 0 0 0 205175 3044 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 25528
[startup+2142.3 s]
/proc/loadavg: 2.10 2.04 2.54 3/182 5366
/proc/meminfo: memFree=32122272/32770624 swapFree=5756/110808
[pid=4466] ppid=4463 vsize=25528 CPUtime=2142.18 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 8178 0 0 0 211087 3131 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 25528
[startup+2202.31 s]
/proc/loadavg: 2.09 2.05 2.51 3/182 5368
/proc/meminfo: memFree=32122036/32770624 swapFree=5756/110844
[pid=4466] ppid=4463 vsize=25528 CPUtime=2202.19 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 8357 0 0 0 216999 3220 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 2202.19
Current children cumulated vsize (KiB) 25528
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.48 3/182 5369
/proc/meminfo: memFree=32121668/32770624 swapFree=5756/110872
[pid=4466] ppid=4463 vsize=25528 CPUtime=2262.18 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 8537 0 0 0 222912 3306 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 5355386 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 2262.18
Current children cumulated vsize (KiB) 25528
[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.45 3/182 5370
/proc/meminfo: memFree=32121884/32770624 swapFree=5756/110904
[pid=4466] ppid=4463 vsize=25528 CPUtime=2322.17 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 8716 0 0 0 228827 3390 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835288 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 2322.17
Current children cumulated vsize (KiB) 25528
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.42 3/182 5372
/proc/meminfo: memFree=32121492/32770624 swapFree=5756/110940
[pid=4466] ppid=4463 vsize=25528 CPUtime=2382.17 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 8895 0 0 0 234740 3477 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 2382.17
Current children cumulated vsize (KiB) 25528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.03 2.41 3/182 5373
/proc/meminfo: memFree=32121624/32770624 swapFree=5756/110960
[pid=4466] ppid=4463 vsize=25528 CPUtime=2400.08 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) R 4463 4466 3809 0 -1 4202496 9072 0 0 0 236505 3503 0 0 20 0 1 0 1144231 26140672 1024 33554432000 4194304 6986860 140736733839936 140736733835464 140008254415228 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6382 1024 690 682 0 385 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 25528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4466
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4466 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2401.6 s]
/proc/loadavg: 1.92 2.01 2.41 2/182 5373
/proc/meminfo: memFree=32122148/32770624 swapFree=5756/110960
[pid=4466] ppid=4463 vsize=25532 CPUtime=2400.08 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) S 4463 4466 3809 0 -1 1077944320 9088 0 0 0 236505 3503 0 0 20 0 1 0 1144231 26144768 1029 33554432000 4194304 6986860 140736733839936 140736733833144 140008254705916 0 16384 4096 16384 18446744071579849748 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6383 1029 694 682 0 386 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 25532
[startup+2402 s]
/proc/loadavg: 1.92 2.01 2.41 2/182 5373
/proc/meminfo: memFree=32122148/32770624 swapFree=5756/110960
[pid=4466] ppid=4463 vsize=25532 CPUtime=2400.08 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) S 4463 4466 3809 0 -1 1077944320 9088 0 0 0 236505 3503 0 0 20 0 1 0 1144231 26144768 1029 33554432000 4194304 6986860 140736733839936 140736733833144 140008254705916 0 16384 4096 16384 18446744071579849748 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6383 1029 694 682 0 386 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 25532
[startup+2402.2 s]
/proc/loadavg: 1.92 2.01 2.41 2/182 5373
/proc/meminfo: memFree=32122148/32770624 swapFree=5756/110960
[pid=4466] ppid=4463 vsize=25532 CPUtime=2400.08 cores=0,2,4,6
/proc/4466/stat : 4466 (naxos-xcsp3) S 4463 4466 3809 0 -1 1077944320 9088 0 0 0 236505 3503 0 0 20 0 1 0 1144231 26144768 1029 33554432000 4194304 6986860 140736733839936 140736733833144 140008254705916 0 16384 4096 16384 18446744071579849748 0 0 17 0 0 0 0 0 0 9087712 9120176 40701952 140736733844750 140736733844831 140736733844831 140736733847530 0
/proc/4466/statm: 6383 1029 694 682 0 386 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 25532
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402.2
CPU time (s): 2400.08
CPU user time (s): 2365.05
CPU system time (s): 35.0313
CPU usage (%): 99.9119
Max. virtual memory (cumulated for all children) (KiB): 25532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2365.05
system time used= 35.0313
maximum resident set size= 4120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9088
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= 6
involuntary context switches= 2402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.04534 second user time and 8.34921 second system time
The end