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-4243027-1500665017/watcher-4243027-1500665017 -o /tmp/evaluation-result-4243027-1500665017/solver-4243027-1500665017 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500648178-2490 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 466990765 HOME/instance-4243027-1500665017.xml
pid=4539
running on 8 cores: 1,3,5,7,9,11,13,15
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.02 2.02 2.05 3/242 4542
/proc/meminfo: memFree=32022036/32770624 swapFree=5848/216300
[pid=4542] ppid=4539 vsize=29204 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 1057 0 0 0 0 0 0 0 20 0 1 0 1770834 29904896 868 33554432000 4194304 7402444 140734653559264 140734653558624 140418749684709 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 7301 868 610 784 0 315 0
[startup+0.100115 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 4542
/proc/meminfo: memFree=32022036/32770624 swapFree=5848/216300
[pid=4542] ppid=4539 vsize=30200 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 1371 0 0 0 9 0 0 0 20 0 1 0 1770834 30924800 1144 33554432000 4194304 7402444 140734653559264 140734653552504 5884399 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 7550 1144 666 784 0 564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30200
[startup+0.200245 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 4542
/proc/meminfo: memFree=32022036/32770624 swapFree=5848/216300
[pid=4542] ppid=4539 vsize=30864 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 1544 0 0 0 19 0 0 0 20 0 1 0 1770834 31604736 1350 33554432000 4194304 7402444 140734653559264 140734653552504 140418753170104 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 7716 1350 666 784 0 730 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30864
[startup+0.300216 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 4542
/proc/meminfo: memFree=32022036/32770624 swapFree=5848/216300
[pid=4542] ppid=4539 vsize=31704 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 1716 0 0 0 29 0 0 0 20 0 1 0 1770834 32464896 1543 33554432000 4194304 7402444 140734653559264 140734653550632 140418749684709 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 7926 1543 666 784 0 940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31704
[startup+0.700181 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 4542
/proc/meminfo: memFree=32022036/32770624 swapFree=5848/216300
[pid=4542] ppid=4539 vsize=34388 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 2499 0 0 0 69 0 0 0 20 0 1 0 1770834 35213312 2213 33554432000 4194304 7402444 140734653559264 140734653552504 140418749684709 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 8597 2213 666 784 0 1611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34388
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4543
/proc/meminfo: memFree=32013452/32770624 swapFree=5848/216392
[pid=4542] ppid=4539 vsize=38680 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 3714 0 0 0 149 0 0 0 20 0 1 0 1770834 39608320 3267 33554432000 4194304 7402444 140734653559264 140734653549832 5995002 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 9670 3267 730 784 0 2684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38680
[startup+3.10018 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4543
/proc/meminfo: memFree=32007176/32770624 swapFree=5848/216392
[pid=4542] ppid=4539 vsize=45236 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 5884 0 0 0 309 0 0 0 20 0 1 0 1770834 46321664 4874 33554432000 4194304 7402444 140734653559264 140734653549832 140418755876016 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 11309 4874 730 784 0 4323 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45236
[startup+6.30018 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4543
/proc/meminfo: memFree=31993704/32770624 swapFree=5848/216404
[pid=4542] ppid=4539 vsize=58688 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 11496 0 0 0 628 0 0 0 20 0 1 0 1770834 60096512 8297 33554432000 4194304 7402444 140734653559264 140734653549912 5939849 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 14719 8297 730 784 0 7733 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58688
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4543
/proc/meminfo: memFree=31965868/32770624 swapFree=5848/216416
[pid=4542] ppid=4539 vsize=85016 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 24061 0 0 0 1267 2 0 0 20 0 1 0 1770834 87056384 14841 33554432000 4194304 7402444 140734653559264 140734653550024 4731480 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 21254 14841 730 784 0 14268 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85016
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4543
/proc/meminfo: memFree=31926204/32770624 swapFree=5848/216424
[pid=4542] ppid=4539 vsize=127140 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 37716 0 0 0 2545 4 0 0 20 0 1 0 1770834 130191360 25270 33554432000 4194304 7402444 140734653559264 140734653549912 5921431 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 31785 25270 730 784 0 24799 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 127140
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 4543
/proc/meminfo: memFree=31846076/32770624 swapFree=5848/216452
[pid=4542] ppid=4539 vsize=210136 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 94222 0 0 0 5100 8 0 0 20 0 1 0 1770834 215179264 46210 33554432000 4194304 7402444 140734653559264 140734653553016 4497512 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 52534 46210 742 784 0 45548 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 210136
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4611
/proc/meminfo: memFree=31732752/32770624 swapFree=5848/216632
[pid=4542] ppid=4539 vsize=229400 CPUtime=102.23 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 134224 0 0 0 10212 11 0 0 20 0 1 0 1770834 234905600 51120 33554432000 4194304 7402444 140734653559264 140734653553848 5324377 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 57350 51120 768 784 0 50364 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 229400
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4612
/proc/meminfo: memFree=31661220/32770624 swapFree=5848/216664
[pid=4542] ppid=4539 vsize=231116 CPUtime=162.16 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 144729 0 0 0 16204 12 0 0 20 0 1 0 1770834 236662784 51530 33554432000 4194304 7402444 140734653559264 140734653553560 5324328 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 57779 51530 768 784 0 50793 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 231116
[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4613
/proc/meminfo: memFree=31656484/32770624 swapFree=5848/216704
[pid=4542] ppid=4539 vsize=232304 CPUtime=222.14 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 145700 0 0 0 22202 12 0 0 20 0 1 0 1770834 237879296 51779 33554432000 4194304 7402444 140734653559264 140734653553848 5324377 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 58076 51779 768 784 0 51090 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 232304
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4615
/proc/meminfo: memFree=31655628/32770624 swapFree=5848/216736
[pid=4542] ppid=4539 vsize=233360 CPUtime=282.1 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 146939 0 0 0 28198 12 0 0 20 0 1 0 1770834 238960640 52047 33554432000 4194304 7402444 140734653559264 140734653553848 4238492 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 58340 52047 768 784 0 51354 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 233360
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4617
/proc/meminfo: memFree=31655496/32770624 swapFree=5848/216784
[pid=4542] ppid=4539 vsize=234020 CPUtime=342.07 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 148297 0 0 0 34195 12 0 0 20 0 1 0 1770834 239636480 52235 33554432000 4194304 7402444 140734653559264 140734653553560 5324390 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 58505 52235 768 784 0 51519 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 234020
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4625
/proc/meminfo: memFree=31654772/32770624 swapFree=5848/216828
[pid=4542] ppid=4539 vsize=234416 CPUtime=402.04 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 149798 0 0 0 40192 12 0 0 20 0 1 0 1770834 240041984 52373 33554432000 4194304 7402444 140734653559264 140734653553560 4747009 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 58604 52373 768 784 0 51618 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 234416
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4626
/proc/meminfo: memFree=31655088/32770624 swapFree=5848/216868
[pid=4542] ppid=4539 vsize=234944 CPUtime=462 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 150920 0 0 0 46188 12 0 0 20 0 1 0 1770834 240582656 52504 33554432000 4194304 7402444 140734653559264 140734653553848 5324390 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 58736 52504 768 784 0 51750 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 234944
[startup+522.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/243 4627
/proc/meminfo: memFree=31655220/32770624 swapFree=5848/216888
[pid=4542] ppid=4539 vsize=235208 CPUtime=521.97 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 152038 0 0 0 52185 12 0 0 20 0 1 0 1770834 240852992 52519 33554432000 4194304 7402444 140734653559264 140734653553560 4297944 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 58802 52519 768 784 0 51816 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 235208
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4628
/proc/meminfo: memFree=31655736/32770624 swapFree=5848/216924
[pid=4542] ppid=4539 vsize=235604 CPUtime=581.94 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 153229 0 0 0 58182 12 0 0 20 0 1 0 1770834 241258496 52642 33554432000 4194304 7402444 140734653559264 140734653553736 5871069 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 58901 52642 768 784 0 51915 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 235604
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4651
/proc/meminfo: memFree=31651656/32770624 swapFree=5848/217512
[pid=4542] ppid=4539 vsize=238508 CPUtime=1541.44 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 170090 0 0 0 154131 13 0 0 20 0 1 0 1770834 244232192 53389 33554432000 4194304 7402444 140734653559264 140734653553560 4299891 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59627 53389 768 784 0 52641 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 238508
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4660
/proc/meminfo: memFree=31650756/32770624 swapFree=5848/217548
[pid=4542] ppid=4539 vsize=238508 CPUtime=1601.4 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 170911 0 0 0 160127 13 0 0 20 0 1 0 1770834 244232192 53389 33554432000 4194304 7402444 140734653559264 140734653553560 5747568 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59627 53389 768 784 0 52641 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 238508
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4661
/proc/meminfo: memFree=31651336/32770624 swapFree=5848/217584
[pid=4542] ppid=4539 vsize=238508 CPUtime=1661.38 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 171636 0 0 0 166125 13 0 0 20 0 1 0 1770834 244232192 53389 33554432000 4194304 7402444 140734653559264 140734653553560 5871010 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59627 53389 768 784 0 52641 0
Current children cumulated CPU time (s) 1661.38
Current children cumulated vsize (KiB) 238508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4662
/proc/meminfo: memFree=31650908/32770624 swapFree=5848/217612
[pid=4542] ppid=4539 vsize=238508 CPUtime=1721.35 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 172549 0 0 0 172122 13 0 0 20 0 1 0 1770834 244232192 53389 33554432000 4194304 7402444 140734653559264 140734653553560 5324390 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59627 53389 768 784 0 52641 0
Current children cumulated CPU time (s) 1721.35
Current children cumulated vsize (KiB) 238508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4663
/proc/meminfo: memFree=31650816/32770624 swapFree=5848/217648
[pid=4542] ppid=4539 vsize=238640 CPUtime=1781.32 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 173478 0 0 0 178119 13 0 0 20 0 1 0 1770834 244367360 53393 33554432000 4194304 7402444 140734653559264 140734653553560 5758663 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59660 53393 768 784 0 52674 0
Current children cumulated CPU time (s) 1781.32
Current children cumulated vsize (KiB) 238640
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4664
/proc/meminfo: memFree=31650836/32770624 swapFree=5848/217688
[pid=4542] ppid=4539 vsize=238640 CPUtime=1841.29 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 174437 0 0 0 184115 14 0 0 20 0 1 0 1770834 244367360 53414 33554432000 4194304 7402444 140734653559264 140734653553560 4747176 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59660 53414 768 784 0 52674 0
Current children cumulated CPU time (s) 1841.29
Current children cumulated vsize (KiB) 238640
[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 4666
/proc/meminfo: memFree=31651968/32770624 swapFree=5848/217728
[pid=4542] ppid=4539 vsize=238772 CPUtime=1901.26 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 175396 0 0 0 190112 14 0 0 20 0 1 0 1770834 244502528 53435 33554432000 4194304 7402444 140734653559264 140734653553560 5324377 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59693 53435 768 784 0 52707 0
Current children cumulated CPU time (s) 1901.26
Current children cumulated vsize (KiB) 238772
[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4667
/proc/meminfo: memFree=31649012/32770624 swapFree=5848/217764
[pid=4542] ppid=4539 vsize=238772 CPUtime=1961.23 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 176379 0 0 0 196109 14 0 0 20 0 1 0 1770834 244502528 53442 33554432000 4194304 7402444 140734653559264 140734653553560 5747568 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59693 53442 768 784 0 52707 0
Current children cumulated CPU time (s) 1961.23
Current children cumulated vsize (KiB) 238772
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4668
/proc/meminfo: memFree=31650376/32770624 swapFree=5848/217800
[pid=4542] ppid=4539 vsize=238772 CPUtime=2021.19 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 177359 0 0 0 202105 14 0 0 20 0 1 0 1770834 244502528 53460 33554432000 4194304 7402444 140734653559264 140734653553560 4298279 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59693 53460 768 784 0 52707 0
Current children cumulated CPU time (s) 2021.19
Current children cumulated vsize (KiB) 238772
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4670
/proc/meminfo: memFree=31650436/32770624 swapFree=5848/217836
[pid=4542] ppid=4539 vsize=238904 CPUtime=2081.17 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 178376 0 0 0 208103 14 0 0 20 0 1 0 1770834 244637696 53487 33554432000 4194304 7402444 140734653559264 140734653553560 5753458 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59726 53487 768 784 0 52740 0
Current children cumulated CPU time (s) 2081.17
Current children cumulated vsize (KiB) 238904
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4671
/proc/meminfo: memFree=31650644/32770624 swapFree=5848/217880
[pid=4542] ppid=4539 vsize=238904 CPUtime=2141.13 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 179396 0 0 0 214099 14 0 0 20 0 1 0 1770834 244637696 53490 33554432000 4194304 7402444 140734653559264 140734653553560 5753494 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59726 53490 768 784 0 52740 0
Current children cumulated CPU time (s) 2141.13
Current children cumulated vsize (KiB) 238904
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4679
/proc/meminfo: memFree=31650108/32770624 swapFree=5848/217924
[pid=4542] ppid=4539 vsize=239036 CPUtime=2201.1 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 180428 0 0 0 220096 14 0 0 20 0 1 0 1770834 244772864 53502 33554432000 4194304 7402444 140734653559264 140734653553560 4529238 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59759 53502 768 784 0 52773 0
Current children cumulated CPU time (s) 2201.1
Current children cumulated vsize (KiB) 239036
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4702
/proc/meminfo: memFree=31647688/32770624 swapFree=5848/217964
[pid=4542] ppid=4539 vsize=239036 CPUtime=2261.07 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 181461 0 0 0 226092 15 0 0 20 0 1 0 1770834 244772864 53509 33554432000 4194304 7402444 140734653559264 140734653553560 5324377 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59759 53509 768 784 0 52773 0
Current children cumulated CPU time (s) 2261.07
Current children cumulated vsize (KiB) 239036
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4703
/proc/meminfo: memFree=31648792/32770624 swapFree=5848/218008
[pid=4542] ppid=4539 vsize=239036 CPUtime=2321.04 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 182512 0 0 0 232089 15 0 0 20 0 1 0 1770834 244772864 53517 33554432000 4194304 7402444 140734653559264 140734653553560 5324366 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59759 53517 768 784 0 52773 0
Current children cumulated CPU time (s) 2321.04
Current children cumulated vsize (KiB) 239036
[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4704
/proc/meminfo: memFree=31649744/32770624 swapFree=5848/218032
[pid=4542] ppid=4539 vsize=239168 CPUtime=2381.01 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 183572 0 0 0 238086 15 0 0 20 0 1 0 1770834 244908032 53538 33554432000 4194304 7402444 140734653559264 140734653553560 5758807 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59792 53538 768 784 0 52806 0
Current children cumulated CPU time (s) 2381.01
Current children cumulated vsize (KiB) 239168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4704
/proc/meminfo: memFree=31649744/32770624 swapFree=5848/218040
[pid=4542] ppid=4539 vsize=239168 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 184439 0 0 0 239986 15 0 0 20 0 1 0 1770834 244908032 53542 33554432000 4194304 7402444 140734653559264 140734653553560 4238492 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59792 53542 768 784 0 52806 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 239168
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 4542 sig 9
??? kill -4542 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4704
/proc/meminfo: memFree=31649744/32770624 swapFree=5848/218040
[pid=4542] ppid=4539 vsize=239168 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/4542/stat : 4542 (MistralXCSP) R 4539 4542 2458 0 -1 4202496 184439 0 0 0 239986 15 0 0 20 0 1 0 1770834 244908032 53542 33554432000 4194304 7402444 140734653559264 140734653553560 4238492 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 39649280 140734653564073 140734653564222 140734653564222 140734653566921 0
/proc/4542/statm: 59792 53542 768 784 0 52806 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 239168
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.02
CPU user time (s): 2399.86
CPU system time (s): 0.15592
CPU usage (%): 99.9462
Max. virtual memory (cumulated for all children) (KiB): 239168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.86
system time used= 0.15592
maximum resident set size= 214192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184474
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= 77
involuntary context switches= 121143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08098 second user time and 12.4644 second system time
The end