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-4242862-1500662714/watcher-4242862-1500662714 -o /tmp/evaluation-result-4242862-1500662714/solver-4242862-1500662714 -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 426399449 HOME/instance-4242862-1500662714.xml
pid=12784
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.04 2.05 2.05 2/246 12787
/proc/meminfo: memFree=31862812/32770624 swapFree=5660/193576
[pid=12787] ppid=12784 vsize=29112 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 1046 0 0 0 0 0 0 0 20 0 1 0 1538552 29810688 868 33554432000 4194304 7402444 140725234856480 140725234853528 139805886184900 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 7278 868 631 784 0 292 0
[startup+0.100154 s]
/proc/loadavg: 2.04 2.05 2.05 2/246 12787
/proc/meminfo: memFree=31862812/32770624 swapFree=5660/193576
[pid=12787] ppid=12784 vsize=30140 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 1589 0 0 0 9 0 0 0 20 0 1 0 1538552 30863360 1158 33554432000 4194304 7402444 140725234856480 140725234849720 139805886184965 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 7535 1158 633 784 0 549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30140
[startup+0.20028 s]
/proc/loadavg: 2.04 2.05 2.05 2/246 12787
/proc/meminfo: memFree=31862812/32770624 swapFree=5660/193576
[pid=12787] ppid=12784 vsize=33996 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 3266 0 0 0 19 0 0 0 20 0 1 0 1538552 34811904 1958 33554432000 4194304 7402444 140725234856480 140725234847224 139805880324993 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 8499 1958 641 784 0 1513 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33996
[startup+0.300303 s]
/proc/loadavg: 2.04 2.05 2.05 2/246 12787
/proc/meminfo: memFree=31862812/32770624 swapFree=5660/193576
[pid=12787] ppid=12784 vsize=42668 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 5472 0 0 0 29 0 0 0 20 0 1 0 1538552 43692032 4202 33554432000 4194304 7402444 140725234856480 140725234846936 139805879401445 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 10667 4202 663 784 0 3681 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42668
[startup+0.700288 s]
/proc/loadavg: 2.04 2.05 2.05 2/246 12787
/proc/meminfo: memFree=31862812/32770624 swapFree=5660/193576
[pid=12787] ppid=12784 vsize=75516 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 13678 0 0 0 68 1 0 0 20 0 1 0 1538552 77328384 12386 33554432000 4194304 7402444 140725234856480 140725234847352 139805879401445 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 18879 12386 663 784 0 11893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75516
[startup+1.5003 s]
/proc/loadavg: 2.04 2.05 2.05 3/247 12788
/proc/meminfo: memFree=31778300/32770624 swapFree=5660/193576
[pid=12787] ppid=12784 vsize=132952 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 26192 0 0 0 146 3 0 0 20 0 1 0 1538552 136142848 26945 33554432000 4194304 7402444 140725234856480 140725234851016 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 33238 26945 768 784 0 26252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132952
[startup+3.10032 s]
/proc/loadavg: 2.04 2.05 2.05 3/247 12788
/proc/meminfo: memFree=31756868/32770624 swapFree=5660/193848
[pid=12787] ppid=12784 vsize=135332 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 43165 0 0 0 305 4 0 0 20 0 1 0 1538552 138579968 27538 33554432000 4194304 7402444 140725234856480 140725234851016 4747310 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 33833 27538 770 784 0 26847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 135332
[startup+6.3003 s]
/proc/loadavg: 2.04 2.05 2.05 3/247 12788
/proc/meminfo: memFree=31754208/32770624 swapFree=5660/194008
[pid=12787] ppid=12784 vsize=138368 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 60401 0 0 0 624 5 0 0 20 0 1 0 1538552 141688832 28291 33554432000 4194304 7402444 140725234856480 140725234851016 5327250 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 34592 28291 770 784 0 27606 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 138368
[startup+12.7003 s]
/proc/loadavg: 2.04 2.05 2.05 3/247 12788
/proc/meminfo: memFree=31747388/32770624 swapFree=5660/194008
[pid=12787] ppid=12784 vsize=142064 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 78709 0 0 0 1262 6 0 0 20 0 1 0 1538552 145473536 29178 33554432000 4194304 7402444 140725234856480 140725234851016 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 35516 29178 770 784 0 28530 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 142064
[startup+25.5004 s]
/proc/loadavg: 2.03 2.05 2.05 3/247 12788
/proc/meminfo: memFree=31745684/32770624 swapFree=5660/194028
[pid=12787] ppid=12784 vsize=143252 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 115422 0 0 0 2539 8 0 0 20 0 1 0 1538552 146690048 29523 33554432000 4194304 7402444 140725234856480 140725234851016 4484434 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 35813 29523 770 784 0 28827 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 143252
[startup+51.1004 s]
/proc/loadavg: 2.02 2.04 2.05 3/247 12788
/proc/meminfo: memFree=31743560/32770624 swapFree=5660/193988
[pid=12787] ppid=12784 vsize=145244 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 134331 0 0 0 5097 9 0 0 20 0 1 0 1538552 148729856 30007 33554432000 4194304 7402444 140725234856480 140725234851128 5754037 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36311 30007 770 784 0 29325 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 145244
[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/247 12790
/proc/meminfo: memFree=31743348/32770624 swapFree=5660/194020
[pid=12787] ppid=12784 vsize=145904 CPUtime=102.2 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 144818 0 0 0 10211 9 0 0 20 0 1 0 1538552 149405696 30180 33554432000 4194304 7402444 140725234856480 140725234851016 4484555 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36476 30180 770 784 0 29490 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 145904
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 12791
/proc/meminfo: memFree=31741556/32770624 swapFree=5660/194056
[pid=12787] ppid=12784 vsize=147124 CPUtime=162.16 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 145710 0 0 0 16207 9 0 0 20 0 1 0 1538552 150654976 30421 33554432000 4194304 7402444 140725234856480 140725234851016 4747693 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36781 30421 770 784 0 29795 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 147124
[startup+222.308 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 12792
/proc/meminfo: memFree=31740832/32770624 swapFree=5660/194096
[pid=12787] ppid=12784 vsize=147388 CPUtime=222.14 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 146653 0 0 0 22204 10 0 0 20 0 1 0 1538552 150925312 30551 33554432000 4194304 7402444 140725234856480 140725234851016 5750464 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36847 30551 770 784 0 29861 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 147388
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/247 12793
/proc/meminfo: memFree=31740452/32770624 swapFree=5660/194136
[pid=12787] ppid=12784 vsize=147520 CPUtime=282.09 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 147566 0 0 0 28199 10 0 0 20 0 1 0 1538552 151060480 30582 33554432000 4194304 7402444 140725234856480 140725234851016 4484562 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36880 30582 770 784 0 29894 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 147520
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/249 12803
/proc/meminfo: memFree=31739948/32770624 swapFree=5660/194140
[pid=12787] ppid=12784 vsize=147652 CPUtime=342.05 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 148531 0 0 0 34195 10 0 0 20 0 1 0 1538552 151195648 30596 33554432000 4194304 7402444 140725234856480 140725234851016 4484555 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36913 30596 770 784 0 29927 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 147652
[startup+402.3 s]
/proc/loadavg: 2.14 2.05 2.06 3/249 12805
/proc/meminfo: memFree=31740172/32770624 swapFree=5660/194172
[pid=12787] ppid=12784 vsize=147784 CPUtime=402.02 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 149005 0 0 0 40192 10 0 0 20 0 1 0 1538552 151330816 30637 33554432000 4194304 7402444 140725234856480 140725234851016 4484665 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36946 30637 770 784 0 29960 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 147784
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/249 12806
/proc/meminfo: memFree=31740652/32770624 swapFree=5660/194212
[pid=12787] ppid=12784 vsize=147784 CPUtime=461.98 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 149473 0 0 0 46188 10 0 0 20 0 1 0 1538552 151330816 30648 33554432000 4194304 7402444 140725234856480 140725234851016 5754027 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36946 30648 770 784 0 29960 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 147784
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/249 12807
/proc/meminfo: memFree=31739712/32770624 swapFree=5660/194252
[pid=12787] ppid=12784 vsize=147784 CPUtime=521.95 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 149946 0 0 0 52185 10 0 0 20 0 1 0 1538552 151330816 30648 33554432000 4194304 7402444 140725234856480 140725234851016 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36946 30648 770 784 0 29960 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 147784
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/249 12808
/proc/meminfo: memFree=31737916/32770624 swapFree=5660/194296
[pid=12787] ppid=12784 vsize=147784 CPUtime=581.91 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 150431 0 0 0 58181 10 0 0 20 0 1 0 1538552 151330816 30658 33554432000 4194304 7402444 140725234856480 140725234851016 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 36946 30658 770 784 0 29960 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 147784
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 12866
/proc/meminfo: memFree=31735892/32770624 swapFree=5660/194896
[pid=12787] ppid=12784 vsize=148444 CPUtime=1541.36 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 159392 0 0 0 154126 10 0 0 20 0 1 0 1538552 152006656 30819 33554432000 4194304 7402444 140725234856480 140725234851016 4747284 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37111 30819 770 784 0 30125 0
Current children cumulated CPU time (s) 1541.36
Current children cumulated vsize (KiB) 148444
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 12867
/proc/meminfo: memFree=31735744/32770624 swapFree=5660/194928
[pid=12787] ppid=12784 vsize=148444 CPUtime=1601.32 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 160013 0 0 0 160122 10 0 0 20 0 1 0 1538552 152006656 30821 33554432000 4194304 7402444 140725234856480 140725234851016 4238819 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37111 30821 770 784 0 30125 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 148444
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/247 12868
/proc/meminfo: memFree=31735200/32770624 swapFree=5660/194964
[pid=12787] ppid=12784 vsize=148444 CPUtime=1661.28 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 160626 0 0 0 166118 10 0 0 20 0 1 0 1538552 152006656 30824 33554432000 4194304 7402444 140725234856480 140725234851016 4484648 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37111 30824 770 784 0 30125 0
Current children cumulated CPU time (s) 1661.28
Current children cumulated vsize (KiB) 148444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/247 12869
/proc/meminfo: memFree=31735728/32770624 swapFree=5660/194996
[pid=12787] ppid=12784 vsize=148576 CPUtime=1721.25 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 161260 0 0 0 172115 10 0 0 20 0 1 0 1538552 152141824 30826 33554432000 4194304 7402444 140725234856480 140725234851016 5818337 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37144 30826 770 784 0 30158 0
Current children cumulated CPU time (s) 1721.25
Current children cumulated vsize (KiB) 148576
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 12870
/proc/meminfo: memFree=31735292/32770624 swapFree=5660/195036
[pid=12787] ppid=12784 vsize=148576 CPUtime=1781.21 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 161920 0 0 0 178111 10 0 0 20 0 1 0 1538552 152141824 30837 33554432000 4194304 7402444 140725234856480 140725234851016 4238471 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37144 30837 770 784 0 30158 0
Current children cumulated CPU time (s) 1781.21
Current children cumulated vsize (KiB) 148576
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/246 12871
/proc/meminfo: memFree=31735308/32770624 swapFree=5660/195072
[pid=12787] ppid=12784 vsize=148576 CPUtime=1841.18 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 162563 0 0 0 184108 10 0 0 20 0 1 0 1538552 152141824 30861 33554432000 4194304 7402444 140725234856480 140725234851016 4484555 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37144 30861 770 784 0 30158 0
Current children cumulated CPU time (s) 1841.18
Current children cumulated vsize (KiB) 148576
[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/246 12872
/proc/meminfo: memFree=31735376/32770624 swapFree=5660/195104
[pid=12787] ppid=12784 vsize=148576 CPUtime=1901.14 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 163176 0 0 0 190104 10 0 0 20 0 1 0 1538552 152141824 30861 33554432000 4194304 7402444 140725234856480 140725234851016 4484555 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37144 30861 770 784 0 30158 0
Current children cumulated CPU time (s) 1901.14
Current children cumulated vsize (KiB) 148576
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/247 12874
/proc/meminfo: memFree=31733496/32770624 swapFree=5660/195140
[pid=12787] ppid=12784 vsize=148576 CPUtime=1961.11 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 163794 0 0 0 196101 10 0 0 20 0 1 0 1538552 152141824 30861 33554432000 4194304 7402444 140725234856480 140725234851016 5818314 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37144 30861 770 784 0 30158 0
Current children cumulated CPU time (s) 1961.11
Current children cumulated vsize (KiB) 148576
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 12875
/proc/meminfo: memFree=31733752/32770624 swapFree=5660/195168
[pid=12787] ppid=12784 vsize=148576 CPUtime=2021.07 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 164438 0 0 0 202097 10 0 0 20 0 1 0 1538552 152141824 30861 33554432000 4194304 7402444 140725234856480 140725234851016 4484555 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37144 30861 770 784 0 30158 0
Current children cumulated CPU time (s) 2021.07
Current children cumulated vsize (KiB) 148576
[startup+2082.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/247 12876
/proc/meminfo: memFree=31733876/32770624 swapFree=5660/195212
[pid=12787] ppid=12784 vsize=148708 CPUtime=2081.05 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 165149 0 0 0 208094 11 0 0 20 0 1 0 1538552 152276992 30882 33554432000 4194304 7402444 140725234856480 140725234851016 4484555 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37177 30882 770 784 0 30191 0
Current children cumulated CPU time (s) 2081.05
Current children cumulated vsize (KiB) 148708
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/249 12886
/proc/meminfo: memFree=31733744/32770624 swapFree=5660/195252
[pid=12787] ppid=12784 vsize=148708 CPUtime=2141.01 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 165821 0 0 0 214090 11 0 0 20 0 1 0 1538552 152276992 30883 33554432000 4194304 7402444 140725234856480 140725234851016 5818398 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37177 30883 770 784 0 30191 0
Current children cumulated CPU time (s) 2141.01
Current children cumulated vsize (KiB) 148708
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/249 12887
/proc/meminfo: memFree=31732832/32770624 swapFree=5660/195288
[pid=12787] ppid=12784 vsize=148708 CPUtime=2200.98 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 166495 0 0 0 220087 11 0 0 20 0 1 0 1538552 152276992 30883 33554432000 4194304 7402444 140725234856480 140725234851016 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37177 30883 770 784 0 30191 0
Current children cumulated CPU time (s) 2200.98
Current children cumulated vsize (KiB) 148708
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/248 12888
/proc/meminfo: memFree=31733632/32770624 swapFree=5660/195320
[pid=12787] ppid=12784 vsize=148708 CPUtime=2260.94 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 167167 0 0 0 226083 11 0 0 20 0 1 0 1538552 152276992 30884 33554432000 4194304 7402444 140725234856480 140725234851016 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37177 30884 770 784 0 30191 0
Current children cumulated CPU time (s) 2260.94
Current children cumulated vsize (KiB) 148708
[startup+2322.3 s]
/proc/loadavg: 1.95 2.01 2.04 3/248 12955
/proc/meminfo: memFree=31764108/32770624 swapFree=5660/195500
[pid=12787] ppid=12784 vsize=148708 CPUtime=2320.9 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 167843 0 0 0 232079 11 0 0 20 0 1 0 1538552 152276992 30885 33554432000 4194304 7402444 140725234856480 140725234851016 4712968 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37177 30885 770 784 0 30191 0
Current children cumulated CPU time (s) 2320.9
Current children cumulated vsize (KiB) 148708
[startup+2382.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/248 12956
/proc/meminfo: memFree=31631876/32770624 swapFree=5660/195548
[pid=12787] ppid=12784 vsize=148708 CPUtime=2380.86 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 168513 0 0 0 238075 11 0 0 20 0 1 0 1538552 152276992 30886 33554432000 4194304 7402444 140725234856480 140725234851016 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37177 30886 770 784 0 30191 0
Current children cumulated CPU time (s) 2380.86
Current children cumulated vsize (KiB) 148708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.5 s]
/proc/loadavg: 1.99 2.01 2.04 3/246 12957
/proc/meminfo: memFree=31516916/32770624 swapFree=5660/195564
[pid=12787] ppid=12784 vsize=148708 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 169181 0 0 0 239994 11 0 0 20 0 1 0 1538552 152276992 30886 33554432000 4194304 7402444 140725234856480 140725234851016 4712981 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37177 30886 770 784 0 30191 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 148708
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 12787 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.5 s]
/proc/loadavg: 1.99 2.01 2.04 3/246 12957
/proc/meminfo: memFree=31516916/32770624 swapFree=5660/195564
[pid=12787] ppid=12784 vsize=148708 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/12787/stat : 12787 (MistralXCSP) R 12784 12787 9850 0 -1 4202496 169181 0 0 0 239994 11 0 0 20 0 1 0 1538552 152276992 30886 33554432000 4194304 7402444 140725234856480 140725234851016 4712981 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29708288 140725234861225 140725234861374 140725234861374 140725234864073 0
/proc/12787/statm: 37177 30886 770 784 0 30191 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 148708
Child status: 0
Real time (s): 2401.5
CPU time (s): 2400.06
CPU user time (s): 2399.94
CPU system time (s): 0.115932
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 148708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.94
system time used= 0.115932
maximum resident set size= 123548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169741
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= 53
involuntary context switches= 124980
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3382 second user time and 10.3825 second system time
The end