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-4261071-1502375567/watcher-4261071-1502375567 -o /tmp/evaluation-result-4261071-1502375567/solver-4261071-1502375567 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23275 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 158560213 HOME/instance-4261071-1502375567.xml
pid=30627
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.09 2.04 2.05 3/184 30630
/proc/meminfo: memFree=31182744/32770624 swapFree=0/410388
[pid=30630] ppid=30627 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30630/stat : 30630 (runsolver) D 30627 30630 1774 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 85371926 24240128 107 18446744073709551615 4194304 4338465 140723639915552 140723639913192 139809052984023 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 7766016 140723639922827 140723639923273 140723639923273 140723639926730 0
/proc/30630/statm: 5918 107 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 2.09 2.04 2.05 3/184 30630
/proc/meminfo: memFree=31182744/32770624 swapFree=0/410388
[pid=30630] ppid=30627 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30630/stat : 30630 (runsolver) D 30627 30630 1774 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 85371926 24240128 107 18446744073709551615 4194304 4338465 140723639915552 140723639913192 139809052984023 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 7766016 140723639922827 140723639923273 140723639923273 140723639926730 0
/proc/30630/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200323 s]
/proc/loadavg: 2.09 2.04 2.05 3/184 30630
/proc/meminfo: memFree=31182744/32770624 swapFree=0/410388
[pid=30630] ppid=30627 vsize=30572 CPUtime=0.09 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 1511 0 0 0 9 0 0 0 20 0 1 0 85371926 31305728 1352 18446744073709551615 4194304 7396336 140737397755024 140737397752024 140159188149228 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 7643 1352 734 782 0 659 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30572
[startup+0.300262 s]
/proc/loadavg: 2.09 2.04 2.05 3/184 30630
/proc/meminfo: memFree=31182744/32770624 swapFree=0/410388
[pid=30630] ppid=30627 vsize=33096 CPUtime=0.18 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 2192 0 0 0 18 0 0 0 20 0 1 0 85371926 33890304 1990 18446744073709551615 4194304 7396336 140737397755024 140737397752024 6180907 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8274 1990 734 782 0 1290 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 33096
[startup+0.700223 s]
/proc/loadavg: 2.09 2.04 2.05 3/184 30630
/proc/meminfo: memFree=31182744/32770624 swapFree=0/410388
[pid=30630] ppid=30627 vsize=34760 CPUtime=0.58 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 2711 0 0 0 58 0 0 0 20 0 1 0 85371926 35594240 2444 18446744073709551615 4194304 7396336 140737397755024 140737397749320 4246602 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8690 2444 792 782 0 1706 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 34760
[startup+1.50022 s]
/proc/loadavg: 2.09 2.04 2.05 3/185 30631
/proc/meminfo: memFree=31176840/32770624 swapFree=0/410412
[pid=30630] ppid=30627 vsize=34760 CPUtime=1.38 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 2725 0 0 0 138 0 0 0 20 0 1 0 85371926 35594240 2444 18446744073709551615 4194304 7396336 140737397755024 140737397749432 4257799 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8690 2444 792 782 0 1706 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 34760
[startup+3.10022 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 30631
/proc/meminfo: memFree=31176096/32770624 swapFree=0/410412
[pid=30630] ppid=30627 vsize=34892 CPUtime=2.98 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 4015 0 0 0 298 0 0 0 20 0 1 0 85371926 35729408 2505 18446744073709551615 4194304 7396336 140737397755024 140737397749432 5859072 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8723 2505 793 782 0 1739 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 34892
[startup+6.30022 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 30631
/proc/meminfo: memFree=31176028/32770624 swapFree=0/410412
[pid=30630] ppid=30627 vsize=34892 CPUtime=6.18 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 5322 0 0 0 618 0 0 0 20 0 1 0 85371926 35729408 2512 18446744073709551615 4194304 7396336 140737397755024 140737397749272 4257707 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8723 2512 793 782 0 1739 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 34892
[startup+12.7002 s]
/proc/loadavg: 2.15 2.06 2.05 3/185 30631
/proc/meminfo: memFree=31175664/32770624 swapFree=0/410412
[pid=30630] ppid=30627 vsize=35024 CPUtime=12.58 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 6665 0 0 0 1258 0 0 0 20 0 1 0 85371926 35864576 2530 18446744073709551615 4194304 7396336 140737397755024 140737397749272 5863060 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8756 2530 793 782 0 1772 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 35024
[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 30631
/proc/meminfo: memFree=31175296/32770624 swapFree=0/410412
[pid=30630] ppid=30627 vsize=35156 CPUtime=25.38 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 9333 0 0 0 2538 0 0 0 20 0 1 0 85371926 35999744 2558 18446744073709551615 4194304 7396336 140737397755024 140737397749272 5871920 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8789 2558 793 782 0 1805 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 35156
[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 30632
/proc/meminfo: memFree=31175080/32770624 swapFree=0/410408
[pid=30630] ppid=30627 vsize=35156 CPUtime=50.97 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 9840 0 0 0 5097 0 0 0 20 0 1 0 85371926 35999744 2572 18446744073709551615 4194304 7396336 140737397755024 140737397749272 5797755 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8789 2572 793 782 0 1805 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 35156
[startup+102.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/188 30648
/proc/meminfo: memFree=31170256/32770624 swapFree=0/410440
[pid=30630] ppid=30627 vsize=35288 CPUtime=102.18 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 10354 0 0 0 10218 0 0 0 20 0 1 0 85371926 36134912 2606 18446744073709551615 4194304 7396336 140737397755024 140737397749272 4249751 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8822 2606 793 782 0 1838 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 35288
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.04 3/189 30651
/proc/meminfo: memFree=31170412/32770624 swapFree=0/410468
[pid=30630] ppid=30627 vsize=35420 CPUtime=162.17 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 10907 0 0 0 16217 0 0 0 20 0 1 0 85371926 36270080 2633 18446744073709551615 4194304 7396336 140737397755024 140737397749416 5686400 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8855 2633 793 782 0 1871 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 35420
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.04 3/186 30653
/proc/meminfo: memFree=31173508/32770624 swapFree=0/410468
[pid=30630] ppid=30627 vsize=35420 CPUtime=222.18 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 11457 0 0 0 22218 0 0 0 20 0 1 0 85371926 36270080 2650 18446744073709551615 4194304 7396336 140737397755024 140737397749416 5871536 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8855 2650 793 782 0 1871 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 35420
[startup+282.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/186 30655
/proc/meminfo: memFree=31173776/32770624 swapFree=0/410480
[pid=30630] ppid=30627 vsize=35552 CPUtime=282.18 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 11474 0 0 0 28218 0 0 0 20 0 1 0 85371926 36405248 2659 18446744073709551615 4194304 7396336 140737397755024 140737397749032 5797229 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8888 2659 793 782 0 1904 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 35552
[startup+342.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/185 30657
/proc/meminfo: memFree=31173204/32770624 swapFree=0/410488
[pid=30630] ppid=30627 vsize=35552 CPUtime=342.18 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 12047 0 0 0 34218 0 0 0 20 0 1 0 85371926 36405248 2669 18446744073709551615 4194304 7396336 140737397755024 140737397749032 4379138 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8888 2669 793 782 0 1904 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 35552
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 30660
/proc/meminfo: memFree=31173324/32770624 swapFree=0/410508
[pid=30630] ppid=30627 vsize=35552 CPUtime=402.19 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 12057 0 0 0 40219 0 0 0 20 0 1 0 85371926 36405248 2669 18446744073709551615 4194304 7396336 140737397755024 140737397749032 5165805 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8888 2669 793 782 0 1904 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 35552
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 30663
/proc/meminfo: memFree=31173860/32770624 swapFree=0/410520
[pid=30630] ppid=30627 vsize=35684 CPUtime=462.19 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 12638 0 0 0 46219 0 0 0 20 0 1 0 85371926 36540416 2689 18446744073709551615 4194304 7396336 140737397755024 140737397749512 140159187680796 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2689 793 782 0 1937 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 35684
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 30666
/proc/meminfo: memFree=31173960/32770624 swapFree=0/410544
[pid=30630] ppid=30627 vsize=35684 CPUtime=522.2 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 12640 0 0 0 52220 0 0 0 20 0 1 0 85371926 36540416 2689 18446744073709551615 4194304 7396336 140737397755024 140737397749512 5588154 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2689 793 782 0 1937 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 35684
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 30669
/proc/meminfo: memFree=31173596/32770624 swapFree=0/410552
[pid=30630] ppid=30627 vsize=35684 CPUtime=582.2 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 13222 0 0 0 58220 0 0 0 20 0 1 0 85371926 36540416 2696 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4320598 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2696 793 782 0 1937 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 35684
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30736
/proc/meminfo: memFree=31173420/32770624 swapFree=0/410784
[pid=30630] ppid=30627 vsize=35684 CPUtime=1602.31 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 17926 0 0 0 160230 1 0 0 20 0 1 0 85371926 36540416 2702 18446744073709551615 4194304 7396336 140737397755024 140737397749512 5796998 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2702 793 782 0 1937 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 35684
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30739
/proc/meminfo: memFree=31173592/32770624 swapFree=0/410804
[pid=30630] ppid=30627 vsize=35684 CPUtime=1662.31 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 18511 0 0 0 166230 1 0 0 20 0 1 0 85371926 36540416 2702 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4251552 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2702 793 782 0 1937 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 35684
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30741
/proc/meminfo: memFree=31173560/32770624 swapFree=0/410828
[pid=30630] ppid=30627 vsize=35684 CPUtime=1722.32 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 18514 0 0 0 172231 1 0 0 20 0 1 0 85371926 36540416 2702 18446744073709551615 4194304 7396336 140737397755024 140737397749512 140159187680943 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2702 793 782 0 1937 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 35684
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 30744
/proc/meminfo: memFree=31173444/32770624 swapFree=0/410856
[pid=30630] ppid=30627 vsize=35684 CPUtime=1782.32 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 19102 0 0 0 178231 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4249760 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 35684
[startup+1842.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 30746
/proc/meminfo: memFree=31173416/32770624 swapFree=0/410876
[pid=30630] ppid=30627 vsize=35684 CPUtime=1842.33 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 19102 0 0 0 184232 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4582186 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 35684
[startup+1902.3 s]
/proc/loadavg: 2.18 2.07 2.06 3/189 30762
/proc/meminfo: memFree=31169580/32770624 swapFree=0/410916
[pid=30630] ppid=30627 vsize=35684 CPUtime=1902.33 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 19688 0 0 0 190232 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4252448 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 35684
[startup+1962.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/188 30764
/proc/meminfo: memFree=31169472/32770624 swapFree=0/410932
[pid=30630] ppid=30627 vsize=35684 CPUtime=1962.34 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 19689 0 0 0 196233 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4581459 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 1962.34
Current children cumulated vsize (KiB) 35684
[startup+2022.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/186 30767
/proc/meminfo: memFree=31172824/32770624 swapFree=0/410948
[pid=30630] ppid=30627 vsize=35684 CPUtime=2022.34 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 20276 0 0 0 202233 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 5165796 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 35684
[startup+2082.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/185 30769
/proc/meminfo: memFree=31172844/32770624 swapFree=0/410964
[pid=30630] ppid=30627 vsize=35684 CPUtime=2082.35 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 20277 0 0 0 208234 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 5872368 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 35684
[startup+2142.3 s]
/proc/loadavg: 2.13 2.07 2.05 3/185 30771
/proc/meminfo: memFree=31173288/32770624 swapFree=0/410976
[pid=30630] ppid=30627 vsize=35684 CPUtime=2142.36 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 20863 0 0 0 214235 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4581808 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 35684
[startup+2202.31 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 30775
/proc/meminfo: memFree=31172476/32770624 swapFree=0/410984
[pid=30630] ppid=30627 vsize=35684 CPUtime=2202.37 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 20864 0 0 0 220236 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4582327 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 35684
[startup+2262.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/186 30777
/proc/meminfo: memFree=31172296/32770624 swapFree=0/410992
[pid=30630] ppid=30627 vsize=35684 CPUtime=2262.36 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 21450 0 0 0 226235 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 5165805 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 35684
[startup+2322.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/186 30780
/proc/meminfo: memFree=31172284/32770624 swapFree=0/410988
[pid=30630] ppid=30627 vsize=35684 CPUtime=2322.37 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 21451 0 0 0 232236 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 5685744 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 35684
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 30783
/proc/meminfo: memFree=31171364/32770624 swapFree=0/411000
[pid=30630] ppid=30627 vsize=35684 CPUtime=2382.37 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 22037 0 0 0 238236 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 5870049 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 35684
[startup+2442.3 s]
/proc/loadavg: 1.95 2.02 2.04 3/186 30846
/proc/meminfo: memFree=31180132/32770624 swapFree=0/411052
[pid=30630] ppid=30627 vsize=35684 CPUtime=2442.38 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 22038 0 0 0 244237 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4406628 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2442.38
Current children cumulated vsize (KiB) 35684
[startup+2502.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/189 30863
/proc/meminfo: memFree=31175972/32770624 swapFree=0/411072
[pid=30630] ppid=30627 vsize=35684 CPUtime=2502.38 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 22622 0 0 0 250237 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 4542718 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2502.38
Current children cumulated vsize (KiB) 35684
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.99 2.01 2.04 3/189 30863
/proc/meminfo: memFree=31176416/32770624 swapFree=0/411072
[pid=30630] ppid=30627 vsize=35684 CPUtime=2520.09 cores=1,3,5,7
/proc/30630/stat : 30630 (MistralXCSP) R 30627 30630 1774 0 -1 4202496 22624 0 0 0 252008 1 0 0 20 0 1 0 85371926 36540416 2703 18446744073709551615 4194304 7396336 140737397755024 140737397749512 140159187686028 0 0 1 16386 0 0 0 17 5 0 0 10 0 0 9496464 9501696 36823040 140737397756339 140737397756488 140737397756488 140737397759945 0
/proc/30630/statm: 8921 2703 793 782 0 1937 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 35684
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 30630 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2520.1
CPU user time (s): 2520.08
CPU system time (s): 0.017001
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 35684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.08
system time used= 0.017001
maximum resident set size= 10832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22655
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= 10
involuntary context switches= 879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11734 second user time and 8.57909 second system time
The end