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-4242650-1500657910/watcher-4242650-1500657910 -o /tmp/evaluation-result-4242650-1500657910/solver-4242650-1500657910 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500648174-9883 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 427710335 HOME/instance-4242650-1500657910.xml
pid=12343
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.15 2.05 2.06 3/245 12346
/proc/meminfo: memFree=31994944/32770624 swapFree=5660/191208
[pid=12346] ppid=12343 vsize=28952 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 1030 0 0 0 0 0 0 0 20 0 1 0 1058194 29646848 802 33554432000 4194304 7402444 140726269097648 140726269094696 5887838 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 7238 802 620 784 0 252 0
[startup+0.100134 s]
/proc/loadavg: 2.15 2.05 2.06 3/245 12346
/proc/meminfo: memFree=31994944/32770624 swapFree=5660/191208
[pid=12346] ppid=12343 vsize=49204 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 6320 0 0 0 9 0 0 0 20 0 1 0 1058194 50384896 5941 33554432000 4194304 7402444 140726269097648 140726269092072 140408219298912 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12301 5941 711 784 0 5315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49204
[startup+0.200348 s]
/proc/loadavg: 2.15 2.05 2.06 3/245 12346
/proc/meminfo: memFree=31994944/32770624 swapFree=5660/191208
[pid=12346] ppid=12343 vsize=50392 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 6631 0 0 0 19 0 0 0 20 0 1 0 1058194 51601408 6271 33554432000 4194304 7402444 140726269097648 140726269092664 5754027 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12598 6271 711 784 0 5612 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 50392
[startup+0.300304 s]
/proc/loadavg: 2.15 2.05 2.06 3/245 12346
/proc/meminfo: memFree=31994944/32770624 swapFree=5660/191208
[pid=12346] ppid=12343 vsize=50656 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 6692 0 0 0 29 0 0 0 20 0 1 0 1058194 51871744 6337 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12664 6337 711 784 0 5678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50656
[startup+0.700225 s]
/proc/loadavg: 2.15 2.05 2.06 3/245 12346
/proc/meminfo: memFree=31994944/32770624 swapFree=5660/191208
[pid=12346] ppid=12343 vsize=50788 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 6713 0 0 0 68 0 0 0 20 0 1 0 1058194 52006912 6337 33554432000 4194304 7402444 140726269097648 140726269092664 5696151 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6337 711 784 0 5711 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 50788
[startup+1.50025 s]
/proc/loadavg: 2.06 2.03 2.05 3/246 12347
/proc/meminfo: memFree=31971596/32770624 swapFree=5660/191184
[pid=12346] ppid=12343 vsize=50788 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 6714 0 0 0 148 0 0 0 20 0 1 0 1058194 52006912 6337 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6337 711 784 0 5711 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 50788
[startup+3.10024 s]
/proc/loadavg: 2.06 2.03 2.05 3/246 12347
/proc/meminfo: memFree=31970960/32770624 swapFree=5660/191244
[pid=12346] ppid=12343 vsize=50788 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 10648 0 0 0 308 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5871081 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50788
[startup+6.30027 s]
/proc/loadavg: 2.05 2.03 2.05 3/246 12347
/proc/meminfo: memFree=31970968/32770624 swapFree=5660/191220
[pid=12346] ppid=12343 vsize=50788 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 14585 0 0 0 628 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5818008 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50788
[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.05 3/246 12347
/proc/meminfo: memFree=31969240/32770624 swapFree=5660/191228
[pid=12346] ppid=12343 vsize=50788 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 18520 0 0 0 1268 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50788
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.05 3/246 12347
/proc/meminfo: memFree=31968108/32770624 swapFree=5660/191236
[pid=12346] ppid=12343 vsize=50788 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 25399 0 0 0 2547 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50788
[startup+51.1003 s]
/proc/loadavg: 2.08 2.04 2.05 3/246 12347
/proc/meminfo: memFree=31969080/32770624 swapFree=5660/191252
[pid=12346] ppid=12343 vsize=50788 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 26211 0 0 0 5106 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50788
[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/246 12348
/proc/meminfo: memFree=31968580/32770624 swapFree=5660/191280
[pid=12346] ppid=12343 vsize=50788 CPUtime=102.26 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 27011 0 0 0 10225 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50788
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/246 12349
/proc/meminfo: memFree=31968656/32770624 swapFree=5660/191320
[pid=12346] ppid=12343 vsize=50788 CPUtime=162.23 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 27814 0 0 0 16222 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5818403 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 50788
[startup+222.308 s]
/proc/loadavg: 2.07 2.05 2.05 3/246 12351
/proc/meminfo: memFree=31968020/32770624 swapFree=5660/191352
[pid=12346] ppid=12343 vsize=50788 CPUtime=222.23 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 28614 0 0 0 22222 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484377 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 50788
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/246 12352
/proc/meminfo: memFree=31968324/32770624 swapFree=5660/191392
[pid=12346] ppid=12343 vsize=50788 CPUtime=282.2 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 29416 0 0 0 28219 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5877690 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 50788
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/246 12360
/proc/meminfo: memFree=31968300/32770624 swapFree=5660/191440
[pid=12346] ppid=12343 vsize=50788 CPUtime=342.18 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 30219 0 0 0 34217 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 50788
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12361
/proc/meminfo: memFree=31968200/32770624 swapFree=5660/191480
[pid=12346] ppid=12343 vsize=50788 CPUtime=402.16 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 31022 0 0 0 40215 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5818008 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 50788
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12362
/proc/meminfo: memFree=31968264/32770624 swapFree=5660/191504
[pid=12346] ppid=12343 vsize=50788 CPUtime=462.15 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 31817 0 0 0 46214 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4712968 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 50788
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/246 12363
/proc/meminfo: memFree=31968536/32770624 swapFree=5660/191540
[pid=12346] ppid=12343 vsize=50788 CPUtime=522.14 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 32626 0 0 0 52213 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5871040 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 50788
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 12365
/proc/meminfo: memFree=31968036/32770624 swapFree=5660/191584
[pid=12346] ppid=12343 vsize=50788 CPUtime=582.12 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 33427 0 0 0 58211 1 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4747073 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 50788
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12396
/proc/meminfo: memFree=31965704/32770624 swapFree=5660/192000
[pid=12346] ppid=12343 vsize=50788 CPUtime=1541.86 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 46250 0 0 0 154184 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5754000 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 50788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12397
/proc/meminfo: memFree=31966580/32770624 swapFree=5660/192032
[pid=12346] ppid=12343 vsize=50788 CPUtime=1601.84 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 47053 0 0 0 160182 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 50788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12398
/proc/meminfo: memFree=31966268/32770624 swapFree=5660/192068
[pid=12346] ppid=12343 vsize=50788 CPUtime=1661.82 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 47855 0 0 0 166180 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4712981 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 50788
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/246 12399
/proc/meminfo: memFree=31966468/32770624 swapFree=5660/192104
[pid=12346] ppid=12343 vsize=50788 CPUtime=1721.8 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 48657 0 0 0 172178 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4747338 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 50788
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/246 12400
/proc/meminfo: memFree=31966360/32770624 swapFree=5660/192152
[pid=12346] ppid=12343 vsize=50788 CPUtime=1781.79 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 49458 0 0 0 178177 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4747360 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 50788
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 12402
/proc/meminfo: memFree=31965604/32770624 swapFree=5660/192180
[pid=12346] ppid=12343 vsize=50788 CPUtime=1841.77 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 50254 0 0 0 184175 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484798 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 1841.77
Current children cumulated vsize (KiB) 50788
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12403
/proc/meminfo: memFree=31966720/32770624 swapFree=5660/192216
[pid=12346] ppid=12343 vsize=50788 CPUtime=1901.76 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 50596 0 0 0 190174 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 1901.76
Current children cumulated vsize (KiB) 50788
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12404
/proc/meminfo: memFree=31965544/32770624 swapFree=5660/192248
[pid=12346] ppid=12343 vsize=50788 CPUtime=1961.75 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 51370 0 0 0 196173 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 1961.75
Current children cumulated vsize (KiB) 50788
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/246 12406
/proc/meminfo: memFree=31965544/32770624 swapFree=5660/192296
[pid=12346] ppid=12343 vsize=50788 CPUtime=2021.74 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 52172 0 0 0 202172 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5696214 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2021.74
Current children cumulated vsize (KiB) 50788
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/246 12407
/proc/meminfo: memFree=31966280/32770624 swapFree=5660/192340
[pid=12346] ppid=12343 vsize=50788 CPUtime=2081.73 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 52974 0 0 0 208171 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484377 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2081.73
Current children cumulated vsize (KiB) 50788
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 12416
/proc/meminfo: memFree=31965560/32770624 swapFree=5660/192372
[pid=12346] ppid=12343 vsize=50788 CPUtime=2141.7 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 53775 0 0 0 214168 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4747338 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2141.7
Current children cumulated vsize (KiB) 50788
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/247 12439
/proc/meminfo: memFree=31966476/32770624 swapFree=5660/192420
[pid=12346] ppid=12343 vsize=50788 CPUtime=2201.69 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 54576 0 0 0 220167 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2201.69
Current children cumulated vsize (KiB) 50788
[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/247 12440
/proc/meminfo: memFree=31966328/32770624 swapFree=5660/192460
[pid=12346] ppid=12343 vsize=50788 CPUtime=2261.67 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 55378 0 0 0 226165 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4377865 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2261.67
Current children cumulated vsize (KiB) 50788
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 12507
/proc/meminfo: memFree=31648840/32770624 swapFree=5660/192556
[pid=12346] ppid=12343 vsize=50788 CPUtime=2321.65 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 56181 0 0 0 232163 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4240688 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2321.65
Current children cumulated vsize (KiB) 50788
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 12508
/proc/meminfo: memFree=31645608/32770624 swapFree=5660/192616
[pid=12346] ppid=12343 vsize=50788 CPUtime=2381.63 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 56982 0 0 0 238161 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 5754016 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2381.63
Current children cumulated vsize (KiB) 50788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.01 2.03 2.05 3/246 12508
/proc/meminfo: memFree=31645468/32770624 swapFree=5660/192628
[pid=12346] ppid=12343 vsize=50788 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 57774 0 0 0 240001 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484360 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 50788
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 12346 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.01 2.03 2.05 3/246 12508
/proc/meminfo: memFree=31645468/32770624 swapFree=5660/192628
[pid=12346] ppid=12343 vsize=50788 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (MistralXCSP) R 12343 12346 9850 0 -1 4202496 57774 0 0 0 240001 2 0 0 20 0 1 0 1058194 52006912 6392 33554432000 4194304 7402444 140726269097648 140726269092664 4484360 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38780928 140726269101225 140726269101374 140726269101374 140726269104073 0
/proc/12346/statm: 12697 6392 711 784 0 5711 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 50788
Child status: 0
Real time (s): 2400.7
CPU time (s): 2400.04
CPU user time (s): 2400.01
CPU system time (s): 0.027992
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 50788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.027992
maximum resident set size= 25600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57816
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= 18
involuntary context switches= 120637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04152 second user time and 11.6317 second system time
The end