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-4241880-1500653228/watcher-4241880-1500653228 -o /tmp/evaluation-result-4241880-1500653228/solver-4241880-1500653228 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500648174-2483 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 71899087 HOME/instance-4241880-1500653228.xml
pid=3107
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.00 2.04 2.01 3/242 3110
/proc/meminfo: memFree=32037852/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=23932 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4194304 221 0 0 0 0 0 0 0 20 0 1 0 590293 24506368 81 33554432000 4194304 7402444 140721357715424 140721357712472 140278700480199 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 6534 85 59 784 0 52 0
[startup+0.100152 s]
/proc/loadavg: 2.00 2.04 2.01 3/242 3110
/proc/meminfo: memFree=32037852/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=30288 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 1452 0 0 0 8 0 0 0 20 0 1 0 590293 31014912 1241 33554432000 4194304 7402444 140721357715424 140721357705336 6075793 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 7572 1241 742 784 0 586 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30288
[startup+0.200307 s]
/proc/loadavg: 2.00 2.04 2.01 3/242 3110
/proc/meminfo: memFree=32037852/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=31628 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 1787 0 0 0 18 0 0 0 20 0 1 0 590293 32387072 1585 33554432000 4194304 7402444 140721357715424 140721357705928 140278680094624 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 7907 1585 742 784 0 921 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 31628
[startup+0.300235 s]
/proc/loadavg: 2.00 2.04 2.01 3/242 3110
/proc/meminfo: memFree=32037852/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=33776 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 2435 0 0 0 28 0 0 0 20 0 1 0 590293 34586624 2146 33554432000 4194304 7402444 140721357715424 140721357705976 4731480 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 8444 2146 742 784 0 1458 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33776
[startup+0.700214 s]
/proc/loadavg: 2.00 2.04 2.01 3/242 3110
/proc/meminfo: memFree=32037852/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=41960 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 4630 0 0 0 67 0 0 0 20 0 1 0 590293 42967040 4232 33554432000 4194304 7402444 140721357715424 140721357708664 4337809 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 10490 4232 742 784 0 3504 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 41960
[startup+1.50022 s]
/proc/loadavg: 2.00 2.04 2.01 3/243 3111
/proc/meminfo: memFree=32018900/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=47056 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 6045 0 0 0 147 1 0 0 20 0 1 0 590293 48185344 5498 33554432000 4194304 7402444 140721357715424 140721357709672 5327204 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 11764 5498 800 784 0 4778 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 47056
[startup+3.10021 s]
/proc/loadavg: 2.00 2.04 2.01 3/243 3111
/proc/meminfo: memFree=32018140/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=47452 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 9619 0 0 0 307 1 0 0 20 0 1 0 590293 48590848 5664 33554432000 4194304 7402444 140721357715424 140721357709848 4379022 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 11863 5664 800 784 0 4877 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47452
[startup+6.30025 s]
/proc/loadavg: 2.00 2.04 2.01 3/243 3111
/proc/meminfo: memFree=32017036/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=47848 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 13455 0 0 0 627 1 0 0 20 0 1 0 590293 48996352 5750 33554432000 4194304 7402444 140721357715424 140721357709848 140278680039186 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 11962 5750 800 784 0 4976 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47848
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.01 3/243 3111
/proc/meminfo: memFree=32016420/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=47980 CPUtime=12.67 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 17301 0 0 0 1266 1 0 0 20 0 1 0 590293 49131520 5768 33554432000 4194304 7402444 140721357715424 140721357709672 5705176 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 11995 5768 800 784 0 5009 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 47980
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.01 3/243 3111
/proc/meminfo: memFree=32016420/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=48112 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 18721 0 0 0 2546 1 0 0 20 0 1 0 590293 49266688 5798 33554432000 4194304 7402444 140721357715424 140721357709672 5750704 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12028 5798 800 784 0 5042 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48112
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.01 3/243 3111
/proc/meminfo: memFree=32016048/32770624 swapFree=5956/208744
[pid=3110] ppid=3107 vsize=48316 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 19533 0 0 0 5105 1 0 0 20 0 1 0 590293 49475584 5854 33554432000 4194304 7402444 140721357715424 140721357709832 140278680037187 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12079 5854 800 784 0 5093 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 48316
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/242 3112
/proc/meminfo: memFree=32016848/32770624 swapFree=5956/208904
[pid=3110] ppid=3107 vsize=48580 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 20408 0 0 0 10226 1 0 0 20 0 1 0 590293 49745920 5904 33554432000 4194304 7402444 140721357715424 140721357709672 4377628 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12145 5904 800 784 0 5159 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48580
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/243 3114
/proc/meminfo: memFree=32017240/32770624 swapFree=5816/208940
[pid=3110] ppid=3107 vsize=48580 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 21268 0 0 0 16224 1 0 0 20 0 1 0 590293 49745920 5936 33554432000 4194304 7402444 140721357715424 140721357709672 5696016 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12145 5936 800 784 0 5159 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48580
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 3122
/proc/meminfo: memFree=32015440/32770624 swapFree=5776/208960
[pid=3110] ppid=3107 vsize=48712 CPUtime=222.25 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 22161 0 0 0 22224 1 0 0 20 0 1 0 590293 49881088 5952 33554432000 4194304 7402444 140721357715424 140721357709672 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12178 5952 800 784 0 5192 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 48712
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/243 3123
/proc/meminfo: memFree=32014500/32770624 swapFree=5776/208960
[pid=3110] ppid=3107 vsize=49220 CPUtime=282.24 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 23162 0 0 0 28223 1 0 0 20 0 1 0 590293 50401280 6079 33554432000 4194304 7402444 140721357715424 140721357709848 4377600 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12305 6079 800 784 0 5319 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 49220
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/243 3124
/proc/meminfo: memFree=32015304/32770624 swapFree=5776/209008
[pid=3110] ppid=3107 vsize=49220 CPUtime=342.24 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 24065 0 0 0 34223 1 0 0 20 0 1 0 590293 50401280 6079 33554432000 4194304 7402444 140721357715424 140721357709848 4489767 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12305 6079 800 784 0 5319 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 49220
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/243 3125
/proc/meminfo: memFree=32015428/32770624 swapFree=5776/209068
[pid=3110] ppid=3107 vsize=49220 CPUtime=402.23 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 24969 0 0 0 40222 1 0 0 20 0 1 0 590293 50401280 6079 33554432000 4194304 7402444 140721357715424 140721357709848 5718433 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12305 6079 800 784 0 5319 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 49220
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 3126
/proc/meminfo: memFree=32014692/32770624 swapFree=5776/209096
[pid=3110] ppid=3107 vsize=49220 CPUtime=462.22 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 25882 0 0 0 46221 1 0 0 20 0 1 0 590293 50401280 6079 33554432000 4194304 7402444 140721357715424 140721357709848 5758807 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12305 6079 800 784 0 5319 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 49220
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 3127
/proc/meminfo: memFree=32015544/32770624 swapFree=5776/209096
[pid=3110] ppid=3107 vsize=49220 CPUtime=522.21 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 26803 0 0 0 52220 1 0 0 20 0 1 0 590293 50401280 6084 33554432000 4194304 7402444 140721357715424 140721357709848 5872841 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12305 6084 800 784 0 5319 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 49220
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.02 3/243 3128
/proc/meminfo: memFree=32015424/32770624 swapFree=5776/209152
[pid=3110] ppid=3107 vsize=49220 CPUtime=582.21 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 27724 0 0 0 58220 1 0 0 20 0 1 0 590293 50401280 6090 33554432000 4194304 7402444 140721357715424 140721357709848 5878859 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12305 6090 800 784 0 5319 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 49220
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 3488
/proc/meminfo: memFree=32016840/32770624 swapFree=5776/209916
[pid=3110] ppid=3107 vsize=49352 CPUtime=1542.13 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 42629 0 0 0 154211 2 0 0 20 0 1 0 590293 50536448 6126 33554432000 4194304 7402444 140721357715424 140721357709672 5718441 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6126 800 784 0 5352 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 49352
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 3489
/proc/meminfo: memFree=32017336/32770624 swapFree=5776/209972
[pid=3110] ppid=3107 vsize=49352 CPUtime=1602.12 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 43594 0 0 0 160210 2 0 0 20 0 1 0 590293 50536448 6126 33554432000 4194304 7402444 140721357715424 140721357709672 5764510 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6126 800 784 0 5352 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 49352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 3490
/proc/meminfo: memFree=32017496/32770624 swapFree=5776/210000
[pid=3110] ppid=3107 vsize=49352 CPUtime=1662.11 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 44553 0 0 0 166209 2 0 0 20 0 1 0 590293 50536448 6130 33554432000 4194304 7402444 140721357715424 140721357709672 5718507 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6130 800 784 0 5352 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 49352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 3491
/proc/meminfo: memFree=32016692/32770624 swapFree=5776/210000
[pid=3110] ppid=3107 vsize=49352 CPUtime=1722.11 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 45514 0 0 0 172209 2 0 0 20 0 1 0 590293 50536448 6132 33554432000 4194304 7402444 140721357715424 140721357709672 5821982 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6132 800 784 0 5352 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 49352
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/243 3492
/proc/meminfo: memFree=32016724/32770624 swapFree=5776/210080
[pid=3110] ppid=3107 vsize=49352 CPUtime=1782.1 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 46486 0 0 0 178208 2 0 0 20 0 1 0 590293 50536448 6132 33554432000 4194304 7402444 140721357715424 140721357709672 4238492 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6132 800 784 0 5352 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 49352
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/243 3493
/proc/meminfo: memFree=32015668/32770624 swapFree=5776/210080
[pid=3110] ppid=3107 vsize=49352 CPUtime=1842.1 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 47420 0 0 0 184208 2 0 0 20 0 1 0 590293 50536448 6132 33554432000 4194304 7402444 140721357715424 140721357709672 5327204 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6132 800 784 0 5352 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 49352
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/243 3494
/proc/meminfo: memFree=32016288/32770624 swapFree=5776/210132
[pid=3110] ppid=3107 vsize=49352 CPUtime=1902.09 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 48364 0 0 0 190207 2 0 0 20 0 1 0 590293 50536448 6133 33554432000 4194304 7402444 140721357715424 140721357709672 4248747 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6133 800 784 0 5352 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 49352
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 3495
/proc/meminfo: memFree=32017112/32770624 swapFree=5776/210160
[pid=3110] ppid=3107 vsize=49352 CPUtime=1962.08 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 49342 0 0 0 196206 2 0 0 20 0 1 0 590293 50536448 6134 33554432000 4194304 7402444 140721357715424 140721357709672 4377704 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6134 800 784 0 5352 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 49352
[startup+2022.3 s]
/proc/loadavg: 1.94 2.00 2.03 3/243 3767
/proc/meminfo: memFree=32015584/32770624 swapFree=5776/210376
[pid=3110] ppid=3107 vsize=49352 CPUtime=2022.08 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 50330 0 0 0 202206 2 0 0 20 0 1 0 590293 50536448 6136 33554432000 4194304 7402444 140721357715424 140721357709672 5750503 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6136 800 784 0 5352 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 49352
[startup+2082.3 s]
/proc/loadavg: 1.94 1.99 2.02 3/243 3899
/proc/meminfo: memFree=31969068/32770624 swapFree=5776/210412
[pid=3110] ppid=3107 vsize=49352 CPUtime=2082.09 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 51326 0 0 0 208206 3 0 0 20 0 1 0 590293 50536448 6141 33554432000 4194304 7402444 140721357715424 140721357709672 4249056 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6141 800 784 0 5352 0
Current children cumulated CPU time (s) 2082.09
Current children cumulated vsize (KiB) 49352
[startup+2142.3 s]
/proc/loadavg: 1.98 1.99 2.02 3/243 3900
/proc/meminfo: memFree=31965708/32770624 swapFree=5776/210548
[pid=3110] ppid=3107 vsize=49352 CPUtime=2142.08 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 52274 0 0 0 214205 3 0 0 20 0 1 0 590293 50536448 6141 33554432000 4194304 7402444 140721357715424 140721357709672 5758736 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6141 800 784 0 5352 0
Current children cumulated CPU time (s) 2142.08
Current children cumulated vsize (KiB) 49352
[startup+2202.31 s]
/proc/loadavg: 1.99 1.99 2.02 3/243 3901
/proc/meminfo: memFree=31967440/32770624 swapFree=5776/210584
[pid=3110] ppid=3107 vsize=49352 CPUtime=2202.08 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 53227 0 0 0 220205 3 0 0 20 0 1 0 590293 50536448 6142 33554432000 4194304 7402444 140721357715424 140721357709672 5835395 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6142 800 784 0 5352 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 49352
[startup+2262.3 s]
/proc/loadavg: 2.07 2.00 2.03 3/243 3902
/proc/meminfo: memFree=31967564/32770624 swapFree=5776/210600
[pid=3110] ppid=3107 vsize=49352 CPUtime=2262.06 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 54174 0 0 0 226203 3 0 0 20 0 1 0 590293 50536448 6142 33554432000 4194304 7402444 140721357715424 140721357709672 5750503 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6142 800 784 0 5352 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 49352
[startup+2322.3 s]
/proc/loadavg: 2.06 2.01 2.04 3/243 3903
/proc/meminfo: memFree=31967796/32770624 swapFree=5776/210600
[pid=3110] ppid=3107 vsize=49352 CPUtime=2322.06 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 55117 0 0 0 232203 3 0 0 20 0 1 0 590293 50536448 6143 33554432000 4194304 7402444 140721357715424 140721357709672 5871081 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6143 800 784 0 5352 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 49352
[startup+2382.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/243 3904
/proc/meminfo: memFree=31968300/32770624 swapFree=5776/210672
[pid=3110] ppid=3107 vsize=49352 CPUtime=2382.05 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 56064 0 0 0 238202 3 0 0 20 0 1 0 590293 50536448 6143 33554432000 4194304 7402444 140721357715424 140721357709672 4378319 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6143 800 784 0 5352 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 49352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.02 2.01 2.04 3/243 3904
/proc/meminfo: memFree=31968300/32770624 swapFree=5776/210672
[pid=3110] ppid=3107 vsize=49352 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 56994 0 0 0 240003 3 0 0 20 0 1 0 590293 50536448 6143 33554432000 4194304 7402444 140721357715424 140721357709672 5872841 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6143 800 784 0 5352 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 49352
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 3110 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.02 2.01 2.04 3/243 3904
/proc/meminfo: memFree=31968300/32770624 swapFree=5776/210672
[pid=3110] ppid=3107 vsize=49352 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/3110/stat : 3110 (MistralXCSP) R 3107 3110 2451 0 -1 4202496 56994 0 0 0 240003 3 0 0 20 0 1 0 590293 50536448 6143 33554432000 4194304 7402444 140721357715424 140721357709672 5872841 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 27525120 140721357718698 140721357718846 140721357718846 140721357721545 0
/proc/3110/statm: 12338 6143 800 784 0 5352 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 49352
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.07
CPU user time (s): 2400.03
CPU system time (s): 0.033996
CPU usage (%): 99.99
Max. virtual memory (cumulated for all children) (KiB): 49352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.033996
maximum resident set size= 24596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57026
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= 17
involuntary context switches= 120848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66052 second user time and 11.2985 second system time
The end