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-4242319-1502097677/watcher-4242319-1502097677 -o /tmp/evaluation-result-4242319-1502097677/solver-4242319-1502097677 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2116689104 HOME/instance-4242319-1502097677.xml
pid=5698
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: 2.00 2.01 2.05 2/180 5701
/proc/meminfo: memFree=31647868/32770624 swapFree=0/377044
[pid=5701] ppid=5698 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5701/stat : 5701 (runsolver) D 5698 5701 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11961387 24240128 106 18446744073709551615 4194304 4338465 140731249092992 140731249090632 140234932900567 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32112640 140731249098891 140731249099338 140731249099338 140731249102794 0
/proc/5701/statm: 5918 106 53 36 0 2156 0
[startup+0.100147 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 5701
/proc/meminfo: memFree=31647868/32770624 swapFree=0/377044
[pid=5701] ppid=5698 vsize=29980 CPUtime=0.04 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 1248 0 0 0 4 0 0 0 20 0 1 0 11961387 30699520 1028 18446744073709551615 4194304 7402444 140725372280912 140725372277960 6146714 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 7495 1028 619 784 0 509 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29980
[startup+0.200273 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 5701
/proc/meminfo: memFree=31647868/32770624 swapFree=0/377044
[pid=5701] ppid=5698 vsize=30108 CPUtime=0.14 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 1411 0 0 0 14 0 0 0 20 0 1 0 11961387 30830592 1228 18446744073709551615 4194304 7402444 140725372280912 140725372277960 6047508 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 7527 1228 733 784 0 541 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 30108
[startup+0.300247 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 5701
/proc/meminfo: memFree=31647868/32770624 swapFree=0/377044
[pid=5701] ppid=5698 vsize=30704 CPUtime=0.24 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 1542 0 0 0 24 0 0 0 20 0 1 0 11961387 31440896 1359 18446744073709551615 4194304 7402444 140725372280912 140725372277960 6057332 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 7676 1359 733 784 0 690 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 30704
[startup+0.700218 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 5701
/proc/meminfo: memFree=31647868/32770624 swapFree=0/377044
[pid=5701] ppid=5698 vsize=32344 CPUtime=0.64 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 1974 0 0 0 64 0 0 0 20 0 1 0 11961387 33120256 1808 18446744073709551615 4194304 7402444 140725372280912 140725372277960 6076523 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 8086 1808 733 784 0 1100 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 32344
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5702
/proc/meminfo: memFree=31641224/32770624 swapFree=0/377040
[pid=5701] ppid=5698 vsize=36504 CPUtime=1.44 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 3081 0 0 0 144 0 0 0 20 0 1 0 11961387 37380096 2819 18446744073709551615 4194304 7402444 140725372280912 140725372271400 5905477 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 9126 2819 733 784 0 2140 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 36504
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5702
/proc/meminfo: memFree=31635892/32770624 swapFree=0/377040
[pid=5701] ppid=5698 vsize=45388 CPUtime=3.04 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 7962 0 0 0 303 1 0 0 20 0 1 0 11961387 46477312 5077 18446744073709551615 4194304 7402444 140725372280912 140725372271848 5996507 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 11347 5077 733 784 0 4361 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 45388
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5702
/proc/meminfo: memFree=31618240/32770624 swapFree=0/377048
[pid=5701] ppid=5698 vsize=57360 CPUtime=6.24 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 15830 0 0 0 622 2 0 0 20 0 1 0 11961387 58736640 8073 18446744073709551615 4194304 7402444 140725372280912 140725372275128 5871603 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 14340 8073 776 784 0 7354 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 57360
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5702
/proc/meminfo: memFree=31617340/32770624 swapFree=0/377052
[pid=5701] ppid=5698 vsize=57624 CPUtime=12.64 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 21488 0 0 0 1262 2 0 0 20 0 1 0 11961387 59006976 8163 18446744073709551615 4194304 7402444 140725372280912 140725372275192 4248791 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 14406 8163 776 784 0 7420 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 57624
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5703
/proc/meminfo: memFree=31616408/32770624 swapFree=0/377064
[pid=5701] ppid=5698 vsize=58020 CPUtime=25.44 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 32606 0 0 0 2541 3 0 0 20 0 1 0 11961387 59412480 8277 18446744073709551615 4194304 7402444 140725372280912 140725372275192 5871504 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 14505 8277 776 784 0 7519 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 58020
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5703
/proc/meminfo: memFree=31616512/32770624 swapFree=0/377072
[pid=5701] ppid=5698 vsize=58152 CPUtime=51.03 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 34954 0 0 0 5100 3 0 0 20 0 1 0 11961387 59547648 8288 18446744073709551615 4194304 7402444 140725372280912 140725372275192 5327204 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 14538 8288 776 784 0 7552 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 58152
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5705
/proc/meminfo: memFree=31613512/32770624 swapFree=0/377108
[pid=5701] ppid=5698 vsize=61316 CPUtime=102.23 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 37236 0 0 0 10220 3 0 0 20 0 1 0 11961387 62787584 9092 18446744073709551615 4194304 7402444 140725372280912 140725372275384 5327336 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15329 9092 777 784 0 8343 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 61316
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5707
/proc/meminfo: memFree=31613428/32770624 swapFree=0/377136
[pid=5701] ppid=5698 vsize=61316 CPUtime=162.22 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 38541 0 0 0 16219 3 0 0 20 0 1 0 11961387 62787584 9097 18446744073709551615 4194304 7402444 140725372280912 140725372275384 5327353 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15329 9097 777 784 0 8343 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 61316
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5723
/proc/meminfo: memFree=31610160/32770624 swapFree=0/377200
[pid=5701] ppid=5698 vsize=61448 CPUtime=222.22 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 39567 0 0 0 22219 3 0 0 20 0 1 0 11961387 62922752 9127 18446744073709551615 4194304 7402444 140725372280912 140725372275256 4747176 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15362 9127 777 784 0 8376 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 61448
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 5725
/proc/meminfo: memFree=31613684/32770624 swapFree=0/377240
[pid=5701] ppid=5698 vsize=61580 CPUtime=282.21 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 40607 0 0 0 28218 3 0 0 20 0 1 0 11961387 63057920 9150 18446744073709551615 4194304 7402444 140725372280912 140725372275256 4341748 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15395 9150 777 784 0 8409 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 61580
[startup+342.3 s]
/proc/loadavg: 1.91 1.99 2.04 3/181 5727
/proc/meminfo: memFree=31613512/32770624 swapFree=0/377268
[pid=5701] ppid=5698 vsize=61580 CPUtime=342.2 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 41657 0 0 0 34217 3 0 0 20 0 1 0 11961387 63057920 9174 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327250 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15395 9174 777 784 0 8409 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 61580
[startup+402.3 s]
/proc/loadavg: 1.97 1.99 2.04 3/181 5729
/proc/meminfo: memFree=31613620/32770624 swapFree=0/377288
[pid=5701] ppid=5698 vsize=61712 CPUtime=402.2 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 42721 0 0 0 40217 3 0 0 20 0 1 0 11961387 63193088 9183 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327353 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15428 9183 777 784 0 8442 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 61712
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 2.04 3/181 5731
/proc/meminfo: memFree=31613372/32770624 swapFree=0/377320
[pid=5701] ppid=5698 vsize=61712 CPUtime=462.2 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 43791 0 0 0 46217 3 0 0 20 0 1 0 11961387 63193088 9188 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5747568 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15428 9188 777 784 0 8442 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 61712
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.04 3/181 5733
/proc/meminfo: memFree=31613612/32770624 swapFree=0/377364
[pid=5701] ppid=5698 vsize=61712 CPUtime=522.19 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 44868 0 0 0 52216 3 0 0 20 0 1 0 11961387 63193088 9196 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5696016 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15428 9196 777 784 0 8442 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 61712
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.04 3/181 5735
/proc/meminfo: memFree=31613844/32770624 swapFree=0/377392
[pid=5701] ppid=5698 vsize=61712 CPUtime=582.19 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 45945 0 0 0 58216 3 0 0 20 0 1 0 11961387 63193088 9203 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327250 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15428 9203 777 784 0 8442 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 61712
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/182 5856
/proc/meminfo: memFree=31569184/32770624 swapFree=0/377992
[pid=5701] ppid=5698 vsize=61976 CPUtime=1482.15 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 62805 0 0 0 148211 4 0 0 20 0 1 0 11961387 63463424 9260 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327213 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9260 777 784 0 8508 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 61976
[startup+1542.31 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 5858
/proc/meminfo: memFree=31569316/32770624 swapFree=0/378024
[pid=5701] ppid=5698 vsize=61976 CPUtime=1542.15 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 63942 0 0 0 154211 4 0 0 20 0 1 0 11961387 63463424 9261 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5747647 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9261 777 784 0 8508 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 61976
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 5860
/proc/meminfo: memFree=31569448/32770624 swapFree=0/378052
[pid=5701] ppid=5698 vsize=61976 CPUtime=1602.14 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 65077 0 0 0 160210 4 0 0 20 0 1 0 11961387 63463424 9261 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5747647 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9261 777 784 0 8508 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 61976
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 5862
/proc/meminfo: memFree=31569200/32770624 swapFree=0/378080
[pid=5701] ppid=5698 vsize=61976 CPUtime=1662.14 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 66213 0 0 0 166210 4 0 0 20 0 1 0 11961387 63463424 9262 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327213 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9262 777 784 0 8508 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 61976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5864
/proc/meminfo: memFree=31569692/32770624 swapFree=0/378120
[pid=5701] ppid=5698 vsize=61976 CPUtime=1722.14 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 67349 0 0 0 172210 4 0 0 20 0 1 0 11961387 63463424 9262 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327208 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9262 777 784 0 8508 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 61976
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 5866
/proc/meminfo: memFree=31569936/32770624 swapFree=0/378148
[pid=5701] ppid=5698 vsize=61976 CPUtime=1782.13 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 68479 0 0 0 178209 4 0 0 20 0 1 0 11961387 63463424 9262 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5747610 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9262 777 784 0 8508 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 61976
[startup+1842.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 5868
/proc/meminfo: memFree=31569696/32770624 swapFree=0/378176
[pid=5701] ppid=5698 vsize=61976 CPUtime=1842.13 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 69615 0 0 0 184209 4 0 0 20 0 1 0 11961387 63463424 9262 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5753494 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9262 777 784 0 8508 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 61976
[startup+1902.3 s]
/proc/loadavg: 1.92 1.99 2.04 3/181 5870
/proc/meminfo: memFree=31569792/32770624 swapFree=0/378204
[pid=5701] ppid=5698 vsize=61976 CPUtime=1902.13 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 70699 0 0 0 190209 4 0 0 20 0 1 0 11961387 63463424 9263 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327339 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9263 777 784 0 8508 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 61976
[startup+1962.3 s]
/proc/loadavg: 1.97 1.99 2.04 3/181 5872
/proc/meminfo: memFree=31569676/32770624 swapFree=0/378236
[pid=5701] ppid=5698 vsize=61976 CPUtime=1962.12 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 71836 0 0 0 196208 4 0 0 20 0 1 0 11961387 63463424 9263 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5696140 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9263 777 784 0 8508 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 61976
[startup+2022.3 s]
/proc/loadavg: 1.99 1.99 2.04 3/185 5889
/proc/meminfo: memFree=31565096/32770624 swapFree=0/378296
[pid=5701] ppid=5698 vsize=61976 CPUtime=2022.12 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 72974 0 0 0 202208 4 0 0 20 0 1 0 11961387 63463424 9264 18446744073709551615 4194304 7402444 140725372280912 140725372275256 4709427 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9264 777 784 0 8508 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 61976
[startup+2082.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/182 5891
/proc/meminfo: memFree=31568012/32770624 swapFree=0/378336
[pid=5701] ppid=5698 vsize=61976 CPUtime=2082.12 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 74111 0 0 0 208208 4 0 0 20 0 1 0 11961387 63463424 9264 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5747647 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9264 777 784 0 8508 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 61976
[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/182 5893
/proc/meminfo: memFree=31568224/32770624 swapFree=0/378368
[pid=5701] ppid=5698 vsize=61976 CPUtime=2142.11 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 75216 0 0 0 214207 4 0 0 20 0 1 0 11961387 63463424 9264 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327246 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9264 777 784 0 8508 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 61976
[startup+2202.31 s]
/proc/loadavg: 1.94 1.99 2.04 3/182 5895
/proc/meminfo: memFree=31568232/32770624 swapFree=0/378396
[pid=5701] ppid=5698 vsize=61976 CPUtime=2202.12 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 76354 0 0 0 220207 5 0 0 20 0 1 0 11961387 63463424 9264 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327213 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9264 777 784 0 8508 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 61976
[startup+2262.3 s]
/proc/loadavg: 1.98 1.99 2.04 3/182 5897
/proc/meminfo: memFree=31568104/32770624 swapFree=0/378424
[pid=5701] ppid=5698 vsize=61976 CPUtime=2262.12 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 77494 0 0 0 226207 5 0 0 20 0 1 0 11961387 63463424 9265 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327213 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9265 777 784 0 8508 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 61976
[startup+2322.3 s]
/proc/loadavg: 1.99 1.99 2.04 3/181 5899
/proc/meminfo: memFree=31568220/32770624 swapFree=0/378456
[pid=5701] ppid=5698 vsize=61976 CPUtime=2322.11 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 78634 0 0 0 232206 5 0 0 20 0 1 0 11961387 63463424 9265 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327213 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9265 777 784 0 8508 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 61976
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.04 3/181 5901
/proc/meminfo: memFree=31568072/32770624 swapFree=0/378488
[pid=5701] ppid=5698 vsize=61976 CPUtime=2382.11 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 79774 0 0 0 238206 5 0 0 20 0 1 0 11961387 63463424 9266 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327254 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9266 777 784 0 8508 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 61976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 1.99 2.04 3/181 5902
/proc/meminfo: memFree=31568196/32770624 swapFree=0/378504
[pid=5701] ppid=5698 vsize=61976 CPUtime=2400.01 cores=1,3,5,7
/proc/5701/stat : 5701 (MistralXCSP) R 5698 5701 20633 0 -1 4202496 80878 0 0 0 239996 5 0 0 20 0 1 0 11961387 63463424 9266 18446744073709551615 4194304 7402444 140725372280912 140725372275256 5327336 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 31633408 140725372285363 140725372285513 140725372285513 140725372288969 0
/proc/5701/statm: 15494 9266 777 784 0 8508 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 61976
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 5701 sig 9
??? kill -5701 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.02
CPU user time (s): 2399.97
CPU system time (s): 0.052997
CPU usage (%): 99.9923
Max. virtual memory (cumulated for all children) (KiB): 61976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.052997
maximum resident set size= 37632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80921
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= 20
involuntary context switches= 908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12403 second user time and 9.51712 second system time
The end