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-4239880-1502042141/watcher-4239880-1502042141 -o /tmp/evaluation-result-4239880-1502042141/solver-4239880-1502042141 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28342 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 831898042 HOME/instance-4239880-1502042141.xml
pid=28433
running on 4 cores: 0,2,4,6
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.97 1.50 1.83 3/184 28436
/proc/meminfo: memFree=31714280/32770624 swapFree=0/333976
[pid=28436] ppid=28433 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28436/stat : 28436 (runsolver) D 28433 28436 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6407888 24240128 106 18446744073709551615 4194304 4338465 140724976733040 140724976730680 139809056068311 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 20934656 140724976734348 140724976734794 140724976734794 140724976738250 0
/proc/28436/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 0.97 1.50 1.83 3/184 28436
/proc/meminfo: memFree=31714280/32770624 swapFree=0/333976
[pid=28436] ppid=28433 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28436/stat : 28436 (runsolver) D 28433 28436 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6407888 24240128 106 18446744073709551615 4194304 4338465 140724976733040 140724976730680 139809056068311 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 20934656 140724976734348 140724976734794 140724976734794 140724976738250 0
/proc/28436/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.201097 s]
/proc/loadavg: 0.97 1.50 1.83 3/184 28436
/proc/meminfo: memFree=31714280/32770624 swapFree=0/333976
[pid=28436] ppid=28433 vsize=33436 CPUtime=0.07 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 2244 0 0 0 7 0 0 0 20 0 1 0 6407888 34238464 2056 18446744073709551615 4194304 7402444 140730520910112 140730520900216 6063519 0 0 1 0 0 0 0 17 6 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8359 2056 736 784 0 1373 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 33436
[startup+0.301093 s]
/proc/loadavg: 0.97 1.50 1.83 3/184 28436
/proc/meminfo: memFree=31714280/32770624 swapFree=0/333976
[pid=28436] ppid=28433 vsize=34780 CPUtime=0.17 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 2635 0 0 0 17 0 0 0 20 0 1 0 6407888 35614720 2452 18446744073709551615 4194304 7402444 140730520910112 140730520904360 5877651 0 0 1 16386 0 0 0 17 6 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8695 2452 792 784 0 1709 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 34780
[startup+0.700273 s]
/proc/loadavg: 0.97 1.50 1.83 3/184 28436
/proc/meminfo: memFree=31714280/32770624 swapFree=0/333976
[pid=28436] ppid=28433 vsize=35176 CPUtime=0.57 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 2725 0 0 0 57 0 0 0 20 0 1 0 6407888 36020224 2518 18446744073709551615 4194304 7402444 140730520910112 140730520904264 5746100 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8794 2518 794 784 0 1808 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 35176
[startup+1.50028 s]
/proc/loadavg: 0.97 1.50 1.83 3/185 28437
/proc/meminfo: memFree=31707288/32770624 swapFree=0/334092
[pid=28436] ppid=28433 vsize=35176 CPUtime=1.37 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 2744 0 0 0 137 0 0 0 20 0 1 0 6407888 36020224 2584 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5878065 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8794 2584 794 784 0 1808 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 35176
[startup+3.10027 s]
/proc/loadavg: 0.97 1.50 1.83 3/185 28437
/proc/meminfo: memFree=31706388/32770624 swapFree=0/333964
[pid=28436] ppid=28433 vsize=35176 CPUtime=2.97 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 3444 0 0 0 297 0 0 0 20 0 1 0 6407888 36020224 2585 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4223008 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8794 2585 794 784 0 1808 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 35176
[startup+6.30027 s]
/proc/loadavg: 1.05 1.51 1.83 3/183 28437
/proc/meminfo: memFree=31708284/32770624 swapFree=0/333964
[pid=28436] ppid=28433 vsize=35176 CPUtime=6.17 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 4156 0 0 0 617 0 0 0 20 0 1 0 6407888 36020224 2585 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4747362 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8794 2585 794 784 0 1808 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 35176
[startup+12.7003 s]
/proc/loadavg: 1.12 1.51 1.84 3/182 28437
/proc/meminfo: memFree=31708796/32770624 swapFree=0/333976
[pid=28436] ppid=28433 vsize=35176 CPUtime=12.57 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 4870 0 0 0 1257 0 0 0 20 0 1 0 6407888 36020224 2585 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4708070 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8794 2585 794 784 0 1808 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 35176
[startup+25.5058 s]
/proc/loadavg: 1.32 1.54 1.84 3/182 28438
/proc/meminfo: memFree=31707428/32770624 swapFree=0/333988
[pid=28436] ppid=28433 vsize=35176 CPUtime=25.37 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 6288 0 0 0 2537 0 0 0 20 0 1 0 6407888 36020224 2588 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4747338 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8794 2588 794 784 0 1808 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 35176
[startup+51.1003 s]
/proc/loadavg: 1.55 1.57 1.84 3/182 28438
/proc/meminfo: memFree=31708532/32770624 swapFree=0/334012
[pid=28436] ppid=28433 vsize=35176 CPUtime=50.96 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 6700 0 0 0 5096 0 0 0 20 0 1 0 6407888 36020224 2589 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4747191 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8794 2589 794 784 0 1808 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 35176
[startup+102.3 s]
/proc/loadavg: 1.81 1.64 1.85 3/182 28440
/proc/meminfo: memFree=31708428/32770624 swapFree=0/334056
[pid=28436] ppid=28433 vsize=35308 CPUtime=102.16 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 7132 0 0 0 10216 0 0 0 20 0 1 0 6407888 36155392 2589 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5758830 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2589 794 784 0 1841 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 35308
[startup+162.3 s]
/proc/loadavg: 1.93 1.71 1.86 3/182 28442
/proc/meminfo: memFree=31708548/32770624 swapFree=0/334088
[pid=28436] ppid=28433 vsize=35308 CPUtime=162.15 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 7560 0 0 0 16215 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4238508 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 35308
[startup+222.3 s]
/proc/loadavg: 1.97 1.76 1.87 3/181 28444
/proc/meminfo: memFree=31708564/32770624 swapFree=0/334124
[pid=28436] ppid=28433 vsize=35308 CPUtime=222.15 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 7980 0 0 0 22215 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5871010 0 0 1 16386 0 0 0 17 2 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 35308
[startup+282.3 s]
/proc/loadavg: 1.93 1.79 1.87 3/181 28446
/proc/meminfo: memFree=31708424/32770624 swapFree=0/334148
[pid=28436] ppid=28433 vsize=35308 CPUtime=282.14 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 8400 0 0 0 28214 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4747234 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 35308
[startup+342.306 s]
/proc/loadavg: 1.97 1.83 1.88 3/181 28448
/proc/meminfo: memFree=31708084/32770624 swapFree=0/334168
[pid=28436] ppid=28433 vsize=35308 CPUtime=342.14 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 8819 0 0 0 34214 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4709539 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 35308
[startup+402.3 s]
/proc/loadavg: 1.99 1.86 1.88 3/181 28450
/proc/meminfo: memFree=31707980/32770624 swapFree=0/334196
[pid=28436] ppid=28433 vsize=35308 CPUtime=402.14 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 9241 0 0 0 40214 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5877736 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 35308
[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.89 3/180 28452
/proc/meminfo: memFree=31708608/32770624 swapFree=0/334224
[pid=28436] ppid=28433 vsize=35308 CPUtime=462.13 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 9661 0 0 0 46213 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5877655 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 35308
[startup+522.3 s]
/proc/loadavg: 2.00 1.90 1.89 3/185 28470
/proc/meminfo: memFree=31702332/32770624 swapFree=0/334272
[pid=28436] ppid=28433 vsize=35308 CPUtime=522.13 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 10081 0 0 0 52213 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 140252455593705 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 35308
[startup+582.3 s]
/proc/loadavg: 2.00 1.92 1.90 3/185 28472
/proc/meminfo: memFree=31702728/32770624 swapFree=0/334300
[pid=28436] ppid=28433 vsize=35308 CPUtime=582.13 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 10501 0 0 0 58213 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5747603 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 35308
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 1.98 3/181 28546
/proc/meminfo: memFree=31706432/32770624 swapFree=0/334756
[pid=28436] ppid=28433 vsize=35308 CPUtime=1482.1 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 16803 0 0 0 148210 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5818318 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1482.1
Current children cumulated vsize (KiB) 35308
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/181 28548
/proc/meminfo: memFree=31706432/32770624 swapFree=0/334776
[pid=28436] ppid=28433 vsize=35308 CPUtime=1542.1 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 17164 0 0 0 154210 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5765296 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 35308
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/181 28550
/proc/meminfo: memFree=31706292/32770624 swapFree=0/334800
[pid=28436] ppid=28433 vsize=35308 CPUtime=1602.09 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 17584 0 0 0 160209 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5768063 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 35308
[startup+1662.31 s]
/proc/loadavg: 2.01 2.02 1.98 3/181 28552
/proc/meminfo: memFree=31706440/32770624 swapFree=0/334820
[pid=28436] ppid=28433 vsize=35308 CPUtime=1662.09 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 18004 0 0 0 166209 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5878971 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 35308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/184 28568
/proc/meminfo: memFree=31702012/32770624 swapFree=0/334876
[pid=28436] ppid=28433 vsize=35308 CPUtime=1722.09 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 18424 0 0 0 172209 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5871658 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 35308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/184 28570
/proc/meminfo: memFree=31701904/32770624 swapFree=0/334908
[pid=28436] ppid=28433 vsize=35308 CPUtime=1782.08 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 18844 0 0 0 178208 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4748217 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 35308
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 28572
/proc/meminfo: memFree=31705168/32770624 swapFree=0/334932
[pid=28436] ppid=28433 vsize=35308 CPUtime=1842.08 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 19264 0 0 0 184208 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4747025 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 35308
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 28574
/proc/meminfo: memFree=31705432/32770624 swapFree=0/334952
[pid=28436] ppid=28433 vsize=35308 CPUtime=1902.08 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 19684 0 0 0 190208 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5878144 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 35308
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/181 28576
/proc/meminfo: memFree=31705776/32770624 swapFree=0/334972
[pid=28436] ppid=28433 vsize=35308 CPUtime=1962.08 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 20104 0 0 0 196208 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4529236 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 35308
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/181 28578
/proc/meminfo: memFree=31706040/32770624 swapFree=0/335004
[pid=28436] ppid=28433 vsize=35308 CPUtime=2022.07 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 20525 0 0 0 202207 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5758845 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 35308
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/181 28580
/proc/meminfo: memFree=31706276/32770624 swapFree=0/335024
[pid=28436] ppid=28433 vsize=35308 CPUtime=2082.07 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 20945 0 0 0 208207 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 140252455593701 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 35308
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 28582
/proc/meminfo: memFree=31706416/32770624 swapFree=0/335044
[pid=28436] ppid=28433 vsize=35308 CPUtime=2142.07 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 21365 0 0 0 214207 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4708086 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 35308
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 28584
/proc/meminfo: memFree=31706400/32770624 swapFree=0/335068
[pid=28436] ppid=28433 vsize=35308 CPUtime=2202.07 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 21786 0 0 0 220207 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4747331 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 35308
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 28586
/proc/meminfo: memFree=31706664/32770624 swapFree=0/335088
[pid=28436] ppid=28433 vsize=35308 CPUtime=2262.06 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 22205 0 0 0 226206 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4747346 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 35308
[startup+2322.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/184 28602
/proc/meminfo: memFree=31701604/32770624 swapFree=0/335132
[pid=28436] ppid=28433 vsize=35308 CPUtime=2322.07 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 22625 0 0 0 232207 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5758862 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 35308
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/184 28604
/proc/meminfo: memFree=31701556/32770624 swapFree=0/335172
[pid=28436] ppid=28433 vsize=35308 CPUtime=2382.06 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 23045 0 0 0 238206 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 5821961 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 2382.06
Current children cumulated vsize (KiB) 35308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/184 28668
/proc/meminfo: memFree=31695392/32770624 swapFree=0/335196
[pid=28436] ppid=28433 vsize=35308 CPUtime=2400.06 cores=0,2,4,6
/proc/28436/stat : 28436 (MistralXCSP) R 28433 28436 20633 0 -1 4202496 23465 0 0 0 240006 0 0 0 20 0 1 0 6407888 36155392 2599 18446744073709551615 4194304 7402444 140730520910112 140730520905128 4747338 0 0 1 16386 0 0 0 17 4 0 0 12 0 0 9500608 9505824 36257792 140730520916404 140730520916553 140730520916553 140730520920009 0
/proc/28436/statm: 8827 2599 794 784 0 1841 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 35308
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 28436 sig 9
??? kill -28436 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.08
CPU user time (s): 2400.07
CPU system time (s): 0.008999
CPU usage (%): 99.9904
Max. virtual memory (cumulated for all children) (KiB): 35308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.008999
maximum resident set size= 10420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23508
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= 8
involuntary context switches= 959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62193 second user time and 8.29534 second system time
The end