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-4241129-1500648181/watcher-4241129-1500648181 -o /tmp/evaluation-result-4241129-1500648181/solver-4241129-1500648181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500648178-2477 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1595573731 HOME/instance-4241129-1500648181.xml
pid=2505
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: 0.00 0.06 0.14 2/245 2508
/proc/meminfo: memFree=32064024/32770624 swapFree=6096/194164
[pid=2508] ppid=2505 vsize=28804 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 1 0 86733 29495296 802 33554432000 4194304 7402444 140729929160512 140729929157560 5996450 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7201 802 618 784 0 215 0
[startup+0.100139 s]
/proc/loadavg: 0.00 0.06 0.14 2/245 2508
/proc/meminfo: memFree=32064024/32770624 swapFree=6096/194164
[pid=2508] ppid=2505 vsize=28928 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 1102 0 0 0 9 0 0 0 20 0 1 0 86733 29622272 924 33554432000 4194304 7402444 140729929160512 140729929151208 6057420 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7232 924 719 784 0 246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28928
[startup+0.200288 s]
/proc/loadavg: 0.00 0.06 0.14 2/245 2508
/proc/meminfo: memFree=32064024/32770624 swapFree=6096/194164
[pid=2508] ppid=2505 vsize=29192 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 1236 0 0 0 19 0 0 0 20 0 1 0 86733 29892608 1055 33554432000 4194304 7402444 140729929160512 140729929152136 4747176 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7298 1055 766 784 0 312 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29192
[startup+0.300217 s]
/proc/loadavg: 0.00 0.06 0.14 2/245 2508
/proc/meminfo: memFree=32064024/32770624 swapFree=6096/194164
[pid=2508] ppid=2505 vsize=29324 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 1267 0 0 0 29 0 0 0 20 0 1 0 86733 30027776 1055 33554432000 4194304 7402444 140729929160512 140729929154744 4709339 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7331 1055 766 784 0 345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29324
[startup+0.700207 s]
/proc/loadavg: 0.00 0.06 0.14 2/245 2508
/proc/meminfo: memFree=32064024/32770624 swapFree=6096/194164
[pid=2508] ppid=2505 vsize=30016 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 1443 0 0 0 69 0 0 0 20 0 1 0 86733 30736384 1253 33554432000 4194304 7402444 140729929160512 140729929155528 139630440724242 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1253 768 784 0 518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30016
[startup+1.50019 s]
/proc/loadavg: 0.00 0.06 0.14 3/246 2509
/proc/meminfo: memFree=32049860/32770624 swapFree=6096/193940
[pid=2508] ppid=2505 vsize=30016 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 1443 0 0 0 149 0 0 0 20 0 1 0 86733 30736384 1253 33554432000 4194304 7402444 140729929160512 140729929155528 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1253 768 784 0 518 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30016
[startup+3.10018 s]
/proc/loadavg: 0.00 0.06 0.14 3/246 2509
/proc/meminfo: memFree=32048976/32770624 swapFree=6096/193940
[pid=2508] ppid=2505 vsize=30016 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 1812 0 0 0 309 0 0 0 20 0 1 0 86733 30736384 1275 33554432000 4194304 7402444 140729929160512 140729929155528 5878214 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1275 768 784 0 518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30016
[startup+6.30019 s]
/proc/loadavg: 0.00 0.06 0.14 3/246 2509
/proc/meminfo: memFree=32049220/32770624 swapFree=6096/193952
[pid=2508] ppid=2505 vsize=30016 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 2194 0 0 0 629 0 0 0 20 0 1 0 86733 30736384 1275 33554432000 4194304 7402444 140729929160512 140729929155528 5750503 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1275 768 784 0 518 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30016
[startup+12.7002 s]
/proc/loadavg: 0.16 0.09 0.15 3/246 2509
/proc/meminfo: memFree=32048972/32770624 swapFree=6096/193956
[pid=2508] ppid=2505 vsize=30016 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 2563 0 0 0 1269 0 0 0 20 0 1 0 86733 30736384 1275 33554432000 4194304 7402444 140729929160512 140729929155528 5750759 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1275 768 784 0 518 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30016
[startup+25.5002 s]
/proc/loadavg: 0.57 0.19 0.18 3/246 2509
/proc/meminfo: memFree=32048624/32770624 swapFree=6096/193972
[pid=2508] ppid=2505 vsize=30016 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 3327 0 0 0 2549 0 0 0 20 0 1 0 86733 30736384 1275 33554432000 4194304 7402444 140729929160512 140729929155528 5878224 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1275 768 784 0 518 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30016
[startup+51.1003 s]
/proc/loadavg: 1.06 0.33 0.22 3/245 2509
/proc/meminfo: memFree=32049184/32770624 swapFree=6096/194000
[pid=2508] ppid=2505 vsize=30016 CPUtime=51.1 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 3696 0 0 0 5110 0 0 0 20 0 1 0 86733 30736384 1275 33554432000 4194304 7402444 140729929160512 140729929155528 4747314 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1275 768 784 0 518 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 30016
[startup+102.3 s]
/proc/loadavg: 1.59 0.59 0.32 3/246 2513
/proc/meminfo: memFree=32048568/32770624 swapFree=6096/194884
[pid=2508] ppid=2505 vsize=30016 CPUtime=102.32 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 4065 0 0 0 10232 0 0 0 20 0 1 0 86733 30736384 1275 33554432000 4194304 7402444 140729929160512 140729929155528 4747279 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1275 768 784 0 518 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 30016
[startup+162.3 s]
/proc/loadavg: 1.85 0.85 0.42 3/246 2514
/proc/meminfo: memFree=32048764/32770624 swapFree=6096/194948
[pid=2508] ppid=2505 vsize=30016 CPUtime=162.33 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 4434 0 0 0 16233 0 0 0 20 0 1 0 86733 30736384 1275 33554432000 4194304 7402444 140729929160512 140729929155528 4378344 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1275 768 784 0 518 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 30016
[startup+222.308 s]
/proc/loadavg: 1.95 1.06 0.52 3/246 2515
/proc/meminfo: memFree=32049268/32770624 swapFree=6096/195012
[pid=2508] ppid=2505 vsize=30016 CPUtime=222.35 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 4816 0 0 0 22235 0 0 0 20 0 1 0 86733 30736384 1275 33554432000 4194304 7402444 140729929160512 140729929155528 4709396 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7504 1275 768 784 0 518 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 30016
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.61 3/246 2516
/proc/meminfo: memFree=32049348/32770624 swapFree=6096/195068
[pid=2508] ppid=2505 vsize=30148 CPUtime=282.35 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 4836 0 0 0 28235 0 0 0 20 0 1 0 86733 30871552 1275 33554432000 4194304 7402444 140729929160512 140729929154968 5878761 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1275 768 784 0 551 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 30148
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.70 3/244 2517
/proc/meminfo: memFree=32049936/32770624 swapFree=6096/195116
[pid=2508] ppid=2505 vsize=30148 CPUtime=342.35 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 5217 0 0 0 34235 0 0 0 20 0 1 0 86733 30871552 1281 33554432000 4194304 7402444 140729929160512 140729929154968 4223008 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1281 768 784 0 551 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 30148
[startup+402.3 s]
/proc/loadavg: 2.05 1.50 0.79 3/243 2518
/proc/meminfo: memFree=32049620/32770624 swapFree=6096/195160
[pid=2508] ppid=2505 vsize=30148 CPUtime=402.36 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 5217 0 0 0 40236 0 0 0 20 0 1 0 86733 30871552 1281 33554432000 4194304 7402444 140729929160512 140729929154968 5750775 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1281 768 784 0 551 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 30148
[startup+462.3 s]
/proc/loadavg: 2.02 1.59 0.86 3/244 2527
/proc/meminfo: memFree=32049460/32770624 swapFree=6096/195164
[pid=2508] ppid=2505 vsize=30148 CPUtime=462.36 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 5593 0 0 0 46236 0 0 0 20 0 1 0 86733 30871552 1282 33554432000 4194304 7402444 140729929160512 140729929154968 5821520 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1282 768 784 0 551 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 30148
[startup+522.3 s]
/proc/loadavg: 2.09 1.68 0.94 3/244 2528
/proc/meminfo: memFree=32049300/32770624 swapFree=6096/195200
[pid=2508] ppid=2505 vsize=30148 CPUtime=522.37 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 5593 0 0 0 52237 0 0 0 20 0 1 0 86733 30871552 1282 33554432000 4194304 7402444 140729929160512 140729929154968 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1282 768 784 0 551 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 30148
[startup+582.3 s]
/proc/loadavg: 2.03 1.74 1.01 3/244 2529
/proc/meminfo: memFree=32049648/32770624 swapFree=6096/195240
[pid=2508] ppid=2505 vsize=30148 CPUtime=582.37 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 5969 0 0 0 58237 0 0 0 20 0 1 0 86733 30871552 1282 33554432000 4194304 7402444 140729929160512 140729929154968 5878640 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1282 768 784 0 551 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 30148
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.66 3/243 2577
/proc/meminfo: memFree=32047940/32770624 swapFree=6096/195792
[pid=2508] ppid=2505 vsize=30148 CPUtime=1542.33 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 12001 0 0 0 154233 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 5750448 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 30148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/243 2578
/proc/meminfo: memFree=32048204/32770624 swapFree=6096/195824
[pid=2508] ppid=2505 vsize=30148 CPUtime=1602.32 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 12383 0 0 0 160232 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 30148
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/243 2586
/proc/meminfo: memFree=32047832/32770624 swapFree=6096/195844
[pid=2508] ppid=2505 vsize=30148 CPUtime=1662.32 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 12760 0 0 0 166232 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 5877655 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 30148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/243 2587
/proc/meminfo: memFree=32048644/32770624 swapFree=6096/195872
[pid=2508] ppid=2505 vsize=30148 CPUtime=1722.32 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 13142 0 0 0 172232 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4713152 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 30148
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.73 5/243 2588
/proc/meminfo: memFree=32048420/32770624 swapFree=6096/195900
[pid=2508] ppid=2505 vsize=30148 CPUtime=1782.32 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 13519 0 0 0 178232 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4747408 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 30148
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/243 2589
/proc/meminfo: memFree=32048508/32770624 swapFree=6096/195932
[pid=2508] ppid=2505 vsize=30148 CPUtime=1842.32 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 13896 0 0 0 184232 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 5878224 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 1842.32
Current children cumulated vsize (KiB) 30148
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/243 2590
/proc/meminfo: memFree=32048304/32770624 swapFree=6096/195968
[pid=2508] ppid=2505 vsize=30148 CPUtime=1902.32 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 14273 0 0 0 190232 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4747208 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 30148
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/243 2591
/proc/meminfo: memFree=32047172/32770624 swapFree=6096/196004
[pid=2508] ppid=2505 vsize=30148 CPUtime=1962.32 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 14650 0 0 0 196232 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 5878153 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 30148
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/243 2592
/proc/meminfo: memFree=32047540/32770624 swapFree=6096/196032
[pid=2508] ppid=2505 vsize=30148 CPUtime=2022.31 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 15027 0 0 0 202231 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4248978 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 30148
[startup+2082.3 s]
/proc/loadavg: 2.04 2.01 1.81 3/243 2593
/proc/meminfo: memFree=32047212/32770624 swapFree=6096/196064
[pid=2508] ppid=2505 vsize=30148 CPUtime=2082.31 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 15404 0 0 0 208231 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4379400 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 30148
[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 1.82 3/243 2594
/proc/meminfo: memFree=32047900/32770624 swapFree=6096/196092
[pid=2508] ppid=2505 vsize=30148 CPUtime=2142.29 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 15781 0 0 0 214229 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 30148
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.83 3/243 2595
/proc/meminfo: memFree=32047220/32770624 swapFree=6096/196124
[pid=2508] ppid=2505 vsize=30148 CPUtime=2202.3 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 16158 0 0 0 220230 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4537270 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2202.3
Current children cumulated vsize (KiB) 30148
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/244 2604
/proc/meminfo: memFree=32046820/32770624 swapFree=6096/196124
[pid=2508] ppid=2505 vsize=30148 CPUtime=2262.28 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 16535 0 0 0 226228 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2262.28
Current children cumulated vsize (KiB) 30148
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/244 2605
/proc/meminfo: memFree=32047584/32770624 swapFree=6096/196152
[pid=2508] ppid=2505 vsize=30148 CPUtime=2322.28 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 16912 0 0 0 232228 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 4377723 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 30148
[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 1.87 3/244 2606
/proc/meminfo: memFree=32048852/32770624 swapFree=6096/196184
[pid=2508] ppid=2505 vsize=30148 CPUtime=2382.28 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 17289 0 0 0 238228 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 30148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.05 2.03 1.87 3/244 2606
/proc/meminfo: memFree=32047732/32770624 swapFree=6096/196188
[pid=2508] ppid=2505 vsize=30148 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 17654 0 0 0 240008 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 30148
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 2508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.05 2.03 1.87 3/244 2606
/proc/meminfo: memFree=32047732/32770624 swapFree=6096/196188
[pid=2508] ppid=2505 vsize=30148 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/2508/stat : 2508 (MistralXCSP) R 2505 2508 2444 0 -1 4202496 17654 0 0 0 240008 0 0 0 20 0 1 0 86733 30871552 1283 33554432000 4194304 7402444 140729929160512 140729929154968 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 30523392 140729929168040 140729929168190 140729929168190 140729929170889 0
/proc/2508/statm: 7537 1283 768 784 0 551 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 30148
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.005999
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 30148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.005999
maximum resident set size= 5156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17696
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= 6
involuntary context switches= 120617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2313 second user time and 10.8392 second system time
The end