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-4251838-1500919747/watcher-4251838-1500919747 -o /tmp/evaluation-result-4251838-1500919747/solver-4251838-1500919747 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3379 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251838-1500919747.xml
pid=4514
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.98 2.03 3/181 4517
/proc/meminfo: memFree=32127676/32770624 swapFree=5780/111332
[pid=4517] ppid=4514 vsize=25120 CPUtime=0 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 1 0 1527501 25722880 897 33554432000 4194304 6986860 140730437071056 140730437067752 140080600009701 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 6280 897 668 682 0 283 0
[startup+0.100159 s]
/proc/loadavg: 1.84 1.98 2.03 3/181 4517
/proc/meminfo: memFree=32127676/32770624 swapFree=5780/111332
[pid=4517] ppid=4514 vsize=38668 CPUtime=0.09 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 4466 0 0 0 9 0 0 0 20 0 1 0 1527501 39596032 4286 33554432000 4194304 6986860 140730437071056 140730437067752 140080600009701 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 9667 4286 670 682 0 3670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38668
[startup+0.200349 s]
/proc/loadavg: 1.84 1.98 2.03 3/181 4517
/proc/meminfo: memFree=32127676/32770624 swapFree=5780/111332
[pid=4517] ppid=4514 vsize=41732 CPUtime=0.19 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 5256 0 0 0 19 0 0 0 20 0 1 0 1527501 42733568 5082 33554432000 4194304 6986860 140730437071056 140730437067752 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10433 5082 688 682 0 4436 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41732
[startup+0.300335 s]
/proc/loadavg: 1.84 1.98 2.03 3/181 4517
/proc/meminfo: memFree=32127676/32770624 swapFree=5780/111332
[pid=4517] ppid=4514 vsize=41732 CPUtime=0.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 5256 0 0 0 29 0 0 0 20 0 1 0 1527501 42733568 5082 33554432000 4194304 6986860 140730437071056 140730437067752 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10433 5082 688 682 0 4436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41732
[startup+0.700253 s]
/proc/loadavg: 1.84 1.98 2.03 3/181 4517
/proc/meminfo: memFree=32127676/32770624 swapFree=5780/111332
[pid=4517] ppid=4514 vsize=41856 CPUtime=0.69 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 5258 0 0 0 69 0 0 0 20 0 1 0 1527501 42860544 5103 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5103 688 682 0 4467 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41856
[startup+1.50026 s]
/proc/loadavg: 1.84 1.98 2.03 3/182 4518
/proc/meminfo: memFree=32109168/32770624 swapFree=5780/111364
[pid=4517] ppid=4514 vsize=41856 CPUtime=1.49 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 5261 0 0 0 148 1 0 0 20 0 1 0 1527501 42860544 5103 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5103 688 682 0 4467 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41856
[startup+3.10026 s]
/proc/loadavg: 1.84 1.98 2.03 3/182 4518
/proc/meminfo: memFree=32108672/32770624 swapFree=5780/111364
[pid=4517] ppid=4514 vsize=41856 CPUtime=3.09 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 9395 0 0 0 307 2 0 0 20 0 1 0 1527501 42860544 5106 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5106 688 682 0 4467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41856
[startup+6.30025 s]
/proc/loadavg: 1.94 2.00 2.04 3/182 4518
/proc/meminfo: memFree=32108460/32770624 swapFree=5780/111372
[pid=4517] ppid=4514 vsize=41856 CPUtime=6.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 13532 0 0 0 625 4 0 0 20 0 1 0 1527501 42860544 5107 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5107 688 682 0 4467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41856
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.04 3/182 4518
/proc/meminfo: memFree=32107668/32770624 swapFree=5780/111380
[pid=4517] ppid=4514 vsize=41856 CPUtime=12.69 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 17686 0 0 0 1259 10 0 0 20 0 1 0 1527501 42860544 5110 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5110 688 682 0 4467 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41856
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 4579
/proc/meminfo: memFree=32072932/32770624 swapFree=5780/111396
[pid=4517] ppid=4514 vsize=41856 CPUtime=25.48 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 19019 0 0 0 2528 20 0 0 20 0 1 0 1527501 42860544 5110 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5110 688 682 0 4467 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41856
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 4643
/proc/meminfo: memFree=32105720/32770624 swapFree=5780/111540
[pid=4517] ppid=4514 vsize=41856 CPUtime=51.09 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 19731 0 0 0 5068 41 0 0 20 0 1 0 1527501 42860544 5113 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5113 688 682 0 4467 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41856
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 4651
/proc/meminfo: memFree=32104304/32770624 swapFree=5780/111596
[pid=4517] ppid=4514 vsize=41856 CPUtime=102.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 20400 0 0 0 10145 84 0 0 20 0 1 0 1527501 42860544 5113 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5113 688 682 0 4467 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 41856
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 4652
/proc/meminfo: memFree=32104180/32770624 swapFree=5780/111620
[pid=4517] ppid=4514 vsize=41856 CPUtime=162.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 21172 0 0 0 16094 135 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 41856
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 4653
/proc/meminfo: memFree=32104056/32770624 swapFree=5780/111652
[pid=4517] ppid=4514 vsize=41856 CPUtime=222.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 21878 0 0 0 22048 181 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 41856
[startup+282.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/182 4654
/proc/meminfo: memFree=32104304/32770624 swapFree=5780/111680
[pid=4517] ppid=4514 vsize=41856 CPUtime=282.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 22556 0 0 0 28000 229 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 41856
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 4655
/proc/meminfo: memFree=32104048/32770624 swapFree=5780/111708
[pid=4517] ppid=4514 vsize=41856 CPUtime=342.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 23234 0 0 0 33953 276 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 41856
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4656
/proc/meminfo: memFree=32104304/32770624 swapFree=5780/111744
[pid=4517] ppid=4514 vsize=41856 CPUtime=402.28 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 23912 0 0 0 39907 321 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 41856
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4657
/proc/meminfo: memFree=32104536/32770624 swapFree=5780/111772
[pid=4517] ppid=4514 vsize=41856 CPUtime=462.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 24645 0 0 0 45858 371 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 41856
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4658
/proc/meminfo: memFree=32104156/32770624 swapFree=5780/111800
[pid=4517] ppid=4514 vsize=41856 CPUtime=522.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 25349 0 0 0 51804 425 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 41856
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 4659
/proc/meminfo: memFree=32104396/32770624 swapFree=5780/111832
[pid=4517] ppid=4514 vsize=41856 CPUtime=582.29 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 26028 0 0 0 57756 473 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 41856
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4690
/proc/meminfo: memFree=32104384/32770624 swapFree=5780/112324
[pid=4517] ppid=4514 vsize=41856 CPUtime=1482.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 36362 0 0 0 147011 1219 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 41856
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4691
/proc/meminfo: memFree=32104632/32770624 swapFree=5780/112356
[pid=4517] ppid=4514 vsize=41856 CPUtime=1542.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 37052 0 0 0 152963 1267 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 41856
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4692
/proc/meminfo: memFree=32104376/32770624 swapFree=5780/112392
[pid=4517] ppid=4514 vsize=41856 CPUtime=1602.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 37764 0 0 0 158914 1316 0 0 20 0 1 0 1527501 42860544 5116 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5116 688 682 0 4467 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 41856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4693
/proc/meminfo: memFree=32104584/32770624 swapFree=5780/112420
[pid=4517] ppid=4514 vsize=41856 CPUtime=1662.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 38444 0 0 0 164865 1365 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 41856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4694
/proc/meminfo: memFree=32104056/32770624 swapFree=5780/112448
[pid=4517] ppid=4514 vsize=41856 CPUtime=1722.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 39124 0 0 0 170814 1416 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 41856
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4695
/proc/meminfo: memFree=32103768/32770624 swapFree=5780/112476
[pid=4517] ppid=4514 vsize=41856 CPUtime=1782.31 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 39804 0 0 0 176767 1464 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 41856
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4696
/proc/meminfo: memFree=32103588/32770624 swapFree=5780/112504
[pid=4517] ppid=4514 vsize=41856 CPUtime=1842.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 40515 0 0 0 182720 1510 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 41856
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4704
/proc/meminfo: memFree=32103500/32770624 swapFree=5780/112552
[pid=4517] ppid=4514 vsize=41856 CPUtime=1902.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 41196 0 0 0 188674 1556 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 41856
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4705
/proc/meminfo: memFree=32104120/32770624 swapFree=5780/112580
[pid=4517] ppid=4514 vsize=41856 CPUtime=1962.31 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 41873 0 0 0 194626 1605 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 41856
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4706
/proc/meminfo: memFree=32104028/32770624 swapFree=5780/112608
[pid=4517] ppid=4514 vsize=41856 CPUtime=2022.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 42606 0 0 0 200578 1652 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 41856
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4707
/proc/meminfo: memFree=32104400/32770624 swapFree=5780/112636
[pid=4517] ppid=4514 vsize=41856 CPUtime=2082.31 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 43303 0 0 0 206528 1703 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 41856
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4708
/proc/meminfo: memFree=32104276/32770624 swapFree=5780/112664
[pid=4517] ppid=4514 vsize=41856 CPUtime=2142.31 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 43983 0 0 0 212481 1750 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 41856
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4709
/proc/meminfo: memFree=32104240/32770624 swapFree=5780/112704
[pid=4517] ppid=4514 vsize=41856 CPUtime=2202.31 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 44693 0 0 0 218434 1797 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 41856
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4710
/proc/meminfo: memFree=32104496/32770624 swapFree=5780/112732
[pid=4517] ppid=4514 vsize=41856 CPUtime=2262.31 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 45375 0 0 0 224384 1847 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066408 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 41856
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4711
/proc/meminfo: memFree=32104588/32770624 swapFree=5780/112760
[pid=4517] ppid=4514 vsize=41856 CPUtime=2322.31 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 46050 0 0 0 230336 1895 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 2322.31
Current children cumulated vsize (KiB) 41856
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 4712
/proc/meminfo: memFree=32104168/32770624 swapFree=5780/112788
[pid=4517] ppid=4514 vsize=41856 CPUtime=2382.3 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 46729 0 0 0 236287 1943 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 2382.3
Current children cumulated vsize (KiB) 41856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 4712
/proc/meminfo: memFree=32104292/32770624 swapFree=5780/112796
[pid=4517] ppid=4514 vsize=41856 CPUtime=2400.01 cores=1,3,5,7
/proc/4517/stat : 4517 (naxos-xcsp3) R 4514 4517 3347 0 -1 4202496 47382 0 0 0 238043 1958 0 0 20 0 1 0 1527501 42860544 5119 33554432000 4194304 6986860 140730437071056 140730437066584 140080600273276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 25763840 140730437072142 140730437072223 140730437072223 140730437074922 0
/proc/4517/statm: 10464 5119 688 682 0 4467 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 41856
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 4517 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400
CPU time (s): 2400.02
CPU user time (s): 2380.44
CPU system time (s): 19.5832
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 41856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.44
system time used= 19.5832
maximum resident set size= 20516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 800
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.11217 second user time and 10.0772 second system time
The end