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-4243183-1500665091/watcher-4243183-1500665091 -o /tmp/evaluation-result-4243183-1500665091/solver-4243183-1500665091 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500648178-2489 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 166034625 HOME/instance-4243183-1500665091.xml
pid=4606
running on 8 cores: 0,2,4,6,8,10,12,14
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.05 2.03 2.05 3/242 4609
/proc/meminfo: memFree=31828796/32770624 swapFree=5848/216876
[pid=4609] ppid=4606 vsize=29164 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 1037 0 0 0 0 0 0 0 20 0 1 0 1778171 29863936 855 33554432000 4194304 7402444 140736877795216 140736877787128 139739899005925 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 7291 855 593 784 0 305 0
[startup+0.100209 s]
/proc/loadavg: 2.05 2.03 2.05 3/242 4609
/proc/meminfo: memFree=31828796/32770624 swapFree=5848/216876
[pid=4609] ppid=4606 vsize=33968 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 2229 0 0 0 9 0 0 0 20 0 1 0 1778171 34783232 2021 33554432000 4194304 7402444 140736877795216 140736877787192 139739899005925 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 8492 2021 594 784 0 1506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33968
[startup+0.200378 s]
/proc/loadavg: 2.05 2.03 2.05 3/242 4609
/proc/meminfo: memFree=31828796/32770624 swapFree=5848/216876
[pid=4609] ppid=4606 vsize=70820 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 11686 0 0 0 17 1 0 0 20 0 1 0 1778171 72519680 11004 33554432000 4194304 7402444 140736877795216 140736877786904 139739899005925 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 17705 11004 621 784 0 10719 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 70820
[startup+0.300398 s]
/proc/loadavg: 2.05 2.03 2.05 3/242 4609
/proc/meminfo: memFree=31828796/32770624 swapFree=5848/216876
[pid=4609] ppid=4606 vsize=71988 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 12035 0 0 0 27 1 0 0 20 0 1 0 1778171 73715712 11400 33554432000 4194304 7402444 140736877795216 140736877784992 5978954 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 17997 11400 705 784 0 11011 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 71988
[startup+0.70028 s]
/proc/loadavg: 2.05 2.03 2.05 3/242 4609
/proc/meminfo: memFree=31828796/32770624 swapFree=5848/216876
[pid=4609] ppid=4606 vsize=72120 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 12101 0 0 0 67 2 0 0 20 0 1 0 1778171 73850880 11466 33554432000 4194304 7402444 140736877795216 140736877785880 5947870 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 18030 11466 720 784 0 11044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72120
[startup+1.50028 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4610
/proc/meminfo: memFree=31785068/32770624 swapFree=5848/216628
[pid=4609] ppid=4606 vsize=72880 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 12279 0 0 0 147 2 0 0 20 0 1 0 1778171 74629120 11598 33554432000 4194304 7402444 140736877795216 140736877785960 139739898998527 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 18220 11598 720 784 0 11234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72880
[startup+3.10027 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4610
/proc/meminfo: memFree=31784240/32770624 swapFree=5848/216628
[pid=4609] ppid=4606 vsize=75012 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 16013 0 0 0 307 2 0 0 20 0 1 0 1778171 76812288 12182 33554432000 4194304 7402444 140736877795216 140736877785816 6048065 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 18753 12182 726 784 0 11767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75012
[startup+6.30028 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4610
/proc/meminfo: memFree=31779896/32770624 swapFree=5848/216604
[pid=4609] ppid=4606 vsize=80132 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 22772 0 0 0 626 2 0 0 20 0 1 0 1778171 82055168 13464 33554432000 4194304 7402444 140736877795216 140736877785816 6048273 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 20033 13464 726 784 0 13047 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 80132
[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4611
/proc/meminfo: memFree=31763088/32770624 swapFree=5848/216612
[pid=4609] ppid=4606 vsize=93944 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 31431 0 0 0 1266 3 0 0 20 0 1 0 1778171 96198656 16917 33554432000 4194304 7402444 140736877795216 140736877785960 139739905493472 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 23486 16917 733 784 0 16500 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93944
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4611
/proc/meminfo: memFree=31738456/32770624 swapFree=5848/216628
[pid=4609] ppid=4606 vsize=117204 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 44892 0 0 0 2544 5 0 0 20 0 1 0 1778171 120016896 22764 33554432000 4194304 7402444 140736877795216 140736877785960 139739899930188 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 29301 22764 733 784 0 22315 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 117204
[startup+51.1003 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 4611
/proc/meminfo: memFree=31683980/32770624 swapFree=5848/216636
[pid=4609] ppid=4606 vsize=170356 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 87747 0 0 0 5099 8 0 0 20 0 1 0 1778171 174444544 35997 33554432000 4194304 7402444 140736877795216 140736877785960 139739899005403 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 42589 35997 733 784 0 35603 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 170356
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4612
/proc/meminfo: memFree=31659196/32770624 swapFree=5848/216672
[pid=4609] ppid=4606 vsize=193464 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 122016 0 0 0 10215 11 0 0 20 0 1 0 1778171 198107136 41601 33554432000 4194304 7402444 140736877795216 140736877789848 5324615 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48366 41601 771 784 0 41380 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 193464
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4613
/proc/meminfo: memFree=31655884/32770624 swapFree=5848/216712
[pid=4609] ppid=4606 vsize=193596 CPUtime=162.2 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 139212 0 0 0 16208 12 0 0 20 0 1 0 1778171 198242304 41658 33554432000 4194304 7402444 140736877795216 140736877789848 5750450 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48399 41658 771 784 0 41413 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 193596
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4615
/proc/meminfo: memFree=31655628/32770624 swapFree=5848/216748
[pid=4609] ppid=4606 vsize=193728 CPUtime=222.18 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 140270 0 0 0 22206 12 0 0 20 0 1 0 1778171 198377472 41920 33554432000 4194304 7402444 140736877795216 140736877789800 4237728 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48432 41920 771 784 0 41446 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 193728
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4617
/proc/meminfo: memFree=31655000/32770624 swapFree=5848/216792
[pid=4609] ppid=4606 vsize=193728 CPUtime=282.14 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 141178 0 0 0 28202 12 0 0 20 0 1 0 1778171 198377472 41936 33554432000 4194304 7402444 140736877795216 140736877789800 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48432 41936 771 784 0 41446 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 193728
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4625
/proc/meminfo: memFree=31654668/32770624 swapFree=5848/216840
[pid=4609] ppid=4606 vsize=193728 CPUtime=342.12 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 142098 0 0 0 34200 12 0 0 20 0 1 0 1778171 198377472 41944 33554432000 4194304 7402444 140736877795216 140736877789800 5324450 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48432 41944 771 784 0 41446 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 193728
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4626
/proc/meminfo: memFree=31655088/32770624 swapFree=5848/216872
[pid=4609] ppid=4606 vsize=193728 CPUtime=402.1 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 143024 0 0 0 40198 12 0 0 20 0 1 0 1778171 198377472 41954 33554432000 4194304 7402444 140736877795216 140736877789800 4747059 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48432 41954 771 784 0 41446 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 193728
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 4627
/proc/meminfo: memFree=31655220/32770624 swapFree=5848/216896
[pid=4609] ppid=4606 vsize=193728 CPUtime=462.08 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 143956 0 0 0 46196 12 0 0 20 0 1 0 1778171 198377472 41956 33554432000 4194304 7402444 140736877795216 140736877789800 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48432 41956 771 784 0 41446 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 193728
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4628
/proc/meminfo: memFree=31655488/32770624 swapFree=5848/216932
[pid=4609] ppid=4606 vsize=193728 CPUtime=522.05 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 144890 0 0 0 52193 12 0 0 20 0 1 0 1778171 198377472 41963 33554432000 4194304 7402444 140736877795216 140736877789800 4238508 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48432 41963 771 784 0 41446 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 193728
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4629
/proc/meminfo: memFree=31655736/32770624 swapFree=5848/216980
[pid=4609] ppid=4606 vsize=193860 CPUtime=582.03 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 145833 0 0 0 58191 12 0 0 20 0 1 0 1778171 198512640 41967 33554432000 4194304 7402444 140736877795216 140736877789800 5750496 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41967 771 784 0 41479 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 193860
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4651
/proc/meminfo: memFree=31651656/32770624 swapFree=5848/217520
[pid=4609] ppid=4606 vsize=193860 CPUtime=1481.7 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 160142 0 0 0 148157 13 0 0 20 0 1 0 1778171 198512640 41995 33554432000 4194304 7402444 140736877795216 140736877789800 5753463 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41995 771 784 0 41479 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 193860
[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 4660
/proc/meminfo: memFree=31650756/32770624 swapFree=5848/217556
[pid=4609] ppid=4606 vsize=193860 CPUtime=1541.69 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 161096 0 0 0 154156 13 0 0 20 0 1 0 1778171 198512640 41995 33554432000 4194304 7402444 140736877795216 140736877789800 4302608 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41995 771 784 0 41479 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 193860
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4661
/proc/meminfo: memFree=31650340/32770624 swapFree=5848/217592
[pid=4609] ppid=4606 vsize=193860 CPUtime=1601.67 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 162048 0 0 0 160154 13 0 0 20 0 1 0 1778171 198512640 41995 33554432000 4194304 7402444 140736877795216 140736877789800 4299808 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41995 771 784 0 41479 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 193860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4662
/proc/meminfo: memFree=31650908/32770624 swapFree=5848/217620
[pid=4609] ppid=4606 vsize=193860 CPUtime=1661.65 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 163013 0 0 0 166152 13 0 0 20 0 1 0 1778171 198512640 41995 33554432000 4194304 7402444 140736877795216 140736877789800 5747658 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41995 771 784 0 41479 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 193860
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4663
/proc/meminfo: memFree=31650816/32770624 swapFree=5848/217656
[pid=4609] ppid=4606 vsize=193860 CPUtime=1721.62 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 163979 0 0 0 172149 13 0 0 20 0 1 0 1778171 198512640 41996 33554432000 4194304 7402444 140736877795216 140736877789800 4391576 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41996 771 784 0 41479 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 193860
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4664
/proc/meminfo: memFree=31651580/32770624 swapFree=5848/217696
[pid=4609] ppid=4606 vsize=193860 CPUtime=1781.6 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 164943 0 0 0 178147 13 0 0 20 0 1 0 1778171 198512640 41997 33554432000 4194304 7402444 140736877795216 140736877789800 4747326 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41997 771 784 0 41479 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 193860
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4666
/proc/meminfo: memFree=31651596/32770624 swapFree=5848/217736
[pid=4609] ppid=4606 vsize=193860 CPUtime=1841.58 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 165909 0 0 0 184145 13 0 0 20 0 1 0 1778171 198512640 41998 33554432000 4194304 7402444 140736877795216 140736877789800 5871069 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41998 771 784 0 41479 0
Current children cumulated CPU time (s) 1841.58
Current children cumulated vsize (KiB) 193860
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4667
/proc/meminfo: memFree=31649012/32770624 swapFree=5848/217772
[pid=4609] ppid=4606 vsize=193860 CPUtime=1901.55 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 166877 0 0 0 190142 13 0 0 20 0 1 0 1778171 198512640 41998 33554432000 4194304 7402444 140736877795216 140736877789800 4248761 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 41998 771 784 0 41479 0
Current children cumulated CPU time (s) 1901.55
Current children cumulated vsize (KiB) 193860
[startup+1962.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/243 4668
/proc/meminfo: memFree=31650376/32770624 swapFree=5848/217808
[pid=4609] ppid=4606 vsize=193860 CPUtime=1961.54 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 167844 0 0 0 196140 14 0 0 20 0 1 0 1778171 198512640 42000 33554432000 4194304 7402444 140736877795216 140736877789800 5821527 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 42000 771 784 0 41479 0
Current children cumulated CPU time (s) 1961.54
Current children cumulated vsize (KiB) 193860
[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4670
/proc/meminfo: memFree=31650436/32770624 swapFree=5848/217848
[pid=4609] ppid=4606 vsize=193860 CPUtime=2021.51 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 168811 0 0 0 202137 14 0 0 20 0 1 0 1778171 198512640 42000 33554432000 4194304 7402444 140736877795216 140736877789800 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 42000 771 784 0 41479 0
Current children cumulated CPU time (s) 2021.51
Current children cumulated vsize (KiB) 193860
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4671
/proc/meminfo: memFree=31650644/32770624 swapFree=5848/217888
[pid=4609] ppid=4606 vsize=193860 CPUtime=2081.49 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 169781 0 0 0 208135 14 0 0 20 0 1 0 1778171 198512640 42001 33554432000 4194304 7402444 140736877795216 140736877789800 4300442 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48465 42001 771 784 0 41479 0
Current children cumulated CPU time (s) 2081.49
Current children cumulated vsize (KiB) 193860
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4679
/proc/meminfo: memFree=31650108/32770624 swapFree=5848/217932
[pid=4609] ppid=4606 vsize=194128 CPUtime=2141.46 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 170801 0 0 0 214132 14 0 0 20 0 1 0 1778171 198787072 42019 33554432000 4194304 7402444 140736877795216 140736877789496 5821630 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48532 42019 771 784 0 41546 0
Current children cumulated CPU time (s) 2141.46
Current children cumulated vsize (KiB) 194128
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4702
/proc/meminfo: memFree=31648184/32770624 swapFree=5848/217976
[pid=4609] ppid=4606 vsize=194128 CPUtime=2201.44 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 171816 0 0 0 220130 14 0 0 20 0 1 0 1778171 198787072 42049 33554432000 4194304 7402444 140736877795216 140736877789496 4249086 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48532 42049 771 784 0 41546 0
Current children cumulated CPU time (s) 2201.44
Current children cumulated vsize (KiB) 194128
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4703
/proc/meminfo: memFree=31648668/32770624 swapFree=5848/218012
[pid=4609] ppid=4606 vsize=194128 CPUtime=2261.41 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 172832 0 0 0 226127 14 0 0 20 0 1 0 1778171 198787072 42049 33554432000 4194304 7402444 140736877795216 140736877789496 5747655 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48532 42049 771 784 0 41546 0
Current children cumulated CPU time (s) 2261.41
Current children cumulated vsize (KiB) 194128
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4704
/proc/meminfo: memFree=31649744/32770624 swapFree=5848/218040
[pid=4609] ppid=4606 vsize=194128 CPUtime=2321.38 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 173847 0 0 0 232124 14 0 0 20 0 1 0 1778171 198787072 42050 33554432000 4194304 7402444 140736877795216 140736877789496 5821605 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48532 42050 771 784 0 41546 0
Current children cumulated CPU time (s) 2321.38
Current children cumulated vsize (KiB) 194128
[startup+2382.3 s]
/proc/loadavg: 1.46 1.87 1.99 2/236 4755
/proc/meminfo: memFree=31871020/32770624 swapFree=5848/218084
[pid=4609] ppid=4606 vsize=194128 CPUtime=2381.35 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 174864 0 0 0 238121 14 0 0 20 0 1 0 1778171 198787072 42050 33554432000 4194304 7402444 140736877795216 140736877789496 4238508 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48532 42050 771 784 0 41546 0
Current children cumulated CPU time (s) 2381.35
Current children cumulated vsize (KiB) 194128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401 s]
/proc/loadavg: 1.33 1.81 1.97 2/236 4756
/proc/meminfo: memFree=31871496/32770624 swapFree=5848/218112
[pid=4609] ppid=4606 vsize=194128 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/4609/stat : 4609 (MistralXCSP) R 4606 4609 2458 0 -1 4202496 175878 0 0 0 239991 14 0 0 20 0 1 0 1778171 198787072 42051 33554432000 4194304 7402444 140736877795216 140736877789496 4297625 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 33165312 140736877802665 140736877802814 140736877802814 140736877805513 0
/proc/4609/statm: 48532 42051 771 784 0 41546 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 194128
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 4609 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401
CPU time (s): 2400.06
CPU user time (s): 2399.91
CPU system time (s): 0.143945
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 194128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.143945
maximum resident set size= 168228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175909
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= 60
involuntary context switches= 120885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1927 second user time and 12.0896 second system time
The end