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-4242959-1500664997/watcher-4242959-1500664997 -o /tmp/evaluation-result-4242959-1500664997/solver-4242959-1500664997 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500648173-9863 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 771942285 HOME/instance-4242959-1500664997.xml
pid=11505
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 11508
/proc/meminfo: memFree=31865836/32770624 swapFree=5936/192924
[pid=11508] ppid=11505 vsize=28936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 1766444 29630464 803 33554432000 4194304 7402444 140737279450320 140737279447368 5888736 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 7234 803 618 784 0 248 0
[startup+0.100148 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11508
/proc/meminfo: memFree=31865836/32770624 swapFree=5936/192924
[pid=11508] ppid=11505 vsize=29604 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 1178 0 0 0 9 0 0 0 20 0 1 0 1766444 30314496 1001 33554432000 4194304 7402444 140737279450320 140737279442312 5928088 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 7401 1001 631 784 0 415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29604
[startup+0.20025 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11508
/proc/meminfo: memFree=31865836/32770624 swapFree=5936/192924
[pid=11508] ppid=11505 vsize=30784 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 1460 0 0 0 19 0 0 0 20 0 1 0 1766444 31522816 1211 33554432000 4194304 7402444 140737279450320 140737279443560 140701749574629 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 7696 1211 631 784 0 710 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30784
[startup+0.30021 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11508
/proc/meminfo: memFree=31865836/32770624 swapFree=5936/192924
[pid=11508] ppid=11505 vsize=31444 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 1692 0 0 0 29 0 0 0 20 0 1 0 1766444 32198656 1474 33554432000 4194304 7402444 140737279450320 140737279443560 140701756357888 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 7861 1474 631 784 0 875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31444
[startup+0.700183 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11508
/proc/meminfo: memFree=31865836/32770624 swapFree=5936/192924
[pid=11508] ppid=11505 vsize=33128 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 2198 0 0 0 69 0 0 0 20 0 1 0 1766444 33923072 1936 33554432000 4194304 7402444 140737279450320 140737279440808 6047837 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 8282 1936 728 784 0 1296 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33128
[startup+1.50018 s]
/proc/loadavg: 2.02 2.02 2.05 3/261 11543
/proc/meminfo: memFree=31889608/32770624 swapFree=5936/193312
[pid=11508] ppid=11505 vsize=36368 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 3024 0 0 0 148 0 0 0 20 0 1 0 1766444 37240832 2794 33554432000 4194304 7402444 140737279450320 140737279440888 140701755766002 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 9092 2794 728 784 0 2106 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36368
[startup+3.10022 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11575
/proc/meminfo: memFree=32016404/32770624 swapFree=5936/193336
[pid=11508] ppid=11505 vsize=44704 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 6841 0 0 0 308 0 0 0 20 0 1 0 1766444 45776896 4886 33554432000 4194304 7402444 140737279450320 140737279440904 140701755765940 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 11176 4886 728 784 0 4190 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44704
[startup+6.30018 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11575
/proc/meminfo: memFree=31998456/32770624 swapFree=5936/193360
[pid=11508] ppid=11505 vsize=54856 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 10430 0 0 0 628 1 0 0 20 0 1 0 1766444 56172544 7415 33554432000 4194304 7402444 140737279450320 140737279440888 4221072 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 13714 7415 728 784 0 6728 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54856
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11575
/proc/meminfo: memFree=31971536/32770624 swapFree=5936/193344
[pid=11508] ppid=11505 vsize=80204 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 19427 0 0 0 1266 2 0 0 20 0 1 0 1766444 82128896 13714 33554432000 4194304 7402444 140737279450320 140737279440728 6029600 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 20051 13714 728 784 0 13065 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 80204
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11575
/proc/meminfo: memFree=31932336/32770624 swapFree=5936/193352
[pid=11508] ppid=11505 vsize=117884 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 30472 0 0 0 2544 3 0 0 20 0 1 0 1766444 120713216 23141 33554432000 4194304 7402444 140737279450320 140737279440728 5921462 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 29471 23141 728 784 0 22485 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 117884
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11575
/proc/meminfo: memFree=31811832/32770624 swapFree=5936/193360
[pid=11508] ppid=11505 vsize=237300 CPUtime=51.04 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 90132 0 0 0 5095 9 0 0 20 0 1 0 1766444 242995200 53051 33554432000 4194304 7402444 140737279450320 140737279444760 5877736 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 59325 53051 768 784 0 52339 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 237300
[startup+102.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 11576
/proc/meminfo: memFree=31810460/32770624 swapFree=5936/193392
[pid=11508] ppid=11505 vsize=238488 CPUtime=102.17 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 106764 0 0 0 10207 10 0 0 20 0 1 0 1766444 244211712 53339 33554432000 4194304 7402444 140737279450320 140737279444760 140701753009847 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 59622 53339 768 784 0 52636 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 238488
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11578
/proc/meminfo: memFree=31810028/32770624 swapFree=5936/193428
[pid=11508] ppid=11505 vsize=238620 CPUtime=162.11 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 107778 0 0 0 16201 10 0 0 20 0 1 0 1766444 244346880 53383 33554432000 4194304 7402444 140737279450320 140737279444792 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 59655 53383 768 784 0 52669 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 238620
[startup+222.308 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11579
/proc/meminfo: memFree=31798840/32770624 swapFree=5936/193456
[pid=11508] ppid=11505 vsize=250288 CPUtime=222.06 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 108937 0 0 0 22196 10 0 0 20 0 1 0 1766444 256294912 56304 33554432000 4194304 7402444 140737279450320 140737279444776 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56304 768 784 0 55586 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 250288
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11580
/proc/meminfo: memFree=31798940/32770624 swapFree=5936/193480
[pid=11508] ppid=11505 vsize=250288 CPUtime=282 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 109764 0 0 0 28190 10 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 4747176 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 250288
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11582
/proc/meminfo: memFree=31800288/32770624 swapFree=5936/193516
[pid=11508] ppid=11505 vsize=250288 CPUtime=341.96 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 110606 0 0 0 34186 10 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5880157 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (KiB) 250288
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 11584
/proc/meminfo: memFree=31799072/32770624 swapFree=5936/193548
[pid=11508] ppid=11505 vsize=250288 CPUtime=401.91 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 111437 0 0 0 40180 11 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5758845 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 401.91
Current children cumulated vsize (KiB) 250288
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11593
/proc/meminfo: memFree=31798868/32770624 swapFree=5936/193588
[pid=11508] ppid=11505 vsize=250288 CPUtime=461.86 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 112273 0 0 0 46175 11 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5878224 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 461.86
Current children cumulated vsize (KiB) 250288
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11594
/proc/meminfo: memFree=31798728/32770624 swapFree=5936/193612
[pid=11508] ppid=11505 vsize=250288 CPUtime=521.81 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 113106 0 0 0 52170 11 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5878897 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 521.81
Current children cumulated vsize (KiB) 250288
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11595
/proc/meminfo: memFree=31798688/32770624 swapFree=5936/193636
[pid=11508] ppid=11505 vsize=250288 CPUtime=581.76 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 113870 0 0 0 58165 11 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 581.76
Current children cumulated vsize (KiB) 250288
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11618
/proc/meminfo: memFree=31796540/32770624 swapFree=5936/194084
[pid=11508] ppid=11505 vsize=250288 CPUtime=1540.97 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 126889 0 0 0 154085 12 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5877694 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 1540.97
Current children cumulated vsize (KiB) 250288
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11619
/proc/meminfo: memFree=31796668/32770624 swapFree=5936/194124
[pid=11508] ppid=11505 vsize=250288 CPUtime=1600.91 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 127718 0 0 0 160079 12 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 1600.91
Current children cumulated vsize (KiB) 250288
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 11628
/proc/meminfo: memFree=31796040/32770624 swapFree=5936/194156
[pid=11508] ppid=11505 vsize=250288 CPUtime=1660.86 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 128550 0 0 0 166074 12 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 4747176 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 1660.86
Current children cumulated vsize (KiB) 250288
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11629
/proc/meminfo: memFree=31796512/32770624 swapFree=5936/194184
[pid=11508] ppid=11505 vsize=250288 CPUtime=1720.81 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 129380 0 0 0 172069 12 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 1720.81
Current children cumulated vsize (KiB) 250288
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11630
/proc/meminfo: memFree=31796060/32770624 swapFree=5936/194208
[pid=11508] ppid=11505 vsize=250288 CPUtime=1780.76 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 130209 0 0 0 178064 12 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5750759 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 1780.76
Current children cumulated vsize (KiB) 250288
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11631
/proc/meminfo: memFree=31797112/32770624 swapFree=5936/194232
[pid=11508] ppid=11505 vsize=250288 CPUtime=1840.71 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 131042 0 0 0 184059 12 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5877521 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 1840.71
Current children cumulated vsize (KiB) 250288
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11632
/proc/meminfo: memFree=31797464/32770624 swapFree=5936/194264
[pid=11508] ppid=11505 vsize=250288 CPUtime=1900.66 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 131872 0 0 0 190054 12 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 1900.66
Current children cumulated vsize (KiB) 250288
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11634
/proc/meminfo: memFree=31797332/32770624 swapFree=5936/194296
[pid=11508] ppid=11505 vsize=250288 CPUtime=1960.6 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 132700 0 0 0 196048 12 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5878051 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 1960.6
Current children cumulated vsize (KiB) 250288
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11635
/proc/meminfo: memFree=31795668/32770624 swapFree=5936/194324
[pid=11508] ppid=11505 vsize=250288 CPUtime=2020.56 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 133452 0 0 0 202043 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 4747176 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2020.56
Current children cumulated vsize (KiB) 250288
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11636
/proc/meminfo: memFree=31795892/32770624 swapFree=5936/194348
[pid=11508] ppid=11505 vsize=250288 CPUtime=2080.51 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 134357 0 0 0 208038 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5877517 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2080.51
Current children cumulated vsize (KiB) 250288
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11638
/proc/meminfo: memFree=31796140/32770624 swapFree=5936/194384
[pid=11508] ppid=11505 vsize=250288 CPUtime=2140.45 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 135188 0 0 0 214032 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5879680 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2140.45
Current children cumulated vsize (KiB) 250288
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11639
/proc/meminfo: memFree=31794896/32770624 swapFree=5936/194416
[pid=11508] ppid=11505 vsize=250288 CPUtime=2200.4 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 136022 0 0 0 220027 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2200.4
Current children cumulated vsize (KiB) 250288
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11647
/proc/meminfo: memFree=31794756/32770624 swapFree=5936/194452
[pid=11508] ppid=11505 vsize=250288 CPUtime=2260.34 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 136851 0 0 0 226021 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5871072 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2260.34
Current children cumulated vsize (KiB) 250288
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11670
/proc/meminfo: memFree=31794096/32770624 swapFree=5936/194484
[pid=11508] ppid=11505 vsize=250288 CPUtime=2320.29 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 137685 0 0 0 232016 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5877653 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2320.29
Current children cumulated vsize (KiB) 250288
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11671
/proc/meminfo: memFree=31794896/32770624 swapFree=5936/194512
[pid=11508] ppid=11505 vsize=250288 CPUtime=2380.23 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 138516 0 0 0 238010 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2380.23
Current children cumulated vsize (KiB) 250288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.1 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11671
/proc/meminfo: memFree=31793992/32770624 swapFree=5936/194516
[pid=11508] ppid=11505 vsize=250288 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 139266 0 0 0 239988 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5767998 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 250288
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 11508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2402.1 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11671
/proc/meminfo: memFree=31793992/32770624 swapFree=5936/194516
[pid=11508] ppid=11505 vsize=250288 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/11508/stat : 11508 (MistralXCSP) R 11505 11508 9830 0 -1 4202496 139266 0 0 0 239988 13 0 0 20 0 1 0 1766444 256294912 56337 33554432000 4194304 7402444 140737279450320 140737279444776 5767998 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 13189120 140737279456425 140737279456574 140737279456574 140737279459273 0
/proc/11508/statm: 62572 56337 768 784 0 55586 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 250288
Child status: 0
Real time (s): 2402.1
CPU time (s): 2400.03
CPU user time (s): 2399.89
CPU system time (s): 0.136884
CPU usage (%): 99.9136
Max. virtual memory (cumulated for all children) (KiB): 250288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.89
system time used= 0.136884
maximum resident set size= 225372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139302
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= 83
involuntary context switches= 121988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.3055 second user time and 12.8409 second system time
The end