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-4242793-1500660552/watcher-4242793-1500660552 -o /tmp/evaluation-result-4242793-1500660552/solver-4242793-1500660552 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500648178-9869 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1465374154 HOME/instance-4242793-1500660552.xml
pid=11387
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.00 2.01 2.05 3/242 11390
/proc/meminfo: memFree=32024232/32770624 swapFree=5924/190008
[pid=11390] ppid=11387 vsize=29460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1129 0 0 0 0 0 0 0 20 0 1 0 1324280 30167040 919 33554432000 4194304 7402444 140733288506704 140733288503752 140496245713893 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 7365 919 621 784 0 379 0
[startup+0.100148 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11390
/proc/meminfo: memFree=32024232/32770624 swapFree=5924/190008
[pid=11390] ppid=11387 vsize=31176 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1563 0 0 0 9 0 0 0 20 0 1 0 1324280 31924224 1385 33554432000 4194304 7402444 140733288506704 140733288499944 140496245713893 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 7794 1385 632 784 0 808 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31176
[startup+0.200292 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11390
/proc/meminfo: memFree=32024232/32770624 swapFree=5924/190008
[pid=11390] ppid=11387 vsize=32148 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1893 0 0 0 19 0 0 0 20 0 1 0 1324280 32919552 1578 33554432000 4194304 7402444 140733288506704 140733288499944 140496246152192 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 8037 1578 632 784 0 1051 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32148
[startup+0.300236 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11390
/proc/meminfo: memFree=32024232/32770624 swapFree=5924/190008
[pid=11390] ppid=11387 vsize=33444 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2307 0 0 0 29 0 0 0 20 0 1 0 1324280 34246656 1737 33554432000 4194304 7402444 140733288506704 140733288499944 6143905 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 8361 1737 632 784 0 1375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33444
[startup+0.700253 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11390
/proc/meminfo: memFree=32024232/32770624 swapFree=5924/190008
[pid=11390] ppid=11387 vsize=174772 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 37460 0 0 0 65 4 0 0 20 0 1 0 1324280 178966528 37070 33554432000 4194304 7402444 140733288506704 140733288497784 140496245761952 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 43693 37070 658 784 0 36707 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 174772
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11391
/proc/meminfo: memFree=31612816/32770624 swapFree=5924/190008
[pid=11390] ppid=11387 vsize=705076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 170069 0 0 0 130 19 0 0 20 0 1 0 1324280 721997824 169664 33554432000 4194304 7402444 140733288506704 140733288498040 140496245761952 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 176269 169664 658 784 0 169283 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 705076
[startup+3.10026 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11391
/proc/meminfo: memFree=30879912/32770624 swapFree=5924/190068
[pid=11390] ppid=11387 vsize=1604256 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 397436 0 0 0 263 45 0 0 20 0 1 0 1324280 1642758144 394671 33554432000 4194304 7402444 140733288506704 140733288497464 4731480 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 401064 394671 674 784 0 394078 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1604256
[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11391
/proc/meminfo: memFree=30389316/32770624 swapFree=5924/190068
[pid=11390] ppid=11387 vsize=1704308 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 430030 0 0 0 580 49 0 0 20 0 1 0 1324280 1745211392 419743 33554432000 4194304 7402444 140733288506704 140733288497848 4731632 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 426077 419743 674 784 0 419091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1704308
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11391
/proc/meminfo: memFree=30318192/32770624 swapFree=5924/190068
[pid=11390] ppid=11387 vsize=1731184 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 636050 0 0 0 1209 59 0 0 20 0 1 0 1324280 1772732416 426568 33554432000 4194304 7402444 140733288506704 140733288501240 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432796 426568 766 784 0 425810 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1731184
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11391
/proc/meminfo: memFree=30314828/32770624 swapFree=5924/190068
[pid=11390] ppid=11387 vsize=1731976 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 816655 0 0 0 2480 68 0 0 20 0 1 0 1324280 1773543424 426739 33554432000 4194304 7402444 140733288506704 140733288501240 4484551 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426739 766 784 0 426008 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1731976
[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.05 3/244 11399
/proc/meminfo: memFree=30315368/32770624 swapFree=5924/190120
[pid=11390] ppid=11387 vsize=1731976 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1070348 0 0 0 5027 79 0 0 20 0 1 0 1324280 1773543424 426753 33554432000 4194304 7402444 140733288506704 140733288501240 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426753 766 784 0 426008 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1731976
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 11400
/proc/meminfo: memFree=30315612/32770624 swapFree=5924/190156
[pid=11390] ppid=11387 vsize=1731976 CPUtime=102.23 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1299399 0 0 0 10134 89 0 0 20 0 1 0 1324280 1773543424 426756 33554432000 4194304 7402444 140733288506704 140733288501240 5327242 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426756 766 784 0 426008 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 1731976
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11401
/proc/meminfo: memFree=30315304/32770624 swapFree=5924/190196
[pid=11390] ppid=11387 vsize=1731976 CPUtime=162.19 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1473843 0 0 0 16122 97 0 0 20 0 1 0 1324280 1773543424 426758 33554432000 4194304 7402444 140733288506704 140733288501240 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426758 766 784 0 426008 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 1731976
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11402
/proc/meminfo: memFree=30315508/32770624 swapFree=5924/190228
[pid=11390] ppid=11387 vsize=1731976 CPUtime=222.16 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1675080 0 0 0 22109 107 0 0 20 0 1 0 1324280 1773543424 426762 33554432000 4194304 7402444 140733288506704 140733288501240 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426762 766 784 0 426008 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 1731976
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11403
/proc/meminfo: memFree=30314984/32770624 swapFree=5924/190260
[pid=11390] ppid=11387 vsize=1731976 CPUtime=282.13 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1810333 0 0 0 28099 114 0 0 20 0 1 0 1324280 1773543424 426762 33554432000 4194304 7402444 140733288506704 140733288501240 4484528 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426762 766 784 0 426008 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 1731976
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 11404
/proc/meminfo: memFree=30315092/32770624 swapFree=5924/190304
[pid=11390] ppid=11387 vsize=1731976 CPUtime=342.09 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 1970041 0 0 0 34088 121 0 0 20 0 1 0 1324280 1773543424 426762 33554432000 4194304 7402444 140733288506704 140733288501240 4238773 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426762 766 784 0 426008 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 1731976
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11405
/proc/meminfo: memFree=30314684/32770624 swapFree=5924/190336
[pid=11390] ppid=11387 vsize=1731976 CPUtime=402.06 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2104710 0 0 0 40079 127 0 0 20 0 1 0 1324280 1773543424 426762 33554432000 4194304 7402444 140733288506704 140733288501240 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426762 766 784 0 426008 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 1731976
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11406
/proc/meminfo: memFree=30314812/32770624 swapFree=5924/190368
[pid=11390] ppid=11387 vsize=1731976 CPUtime=462.02 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2251811 0 0 0 46068 134 0 0 20 0 1 0 1324280 1773543424 426762 33554432000 4194304 7402444 140733288506704 140733288501240 4747338 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426762 766 784 0 426008 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 1731976
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11407
/proc/meminfo: memFree=30315428/32770624 swapFree=5924/190404
[pid=11390] ppid=11387 vsize=1731976 CPUtime=521.99 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2354394 0 0 0 52061 138 0 0 20 0 1 0 1324280 1773543424 426762 33554432000 4194304 7402444 140733288506704 140733288501240 5750474 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426762 766 784 0 426008 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 1731976
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11408
/proc/meminfo: memFree=30315372/32770624 swapFree=5924/190440
[pid=11390] ppid=11387 vsize=1731976 CPUtime=581.95 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2450935 0 0 0 58052 143 0 0 20 0 1 0 1324280 1773543424 426762 33554432000 4194304 7402444 140733288506704 140733288501240 4747176 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 432994 426762 766 784 0 426008 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 1731976
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11443
/proc/meminfo: memFree=30313460/32770624 swapFree=5924/191040
[pid=11390] ppid=11387 vsize=1732372 CPUtime=1541.37 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2804369 0 0 0 153976 161 0 0 20 0 1 0 1324280 1773948928 426846 33554432000 4194304 7402444 140733288506704 140733288501240 4239238 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433093 426846 766 784 0 426107 0
Current children cumulated CPU time (s) 1541.37
Current children cumulated vsize (KiB) 1732372
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11444
/proc/meminfo: memFree=30313616/32770624 swapFree=5924/191072
[pid=11390] ppid=11387 vsize=1732372 CPUtime=1601.33 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2805699 0 0 0 159972 161 0 0 20 0 1 0 1324280 1773948928 426846 33554432000 4194304 7402444 140733288506704 140733288501240 5754032 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433093 426846 766 784 0 426107 0
Current children cumulated CPU time (s) 1601.33
Current children cumulated vsize (KiB) 1732372
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11445
/proc/meminfo: memFree=30313864/32770624 swapFree=5924/191112
[pid=11390] ppid=11387 vsize=1732372 CPUtime=1661.29 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2806996 0 0 0 165968 161 0 0 20 0 1 0 1324280 1773948928 426846 33554432000 4194304 7402444 140733288506704 140733288501240 4747338 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433093 426846 766 784 0 426107 0
Current children cumulated CPU time (s) 1661.29
Current children cumulated vsize (KiB) 1732372
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11446
/proc/meminfo: memFree=30313616/32770624 swapFree=5924/191144
[pid=11390] ppid=11387 vsize=1732372 CPUtime=1721.26 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2808331 0 0 0 171965 161 0 0 20 0 1 0 1324280 1773948928 426853 33554432000 4194304 7402444 140733288506704 140733288501240 5750704 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433093 426853 766 784 0 426107 0
Current children cumulated CPU time (s) 1721.26
Current children cumulated vsize (KiB) 1732372
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11447
/proc/meminfo: memFree=30314104/32770624 swapFree=5924/191176
[pid=11390] ppid=11387 vsize=1732372 CPUtime=1781.22 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2809644 0 0 0 177961 161 0 0 20 0 1 0 1324280 1773948928 426865 33554432000 4194304 7402444 140733288506704 140733288501240 4484544 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433093 426865 766 784 0 426107 0
Current children cumulated CPU time (s) 1781.22
Current children cumulated vsize (KiB) 1732372
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11448
/proc/meminfo: memFree=30313484/32770624 swapFree=5924/191212
[pid=11390] ppid=11387 vsize=1732768 CPUtime=1841.19 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2811136 0 0 0 183958 161 0 0 20 0 1 0 1324280 1774354432 426931 33554432000 4194304 7402444 140733288506704 140733288501240 4239275 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433192 426931 766 784 0 426206 0
Current children cumulated CPU time (s) 1841.19
Current children cumulated vsize (KiB) 1732768
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11457
/proc/meminfo: memFree=30313272/32770624 swapFree=5924/191260
[pid=11390] ppid=11387 vsize=1732768 CPUtime=1901.15 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2812549 0 0 0 189954 161 0 0 20 0 1 0 1324280 1774354432 426941 33554432000 4194304 7402444 140733288506704 140733288501240 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433192 426941 766 784 0 426206 0
Current children cumulated CPU time (s) 1901.15
Current children cumulated vsize (KiB) 1732768
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11458
/proc/meminfo: memFree=30313576/32770624 swapFree=5924/191296
[pid=11390] ppid=11387 vsize=1732768 CPUtime=1961.13 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2813978 0 0 0 195951 162 0 0 20 0 1 0 1324280 1774354432 426941 33554432000 4194304 7402444 140733288506704 140733288501240 4239179 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433192 426941 766 784 0 426206 0
Current children cumulated CPU time (s) 1961.13
Current children cumulated vsize (KiB) 1732768
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11459
/proc/meminfo: memFree=30313700/32770624 swapFree=5924/191328
[pid=11390] ppid=11387 vsize=1732768 CPUtime=2021.09 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2815377 0 0 0 201947 162 0 0 20 0 1 0 1324280 1774354432 426941 33554432000 4194304 7402444 140733288506704 140733288501240 5754000 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433192 426941 766 784 0 426206 0
Current children cumulated CPU time (s) 2021.09
Current children cumulated vsize (KiB) 1732768
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11460
/proc/meminfo: memFree=30313364/32770624 swapFree=5924/191364
[pid=11390] ppid=11387 vsize=1732768 CPUtime=2081.07 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2816800 0 0 0 207945 162 0 0 20 0 1 0 1324280 1774354432 426941 33554432000 4194304 7402444 140733288506704 140733288501240 4342254 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433192 426941 766 784 0 426206 0
Current children cumulated CPU time (s) 2081.07
Current children cumulated vsize (KiB) 1732768
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11461
/proc/meminfo: memFree=30313456/32770624 swapFree=5924/191396
[pid=11390] ppid=11387 vsize=1732900 CPUtime=2141.02 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2818146 0 0 0 213940 162 0 0 20 0 1 0 1324280 1774489600 426965 33554432000 4194304 7402444 140733288506704 140733288501240 4537264 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433225 426965 766 784 0 426239 0
Current children cumulated CPU time (s) 2141.02
Current children cumulated vsize (KiB) 1732900
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11462
/proc/meminfo: memFree=30311568/32770624 swapFree=5924/191440
[pid=11390] ppid=11387 vsize=1732900 CPUtime=2201 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2819560 0 0 0 219938 162 0 0 20 0 1 0 1324280 1774489600 426984 33554432000 4194304 7402444 140733288506704 140733288501240 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433225 426984 766 784 0 426239 0
Current children cumulated CPU time (s) 2201
Current children cumulated vsize (KiB) 1732900
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11463
/proc/meminfo: memFree=30311536/32770624 swapFree=5924/191472
[pid=11390] ppid=11387 vsize=1732900 CPUtime=2260.96 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2820323 0 0 0 225933 163 0 0 20 0 1 0 1324280 1774489600 426984 33554432000 4194304 7402444 140733288506704 140733288501240 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433225 426984 766 784 0 426239 0
Current children cumulated CPU time (s) 2260.96
Current children cumulated vsize (KiB) 1732900
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11464
/proc/meminfo: memFree=30312360/32770624 swapFree=5924/191508
[pid=11390] ppid=11387 vsize=1733032 CPUtime=2320.93 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2822067 0 0 0 231930 163 0 0 20 0 1 0 1324280 1774624768 426998 33554432000 4194304 7402444 140733288506704 140733288501240 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433258 426998 766 784 0 426272 0
Current children cumulated CPU time (s) 2320.93
Current children cumulated vsize (KiB) 1733032
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11530
/proc/meminfo: memFree=18336108/32770624 swapFree=5924/192596
[pid=11390] ppid=11387 vsize=1733032 CPUtime=2380.89 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2823562 0 0 0 237926 163 0 0 20 0 1 0 1324280 1774624768 426998 33554432000 4194304 7402444 140733288506704 140733288501240 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433258 426998 766 784 0 426272 0
Current children cumulated CPU time (s) 2380.89
Current children cumulated vsize (KiB) 1733032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.5 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 11531
/proc/meminfo: memFree=18336108/32770624 swapFree=5924/192640
[pid=11390] ppid=11387 vsize=1733032 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2824120 0 0 0 239845 163 0 0 20 0 1 0 1324280 1774624768 426998 33554432000 4194304 7402444 140733288506704 140733288501240 4484798 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433258 426998 766 784 0 426272 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 1733032
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 11390 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.5 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 11531
/proc/meminfo: memFree=18336108/32770624 swapFree=5924/192640
[pid=11390] ppid=11387 vsize=1733032 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/11390/stat : 11390 (MistralXCSP) R 11387 11390 9835 0 -1 4202496 2824120 0 0 0 239845 163 0 0 20 0 1 0 1324280 1774624768 426998 33554432000 4194304 7402444 140733288506704 140733288501240 4484798 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 19562496 140733288510632 140733288510782 140733288510782 140733288513481 0
/proc/11390/statm: 433258 426998 766 784 0 426272 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 1733032
Child status: 0
Real time (s): 2401.51
CPU time (s): 2400.1
CPU user time (s): 2398.46
CPU system time (s): 1.64009
CPU usage (%): 99.9413
Max. virtual memory (cumulated for all children) (KiB): 1733032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.46
system time used= 1.64009
maximum resident set size= 1708016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2824157
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= 120
involuntary context switches= 120709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41877 second user time and 13.3141 second system time
The end