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-4239789-1500633495/watcher-4239789-1500633495 -o /tmp/evaluation-result-4239789-1500633495/solver-4239789-1500633495 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500623778-3046 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 371608921 HOME/instance-4239789-1500633495.xml
pid=4910
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.01 2.03 2.05 3/186 4913
/proc/meminfo: memFree=30439856/32770624 swapFree=6400/1479544
[pid=4913] ppid=4910 vsize=28800 CPUtime=0 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 941 0 0 0 0 0 0 0 20 0 1 0 16626331 29491200 764 33554432000 4194304 7402444 140731843541056 140731843540712 140649528663013 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 7200 764 593 784 0 214 0
[startup+0.100156 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 4913
/proc/meminfo: memFree=30439856/32770624 swapFree=6400/1479544
[pid=4913] ppid=4910 vsize=31132 CPUtime=0.09 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 1638 0 0 0 9 0 0 0 20 0 1 0 16626331 31879168 1455 33554432000 4194304 7402444 140731843541056 140731843530832 6063794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 7783 1455 717 784 0 797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31132
[startup+0.200315 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 4913
/proc/meminfo: memFree=30439856/32770624 swapFree=6400/1479544
[pid=4913] ppid=4910 vsize=31260 CPUtime=0.19 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 1669 0 0 0 19 0 0 0 20 0 1 0 16626331 32010240 1489 33554432000 4194304 7402444 140731843541056 140731843531752 6057514 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 7815 1489 719 784 0 829 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31260
[startup+0.300252 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 4913
/proc/meminfo: memFree=30439856/32770624 swapFree=6400/1479544
[pid=4913] ppid=4910 vsize=32396 CPUtime=0.29 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 1995 0 0 0 29 0 0 0 20 0 1 0 16626331 33173504 1777 33554432000 4194304 7402444 140731843541056 140731843534296 6057637 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 8099 1777 719 784 0 1113 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32396
[startup+0.700219 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 4913
/proc/meminfo: memFree=30439856/32770624 swapFree=6400/1479544
[pid=4913] ppid=4910 vsize=32396 CPUtime=0.69 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 2005 0 0 0 69 0 0 0 20 0 1 0 16626331 33173504 1777 33554432000 4194304 7402444 140731843541056 140731843534296 5929296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 8099 1777 719 784 0 1113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32396
[startup+1.50022 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4914
/proc/meminfo: memFree=30435144/32770624 swapFree=6400/1479580
[pid=4913] ppid=4910 vsize=33176 CPUtime=1.49 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 2214 0 0 0 149 0 0 0 20 0 1 0 16626331 33972224 1974 33554432000 4194304 7402444 140731843541056 140731843531800 4321727 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 8294 1974 726 784 0 1308 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33176
[startup+3.10021 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4914
/proc/meminfo: memFree=30434164/32770624 swapFree=6400/1479580
[pid=4913] ppid=4910 vsize=35348 CPUtime=3.08 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 3146 0 0 0 308 0 0 0 20 0 1 0 16626331 36196352 2503 33554432000 4194304 7402444 140731843541056 140731843531720 6057274 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 8837 2503 726 784 0 1851 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35348
[startup+6.30022 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4914
/proc/meminfo: memFree=30354664/32770624 swapFree=6400/1479588
[pid=4913] ppid=4910 vsize=124688 CPUtime=6.29 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 30278 0 0 0 625 4 0 0 20 0 1 0 16626331 127680512 24839 33554432000 4194304 7402444 140731843541056 140731843532552 4775174 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 31172 24839 735 784 0 24186 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124688
[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4914
/proc/meminfo: memFree=30253824/32770624 swapFree=6400/1479596
[pid=4913] ppid=4910 vsize=218540 CPUtime=12.68 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 69462 0 0 0 1261 7 0 0 20 0 1 0 16626331 223784960 48282 33554432000 4194304 7402444 140731843541056 140731843532552 4731487 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 54635 48282 735 784 0 47649 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 218540
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4914
/proc/meminfo: memFree=30224172/32770624 swapFree=6400/1479608
[pid=4913] ppid=4910 vsize=243588 CPUtime=25.47 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 146987 0 0 0 2536 11 0 0 20 0 1 0 16626331 249434112 54623 33554432000 4194304 7402444 140731843541056 140731843535672 5327204 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 60897 54623 768 784 0 53911 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 243588
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4914
/proc/meminfo: memFree=30215020/32770624 swapFree=6400/1479620
[pid=4913] ppid=4910 vsize=252972 CPUtime=51.04 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 175044 0 0 0 5091 13 0 0 20 0 1 0 16626331 259043328 57009 33554432000 4194304 7402444 140731843541056 140731843535688 5327204 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63243 57009 776 784 0 56257 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 252972
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4915
/proc/meminfo: memFree=30212664/32770624 swapFree=6400/1479652
[pid=4913] ppid=4910 vsize=254520 CPUtime=102.21 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 192601 0 0 0 10206 15 0 0 20 0 1 0 16626331 260628480 57366 33554432000 4194304 7402444 140731843541056 140731843535768 5327336 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63630 57366 776 784 0 56644 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 254520
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4924
/proc/meminfo: memFree=30213144/32770624 swapFree=6400/1479676
[pid=4913] ppid=4910 vsize=254784 CPUtime=162.15 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 196732 0 0 0 16200 15 0 0 20 0 1 0 16626331 260898816 57443 33554432000 4194304 7402444 140731843541056 140731843535688 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63696 57443 776 784 0 56710 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 254784
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4925
/proc/meminfo: memFree=30212640/32770624 swapFree=6400/1479696
[pid=4913] ppid=4910 vsize=254916 CPUtime=222.12 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 197592 0 0 0 22197 15 0 0 20 0 1 0 16626331 261033984 57470 33554432000 4194304 7402444 140731843541056 140731843535688 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63729 57470 776 784 0 56743 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 254916
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4926
/proc/meminfo: memFree=30212756/32770624 swapFree=6400/1479720
[pid=4913] ppid=4910 vsize=255048 CPUtime=282.08 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 198484 0 0 0 28193 15 0 0 20 0 1 0 16626331 261169152 57472 33554432000 4194304 7402444 140731843541056 140731843535656 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63762 57472 776 784 0 56776 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 255048
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4927
/proc/meminfo: memFree=30213104/32770624 swapFree=6400/1479748
[pid=4913] ppid=4910 vsize=255048 CPUtime=342.05 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 199392 0 0 0 34190 15 0 0 20 0 1 0 16626331 261169152 57512 33554432000 4194304 7402444 140731843541056 140731843535656 4301209 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63762 57512 776 784 0 56776 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 255048
[startup+402.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/188 4928
/proc/meminfo: memFree=30212760/32770624 swapFree=6400/1479768
[pid=4913] ppid=4910 vsize=255048 CPUtime=402.01 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 200293 0 0 0 40186 15 0 0 20 0 1 0 16626331 261169152 57513 33554432000 4194304 7402444 140731843541056 140731843535656 5871010 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63762 57513 776 784 0 56776 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 255048
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 4929
/proc/meminfo: memFree=30212516/32770624 swapFree=6400/1479788
[pid=4913] ppid=4910 vsize=255048 CPUtime=461.97 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 201201 0 0 0 46182 15 0 0 20 0 1 0 16626331 261169152 57520 33554432000 4194304 7402444 140731843541056 140731843535656 5750512 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63762 57520 776 784 0 56776 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 255048
[startup+522.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/187 4990
/proc/meminfo: memFree=30212472/32770624 swapFree=6400/1479868
[pid=4913] ppid=4910 vsize=255180 CPUtime=521.94 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 202122 0 0 0 52179 15 0 0 20 0 1 0 16626331 261304320 57528 33554432000 4194304 7402444 140731843541056 140731843535672 5327204 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63795 57528 776 784 0 56809 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 255180
[startup+582.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 4991
/proc/meminfo: memFree=30211280/32770624 swapFree=6400/1479916
[pid=4913] ppid=4910 vsize=255312 CPUtime=581.91 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 203100 0 0 0 58176 15 0 0 20 0 1 0 16626331 261439488 57549 33554432000 4194304 7402444 140731843541056 140731843535672 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 63828 57549 776 784 0 56842 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 255312
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 5046
/proc/meminfo: memFree=30208832/32770624 swapFree=6400/1480324
[pid=4913] ppid=4910 vsize=256368 CPUtime=1541.36 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 222196 0 0 0 154119 17 0 0 20 0 1 0 16626331 262520832 57840 33554432000 4194304 7402444 140731843541056 140731843535672 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64092 57840 776 784 0 57106 0
Current children cumulated CPU time (s) 1541.36
Current children cumulated vsize (KiB) 256368
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5047
/proc/meminfo: memFree=30208884/32770624 swapFree=6400/1480344
[pid=4913] ppid=4910 vsize=256368 CPUtime=1601.32 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 223428 0 0 0 160115 17 0 0 20 0 1 0 16626331 262520832 57843 33554432000 4194304 7402444 140731843541056 140731843535672 5750450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64092 57843 776 784 0 57106 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 256368
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5048
/proc/meminfo: memFree=30209116/32770624 swapFree=6400/1480368
[pid=4913] ppid=4910 vsize=256368 CPUtime=1661.28 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 224648 0 0 0 166111 17 0 0 20 0 1 0 16626331 262520832 57843 33554432000 4194304 7402444 140731843541056 140731843535672 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64092 57843 776 784 0 57106 0
Current children cumulated CPU time (s) 1661.28
Current children cumulated vsize (KiB) 256368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5049
/proc/meminfo: memFree=30209100/32770624 swapFree=6400/1480388
[pid=4913] ppid=4910 vsize=256368 CPUtime=1721.25 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 225867 0 0 0 172108 17 0 0 20 0 1 0 16626331 262520832 57843 33554432000 4194304 7402444 140731843541056 140731843535672 5327250 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64092 57843 776 784 0 57106 0
Current children cumulated CPU time (s) 1721.25
Current children cumulated vsize (KiB) 256368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5050
/proc/meminfo: memFree=30208856/32770624 swapFree=6400/1480412
[pid=4913] ppid=4910 vsize=256552 CPUtime=1781.21 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 227144 0 0 0 178104 17 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 5327242 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 1781.21
Current children cumulated vsize (KiB) 256552
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5051
/proc/meminfo: memFree=30208736/32770624 swapFree=6400/1480440
[pid=4913] ppid=4910 vsize=256552 CPUtime=1841.18 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 228380 0 0 0 184101 17 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 1841.18
Current children cumulated vsize (KiB) 256552
[startup+1902.3 s]
/proc/loadavg: 2.14 2.05 2.06 3/186 5052
/proc/meminfo: memFree=30209996/32770624 swapFree=6400/1480460
[pid=4913] ppid=4910 vsize=256552 CPUtime=1901.14 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 229610 0 0 0 190097 17 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 4301209 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 1901.14
Current children cumulated vsize (KiB) 256552
[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 5062
/proc/meminfo: memFree=30208528/32770624 swapFree=6400/1480500
[pid=4913] ppid=4910 vsize=256552 CPUtime=1961.11 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 230840 0 0 0 196093 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 1961.11
Current children cumulated vsize (KiB) 256552
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 5063
/proc/meminfo: memFree=30208512/32770624 swapFree=6400/1480524
[pid=4913] ppid=4910 vsize=256552 CPUtime=2021.08 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 232066 0 0 0 202090 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 4301209 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2021.08
Current children cumulated vsize (KiB) 256552
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5064
/proc/meminfo: memFree=30208256/32770624 swapFree=6400/1480544
[pid=4913] ppid=4910 vsize=256552 CPUtime=2081.05 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 233309 0 0 0 208087 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 5327353 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2081.05
Current children cumulated vsize (KiB) 256552
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5065
/proc/meminfo: memFree=30208368/32770624 swapFree=6400/1480572
[pid=4913] ppid=4910 vsize=256552 CPUtime=2141.01 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 234541 0 0 0 214083 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 4747176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2141.01
Current children cumulated vsize (KiB) 256552
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5066
/proc/meminfo: memFree=30208356/32770624 swapFree=6400/1480596
[pid=4913] ppid=4910 vsize=256552 CPUtime=2200.98 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 235773 0 0 0 220080 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2200.98
Current children cumulated vsize (KiB) 256552
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5067
/proc/meminfo: memFree=30208496/32770624 swapFree=6400/1480616
[pid=4913] ppid=4910 vsize=256552 CPUtime=2260.94 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 237006 0 0 0 226076 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 5327204 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2260.94
Current children cumulated vsize (KiB) 256552
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5068
/proc/meminfo: memFree=30208376/32770624 swapFree=6400/1480636
[pid=4913] ppid=4910 vsize=256552 CPUtime=2320.9 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 238235 0 0 0 232072 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2320.9
Current children cumulated vsize (KiB) 256552
[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 5069
/proc/meminfo: memFree=30208380/32770624 swapFree=6400/1480660
[pid=4913] ppid=4910 vsize=256552 CPUtime=2380.87 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 239473 0 0 0 238069 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2380.87
Current children cumulated vsize (KiB) 256552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.5 s]
/proc/loadavg: 2.13 2.05 2.05 3/187 5069
/proc/meminfo: memFree=30208628/32770624 swapFree=6400/1480672
[pid=4913] ppid=4910 vsize=256552 CPUtime=2400.05 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 240701 0 0 0 239987 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 5750450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 256552
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 4913 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.5 s]
/proc/loadavg: 2.13 2.05 2.05 3/187 5069
/proc/meminfo: memFree=30208628/32770624 swapFree=6400/1480672
[pid=4913] ppid=4910 vsize=256552 CPUtime=2400.05 cores=1,3,5,7
/proc/4913/stat : 4913 (MistralXCSP) R 4910 4913 3014 0 -1 4202496 240701 0 0 0 239987 18 0 0 20 0 1 0 16626331 262709248 57874 33554432000 4194304 7402444 140731843541056 140731843535752 5750450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 23695360 140731843544233 140731843544382 140731843544382 140731843547081 0
/proc/4913/statm: 64138 57874 776 784 0 57152 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 256552
Child status: 0
Real time (s): 2401.5
CPU time (s): 2400.07
CPU user time (s): 2399.88
CPU system time (s): 0.18889
CPU usage (%): 99.9403
Max. virtual memory (cumulated for all children) (KiB): 256552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.18889
maximum resident set size= 231520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240740
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= 81
involuntary context switches= 120370
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73459 second user time and 10.0551 second system time
The end