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-4251547-1500914940/watcher-4251547-1500914940 -o /tmp/evaluation-result-4251547-1500914940/solver-4251547-1500914940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500914927-3714 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251547-1500914940.xml
pid=4092
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: 0.00 1.45 4.54 2/175 4095
/proc/meminfo: memFree=32133240/32770624 swapFree=5856/111016
[pid=4095] ppid=4092 vsize=24872 CPUtime=0 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 1000 0 0 0 0 0 0 0 20 0 1 0 1034180 25468928 837 33554432000 4194304 6986860 140732451015936 140732451012632 140343129340901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6251 837 652 682 0 254 0
[startup+0.100196 s]
/proc/loadavg: 0.00 1.45 4.54 2/175 4095
/proc/meminfo: memFree=32133240/32770624 swapFree=5856/111016
[pid=4095] ppid=4092 vsize=27472 CPUtime=0.09 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 1747 0 0 0 9 0 0 0 20 0 1 0 1034180 28131328 1537 33554432000 4194304 6986860 140732451015936 140732451012632 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1537 754 682 0 871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27472
[startup+0.200346 s]
/proc/loadavg: 0.00 1.45 4.54 2/175 4095
/proc/meminfo: memFree=32133240/32770624 swapFree=5856/111016
[pid=4095] ppid=4092 vsize=27472 CPUtime=0.19 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 1747 0 0 0 19 0 0 0 20 0 1 0 1034180 28131328 1537 33554432000 4194304 6986860 140732451015936 140732451012632 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1537 754 682 0 871 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27472
[startup+0.300316 s]
/proc/loadavg: 0.00 1.45 4.54 2/175 4095
/proc/meminfo: memFree=32133240/32770624 swapFree=5856/111016
[pid=4095] ppid=4092 vsize=27472 CPUtime=0.29 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 1747 0 0 0 29 0 0 0 20 0 1 0 1034180 28131328 1537 33554432000 4194304 6986860 140732451015936 140732451012632 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1537 754 682 0 871 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27472
[startup+0.700281 s]
/proc/loadavg: 0.00 1.45 4.54 2/175 4095
/proc/meminfo: memFree=32133240/32770624 swapFree=5856/111016
[pid=4095] ppid=4092 vsize=27472 CPUtime=0.69 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 1747 0 0 0 69 0 0 0 20 0 1 0 1034180 28131328 1537 33554432000 4194304 6986860 140732451015936 140732451012632 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1537 754 682 0 871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27472
[startup+1.50028 s]
/proc/loadavg: 0.08 1.45 4.52 3/177 4119
/proc/meminfo: memFree=32126736/32770624 swapFree=5856/110852
[pid=4095] ppid=4092 vsize=27472 CPUtime=1.49 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 1747 0 0 0 148 1 0 0 20 0 1 0 1034180 28131328 1537 33554432000 4194304 6986860 140732451015936 140732451011464 5437973 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1537 754 682 0 871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27472
[startup+3.10028 s]
/proc/loadavg: 0.08 1.45 4.52 2/177 4183
/proc/meminfo: memFree=32127604/32770624 swapFree=5856/110852
[pid=4095] ppid=4092 vsize=27472 CPUtime=3.09 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 2053 0 0 0 307 2 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129338798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27472
[startup+6.30028 s]
/proc/loadavg: 0.24 1.46 4.51 3/182 4300
/proc/meminfo: memFree=32095788/32770624 swapFree=5856/111228
[pid=4095] ppid=4092 vsize=27472 CPUtime=6.29 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 2377 0 0 0 624 5 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 5366979 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27472
[startup+12.7003 s]
/proc/loadavg: 0.38 1.47 4.49 3/182 4300
/proc/meminfo: memFree=31586200/32770624 swapFree=5856/111228
[pid=4095] ppid=4092 vsize=27472 CPUtime=12.69 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 2723 0 0 0 1257 12 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 5453949 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27472
[startup+25.5003 s]
/proc/loadavg: 0.74 1.49 4.45 3/182 4361
/proc/meminfo: memFree=31587536/32770624 swapFree=5856/111500
[pid=4095] ppid=4092 vsize=27472 CPUtime=25.49 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 3415 0 0 0 2527 22 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27472
[startup+51.1003 s]
/proc/loadavg: 1.11 1.52 4.38 3/182 4422
/proc/meminfo: memFree=32123956/32770624 swapFree=5856/111544
[pid=4095] ppid=4092 vsize=27472 CPUtime=51.09 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 3785 0 0 0 5062 47 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27472
[startup+102.3 s]
/proc/loadavg: 1.61 1.59 4.26 3/182 4430
/proc/meminfo: memFree=32125416/32770624 swapFree=5856/111608
[pid=4095] ppid=4092 vsize=27472 CPUtime=102.3 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 4165 0 0 0 10133 97 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27472
[startup+162.3 s]
/proc/loadavg: 1.86 1.67 4.12 3/182 4431
/proc/meminfo: memFree=32125228/32770624 swapFree=5856/111644
[pid=4095] ppid=4092 vsize=27472 CPUtime=162.3 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 4548 0 0 0 16079 151 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27472
[startup+222.306 s]
/proc/loadavg: 2.00 1.74 3.99 3/182 4432
/proc/meminfo: memFree=32125184/32770624 swapFree=5856/111700
[pid=4095] ppid=4092 vsize=27472 CPUtime=222.29 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 4937 0 0 0 22021 208 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27472
[startup+282.3 s]
/proc/loadavg: 2.00 1.79 3.86 3/182 4433
/proc/meminfo: memFree=32125352/32770624 swapFree=5856/111732
[pid=4095] ppid=4092 vsize=27472 CPUtime=282.3 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 5335 0 0 0 27962 268 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 5862348 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27472
[startup+342.3 s]
/proc/loadavg: 2.00 1.83 3.75 3/182 4434
/proc/meminfo: memFree=32125508/32770624 swapFree=5856/111772
[pid=4095] ppid=4092 vsize=27472 CPUtime=342.3 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 5736 0 0 0 33906 324 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 5369216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27472
[startup+402.3 s]
/proc/loadavg: 2.00 1.86 3.64 3/182 4436
/proc/meminfo: memFree=32125536/32770624 swapFree=5856/111816
[pid=4095] ppid=4092 vsize=27472 CPUtime=402.29 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 6145 0 0 0 39849 380 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 5431962 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 27472
[startup+462.3 s]
/proc/loadavg: 2.00 1.88 3.54 3/182 4437
/proc/meminfo: memFree=32125424/32770624 swapFree=5856/111852
[pid=4095] ppid=4092 vsize=27472 CPUtime=462.29 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 6541 0 0 0 45793 436 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 5453320 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 27472
[startup+522.3 s]
/proc/loadavg: 2.00 1.90 3.44 3/182 4438
/proc/meminfo: memFree=32125432/32770624 swapFree=5856/111896
[pid=4095] ppid=4092 vsize=27472 CPUtime=522.29 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 6944 0 0 0 51737 492 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 27472
[startup+582.3 s]
/proc/loadavg: 2.00 1.92 3.35 3/182 4440
/proc/meminfo: memFree=32125432/32770624 swapFree=5856/111944
[pid=4095] ppid=4092 vsize=27472 CPUtime=582.3 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 7369 0 0 0 57681 549 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 140343129338991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27472
################
# More data... #
################
[pid=4095] ppid=4092 vsize=27472 CPUtime=1662.31 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 14994 0 0 0 164608 1623 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 27472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.40 3/182 4497
/proc/meminfo: memFree=32124156/32770624 swapFree=5856/112376
[pid=4095] ppid=4092 vsize=27472 CPUtime=1722.31 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 15430 0 0 0 170551 1680 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 5357069 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 27472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.38 3/182 4498
/proc/meminfo: memFree=32124188/32770624 swapFree=5856/112408
[pid=4095] ppid=4092 vsize=27472 CPUtime=1782.31 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 15860 0 0 0 176488 1743 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 27472
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.36 3/182 4499
/proc/meminfo: memFree=32124328/32770624 swapFree=5856/112440
[pid=4095] ppid=4092 vsize=27472 CPUtime=1842.31 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 16296 0 0 0 182420 1811 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 27472
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.33 3/182 4507
/proc/meminfo: memFree=32123732/32770624 swapFree=5856/112440
[pid=4095] ppid=4092 vsize=27472 CPUtime=1902.31 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 16732 0 0 0 188356 1875 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 27472
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/182 4508
/proc/meminfo: memFree=32123476/32770624 swapFree=5856/112472
[pid=4095] ppid=4092 vsize=27472 CPUtime=1962.31 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 17164 0 0 0 194293 1938 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 27472
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.29 3/182 4509
/proc/meminfo: memFree=32123616/32770624 swapFree=5856/112512
[pid=4095] ppid=4092 vsize=27472 CPUtime=2022.32 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 17599 0 0 0 200231 2001 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2022.32
Current children cumulated vsize (KiB) 27472
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.28 3/182 4510
/proc/meminfo: memFree=32123604/32770624 swapFree=5856/112544
[pid=4095] ppid=4092 vsize=27472 CPUtime=2082.32 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 18032 0 0 0 206173 2059 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 27472
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.26 3/182 4511
/proc/meminfo: memFree=32123356/32770624 swapFree=5856/112580
[pid=4095] ppid=4092 vsize=27472 CPUtime=2142.32 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 18472 0 0 0 212113 2119 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011288 5295248 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2142.32
Current children cumulated vsize (KiB) 27472
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.24 3/182 4513
/proc/meminfo: memFree=32123624/32770624 swapFree=5856/112600
[pid=4095] ppid=4092 vsize=27472 CPUtime=2202.32 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 18909 0 0 0 218051 2181 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 27472
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/182 4514
/proc/meminfo: memFree=32123484/32770624 swapFree=5856/112640
[pid=4095] ppid=4092 vsize=27472 CPUtime=2262.31 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 19351 0 0 0 223981 2250 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129350109 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 27472
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/182 4515
/proc/meminfo: memFree=32123960/32770624 swapFree=5856/112680
[pid=4095] ppid=4092 vsize=27472 CPUtime=2322.32 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 19790 0 0 0 229924 2308 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129338398 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 27472
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4517
/proc/meminfo: memFree=32123696/32770624 swapFree=5856/112720
[pid=4095] ppid=4092 vsize=27472 CPUtime=2382.32 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 20226 0 0 0 235865 2367 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2382.32
Current children cumulated vsize (KiB) 27472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4517
/proc/meminfo: memFree=32124180/32770624 swapFree=5856/112728
[pid=4095] ppid=4092 vsize=27472 CPUtime=2400.02 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) R 4092 4095 3683 0 -1 4202496 20660 0 0 0 237618 2384 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451011464 140343129604476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 27472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4095
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4095 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.20 2/182 4517
/proc/meminfo: memFree=32124304/32770624 swapFree=5856/112728
[pid=4095] ppid=4092 vsize=27472 CPUtime=2400.02 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) S 4092 4095 3683 0 -1 1077944320 20674 0 0 0 237618 2384 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451009400 140343129895164 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 27472
[startup+2401.6 s]
/proc/loadavg: 1.92 2.00 2.19 2/182 4517
/proc/meminfo: memFree=32124304/32770624 swapFree=5856/112728
[pid=4095] ppid=4092 vsize=27472 CPUtime=2400.02 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) S 4092 4095 3683 0 -1 1077944320 20674 0 0 0 237618 2384 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451009400 140343129895164 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 27472
[startup+2402 s]
/proc/loadavg: 1.92 2.00 2.19 2/182 4517
/proc/meminfo: memFree=32124304/32770624 swapFree=5856/112728
[pid=4095] ppid=4092 vsize=27472 CPUtime=2400.02 cores=0,2,4,6
/proc/4095/stat : 4095 (naxos-xcsp3) S 4092 4095 3683 0 -1 1077944320 20674 0 0 0 237618 2384 0 0 20 0 1 0 1034180 28131328 1593 33554432000 4194304 6986860 140732451015936 140732451009400 140343129895164 0 16384 4096 16384 18446744071579849748 0 0 17 4 0 0 0 0 0 9087712 9120176 19247104 140732451017998 140732451018079 140732451018079 140732451020778 0
/proc/4095/statm: 6868 1593 758 682 0 871 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 27472
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402
CPU time (s): 2400.03
CPU user time (s): 2376.18
CPU system time (s): 23.8473
CPU usage (%): 99.9179
Max. virtual memory (cumulated for all children) (KiB): 27472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2376.18
system time used= 23.8473
maximum resident set size= 6380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20674
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= 624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90537 second user time and 10.1623 second system time
The end