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-4242724-1502061760/watcher-4242724-1502061760 -o /tmp/evaluation-result-4242724-1502061760/solver-4242724-1502061760 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 576861293 HOME/instance-4242724-1502061760.xml
pid=31316
running on 4 cores: 1,3,5,7
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.03 2.05 2.05 3/180 31319
/proc/meminfo: memFree=31532972/32770624 swapFree=0/346812
[pid=31319] ppid=31316 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31319/stat : 31319 (runsolver) D 31316 31319 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8369729 24240128 106 18446744073709551615 4194304 4338465 140723283744560 140723283742200 139970074624727 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 18599936 140723283746956 140723283747402 140723283747402 140723283750858 0
/proc/31319/statm: 5918 106 53 36 0 2156 0
[startup+0.100491 s]
/proc/loadavg: 2.03 2.05 2.05 3/180 31319
/proc/meminfo: memFree=31532972/32770624 swapFree=0/346812
[pid=31319] ppid=31316 vsize=29200 CPUtime=0.02 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 1082 0 0 0 2 0 0 0 20 0 1 0 8369729 29900800 868 18446744073709551615 4194304 7402444 140733381474672 140733381467912 5945136 0 0 1 0 0 0 0 17 7 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 7300 868 618 784 0 314 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29200
[startup+0.200484 s]
/proc/loadavg: 2.03 2.05 2.05 3/180 31319
/proc/meminfo: memFree=31532972/32770624 swapFree=0/346812
[pid=31319] ppid=31316 vsize=29668 CPUtime=0.12 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 1171 0 0 0 12 0 0 0 20 0 1 0 8369729 30380032 1000 18446744073709551615 4194304 7402444 140733381474672 140733381467912 6142040 0 0 1 0 0 0 0 17 7 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 7417 1000 631 784 0 431 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 29668
[startup+0.300483 s]
/proc/loadavg: 2.03 2.05 2.05 3/180 31319
/proc/meminfo: memFree=31532972/32770624 swapFree=0/346812
[pid=31319] ppid=31316 vsize=29992 CPUtime=0.22 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 1298 0 0 0 22 0 0 0 20 0 1 0 8369729 30711808 1051 18446744073709551615 4194304 7402444 140733381474672 140733381467912 5964627 0 0 1 0 0 0 0 17 7 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 7498 1051 631 784 0 512 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 29992
[startup+0.700225 s]
/proc/loadavg: 2.03 2.05 2.05 3/180 31319
/proc/meminfo: memFree=31532972/32770624 swapFree=0/346812
[pid=31319] ppid=31316 vsize=31300 CPUtime=0.62 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 1729 0 0 0 62 0 0 0 20 0 1 0 8369729 32051200 1392 18446744073709551615 4194304 7402444 140733381474672 140733381467912 139762026896357 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 7825 1392 631 784 0 839 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 31300
[startup+1.50022 s]
/proc/loadavg: 2.03 2.05 2.05 3/181 31320
/proc/meminfo: memFree=31527392/32770624 swapFree=0/346556
[pid=31319] ppid=31316 vsize=37612 CPUtime=1.41 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 3459 0 0 0 141 0 0 0 20 0 1 0 8369729 38514688 2934 18446744073709551615 4194304 7402444 140733381474672 140733381467912 139762026896357 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 9403 2934 732 784 0 2417 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 37612
[startup+3.10022 s]
/proc/loadavg: 2.03 2.05 2.05 3/181 31320
/proc/meminfo: memFree=31518836/32770624 swapFree=0/346556
[pid=31319] ppid=31316 vsize=50348 CPUtime=3.02 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 9020 0 0 0 301 1 0 0 20 0 1 0 8369729 51556352 6087 18446744073709551615 4194304 7402444 140733381474672 140733381465224 139762026980792 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 12587 6087 732 784 0 5601 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 50348
[startup+6.30023 s]
/proc/loadavg: 1.95 2.03 2.04 3/181 31320
/proc/meminfo: memFree=31492896/32770624 swapFree=0/346568
[pid=31319] ppid=31316 vsize=81252 CPUtime=6.21 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 22643 0 0 0 619 2 0 0 20 0 1 0 8369729 83202048 13871 18446744073709551615 4194304 7402444 140733381474672 140733381465224 6030106 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 20313 13871 732 784 0 13327 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 81252
[startup+12.7002 s]
/proc/loadavg: 1.95 2.03 2.04 3/181 31320
/proc/meminfo: memFree=31450300/32770624 swapFree=0/346568
[pid=31319] ppid=31316 vsize=113864 CPUtime=12.62 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 32683 0 0 0 1259 3 0 0 20 0 1 0 8369729 116596736 21961 18446744073709551615 4194304 7402444 140733381474672 140733381465224 6063483 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 28466 21961 732 784 0 21480 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 113864
[startup+25.5003 s]
/proc/loadavg: 1.96 2.03 2.04 3/181 31321
/proc/meminfo: memFree=31366800/32770624 swapFree=0/346584
[pid=31319] ppid=31316 vsize=195436 CPUtime=25.41 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 69805 0 0 0 2536 5 0 0 20 0 1 0 8369729 200126464 42381 18446744073709551615 4194304 7402444 140733381474672 140733381465224 4340378 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 48859 42381 732 784 0 41873 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 195436
[startup+51.1003 s]
/proc/loadavg: 1.97 2.03 2.04 3/181 31321
/proc/meminfo: memFree=31264000/32770624 swapFree=0/346600
[pid=31319] ppid=31316 vsize=299148 CPUtime=51.01 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 100533 0 0 0 5091 10 0 0 20 0 1 0 8369729 306327552 68296 18446744073709551615 4194304 7402444 140733381474672 140733381465224 139762026896357 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 74787 68296 732 784 0 67801 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 299148
[startup+102.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/185 31338
/proc/meminfo: memFree=31047756/32770624 swapFree=0/346664
[pid=31319] ppid=31316 vsize=508104 CPUtime=102.22 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 235835 0 0 0 10201 21 0 0 20 0 1 0 8369729 520298496 120564 18446744073709551615 4194304 7402444 140733381474672 140733381465224 139762033551936 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 127026 120564 732 784 0 120040 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 508104
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/185 31340
/proc/meminfo: memFree=30979588/32770624 swapFree=0/346692
[pid=31319] ppid=31316 vsize=575276 CPUtime=162.2 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 369006 0 0 0 16191 29 0 0 20 0 1 0 8369729 589082624 137571 18446744073709551615 4194304 7402444 140733381474672 140733381470024 5753559 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 143819 137571 778 784 0 136833 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 575276
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 31342
/proc/meminfo: memFree=30983304/32770624 swapFree=0/346724
[pid=31319] ppid=31316 vsize=575276 CPUtime=222.18 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 372013 0 0 0 22189 29 0 0 20 0 1 0 8369729 589082624 137571 18446744073709551615 4194304 7402444 140733381474672 140733381470024 4238492 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 143819 137571 778 784 0 136833 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 575276
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 31344
/proc/meminfo: memFree=30982900/32770624 swapFree=0/346752
[pid=31319] ppid=31316 vsize=575276 CPUtime=282.15 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 427201 0 0 0 28182 33 0 0 20 0 1 0 8369729 589082624 137573 18446744073709551615 4194304 7402444 140733381474672 140733381470024 5327204 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 143819 137573 780 784 0 136833 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 575276
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 31346
/proc/meminfo: memFree=30983116/32770624 swapFree=0/346780
[pid=31319] ppid=31316 vsize=575276 CPUtime=342.13 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 449932 0 0 0 34179 34 0 0 20 0 1 0 8369729 589082624 137573 18446744073709551615 4194304 7402444 140733381474672 140733381470024 5750450 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 143819 137573 780 784 0 136833 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 575276
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 31348
/proc/meminfo: memFree=30983216/32770624 swapFree=0/346820
[pid=31319] ppid=31316 vsize=575276 CPUtime=402.12 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 458681 0 0 0 40177 35 0 0 20 0 1 0 8369729 589082624 137573 18446744073709551615 4194304 7402444 140733381474672 140733381470024 4238492 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 143819 137573 780 784 0 136833 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 575276
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 31350
/proc/meminfo: memFree=30983272/32770624 swapFree=0/346848
[pid=31319] ppid=31316 vsize=575408 CPUtime=462.11 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 460553 0 0 0 46176 35 0 0 20 0 1 0 8369729 589217792 137616 18446744073709551615 4194304 7402444 140733381474672 140733381469192 4302649 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 143852 137616 780 784 0 136866 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 575408
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 31352
/proc/meminfo: memFree=30983032/32770624 swapFree=0/346876
[pid=31319] ppid=31316 vsize=575540 CPUtime=522.11 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 462353 0 0 0 52176 35 0 0 20 0 1 0 8369729 589352960 137647 18446744073709551615 4194304 7402444 140733381474672 140733381469192 5753347 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 143885 137647 780 784 0 136899 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 575540
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 31354
/proc/meminfo: memFree=30980552/32770624 swapFree=0/346904
[pid=31319] ppid=31316 vsize=577672 CPUtime=582.11 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 464516 0 0 0 58175 36 0 0 20 0 1 0 8369729 591536128 138172 18446744073709551615 4194304 7402444 140733381474672 140733381469304 5327213 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 144418 138172 780 784 0 137432 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 577672
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 31416
/proc/meminfo: memFree=30978028/32770624 swapFree=0/347460
[pid=31319] ppid=31316 vsize=580112 CPUtime=1542.06 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 494044 0 0 0 154165 41 0 0 20 0 1 0 8369729 594034688 138782 18446744073709551615 4194304 7402444 140733381474672 140733381469240 5753494 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 145028 138782 780 784 0 138042 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 580112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31418
/proc/meminfo: memFree=30978276/32770624 swapFree=0/347504
[pid=31319] ppid=31316 vsize=580112 CPUtime=1602.06 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 495751 0 0 0 160164 42 0 0 20 0 1 0 8369729 594034688 138782 18446744073709551615 4194304 7402444 140733381474672 140733381469240 4302628 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 145028 138782 780 784 0 138042 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 580112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31420
/proc/meminfo: memFree=30978460/32770624 swapFree=0/347528
[pid=31319] ppid=31316 vsize=580112 CPUtime=1662.06 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 497333 0 0 0 166164 42 0 0 20 0 1 0 8369729 594034688 138782 18446744073709551615 4194304 7402444 140733381474672 140733381469240 5753556 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 145028 138782 780 784 0 138042 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 580112
[startup+1722.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 31483
/proc/meminfo: memFree=31152340/32770624 swapFree=0/347412
[pid=31319] ppid=31316 vsize=580112 CPUtime=1722.05 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 499189 0 0 0 172163 42 0 0 20 0 1 0 8369729 594034688 138782 18446744073709551615 4194304 7402444 140733381474672 140733381469240 5871517 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 145028 138782 780 784 0 138042 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 580112
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/181 31485
/proc/meminfo: memFree=30832176/32770624 swapFree=0/347620
[pid=31319] ppid=31316 vsize=580112 CPUtime=1782.05 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 500888 0 0 0 178162 43 0 0 20 0 1 0 8369729 594034688 138782 18446744073709551615 4194304 7402444 140733381474672 140733381469240 5753494 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 145028 138782 780 784 0 138042 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 580112
[startup+1842.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/181 31487
/proc/meminfo: memFree=30633684/32770624 swapFree=0/347652
[pid=31319] ppid=31316 vsize=580112 CPUtime=1842.05 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 502414 0 0 0 184162 43 0 0 20 0 1 0 8369729 594034688 138782 18446744073709551615 4194304 7402444 140733381474672 140733381469240 5753456 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 145028 138782 780 784 0 138042 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 580112
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 31504
/proc/meminfo: memFree=30456496/32770624 swapFree=0/347724
[pid=31319] ppid=31316 vsize=588532 CPUtime=1902.04 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 505832 0 0 0 190161 43 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327213 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 588532
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31506
/proc/meminfo: memFree=30350832/32770624 swapFree=0/347744
[pid=31319] ppid=31316 vsize=588532 CPUtime=1962.04 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 507634 0 0 0 196161 43 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327204 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 588532
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31508
/proc/meminfo: memFree=30182512/32770624 swapFree=0/347784
[pid=31319] ppid=31316 vsize=588532 CPUtime=2022.03 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 509361 0 0 0 202160 43 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327204 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 588532
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31510
/proc/meminfo: memFree=29788868/32770624 swapFree=0/347808
[pid=31319] ppid=31316 vsize=588532 CPUtime=2082.04 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 511073 0 0 0 208161 43 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327213 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 588532
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31512
/proc/meminfo: memFree=29786896/32770624 swapFree=0/347840
[pid=31319] ppid=31316 vsize=588532 CPUtime=2142.04 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 512796 0 0 0 214160 44 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327213 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 588532
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31514
/proc/meminfo: memFree=29787840/32770624 swapFree=0/347880
[pid=31319] ppid=31316 vsize=588532 CPUtime=2202.04 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 514510 0 0 0 220160 44 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327204 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 588532
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31515
/proc/meminfo: memFree=29680784/32770624 swapFree=0/347904
[pid=31319] ppid=31316 vsize=588532 CPUtime=2262.03 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 516230 0 0 0 226159 44 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327213 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 588532
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/180 31518
/proc/meminfo: memFree=29681224/32770624 swapFree=0/347932
[pid=31319] ppid=31316 vsize=588532 CPUtime=2322.02 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 517959 0 0 0 232158 44 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5747655 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 588532
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31520
/proc/meminfo: memFree=29680348/32770624 swapFree=0/347960
[pid=31319] ppid=31316 vsize=588532 CPUtime=2382.02 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 519665 0 0 0 238158 44 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327204 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 588532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31521
/proc/meminfo: memFree=29678848/32770624 swapFree=0/347992
[pid=31319] ppid=31316 vsize=588532 CPUtime=2400.02 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 520091 0 0 0 239958 44 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327213 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 588532
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 31319 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31521
/proc/meminfo: memFree=29678848/32770624 swapFree=0/347992
[pid=31319] ppid=31316 vsize=588532 CPUtime=2400.02 cores=1,3,5,7
/proc/31319/stat : 31319 (MistralXCSP) R 31316 31319 20633 0 -1 4202496 520091 0 0 0 239958 44 0 0 20 0 1 0 8369729 602656768 140888 18446744073709551615 4194304 7402444 140733381474672 140733381469688 5327213 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9500608 9505824 40497152 140733381476788 140733381476937 140733381476937 140733381480393 0
/proc/31319/statm: 147133 140888 781 784 0 140147 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 588532
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.04
CPU user time (s): 2399.59
CPU system time (s): 0.452977
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (KiB): 588532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.452977
maximum resident set size= 563576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520126
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= 154
involuntary context switches= 703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92745 second user time and 11.6757 second system time
The end