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-4261097-1502374751/watcher-4261097-1502374751 -o /tmp/evaluation-result-4261097-1502374751/solver-4261097-1502374751 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1914259825 HOME/instance-4261097-1502374751.xml
pid=545
running on 4 cores: 0,2,4,6
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.03 2.02 2.04 4/181 548
/proc/meminfo: memFree=31704572/32770624 swapFree=0/371412
[pid=548] ppid=545 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (runsolver) D 545 548 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 25815770 24240128 107 18446744073709551615 4194304 4338465 140725865620672 140725865618312 139738777219799 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 25591808 140725865627787 140725865628234 140725865628234 140725865631690 0
/proc/548/statm: 5918 107 54 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 2.03 2.02 2.04 4/181 548
/proc/meminfo: memFree=31704572/32770624 swapFree=0/371412
[pid=548] ppid=545 vsize=29504 CPUtime=0.01 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 1266 0 0 0 1 0 0 0 20 0 1 0 25815770 30212096 1066 18446744073709551615 4194304 7396336 140737368033840 140737368030840 139841079872485 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 7376 1066 714 782 0 392 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29504
[startup+0.200337 s]
/proc/loadavg: 2.03 2.02 2.04 4/181 548
/proc/meminfo: memFree=31704572/32770624 swapFree=0/371412
[pid=548] ppid=545 vsize=31312 CPUtime=0.11 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 1698 0 0 0 11 0 0 0 20 0 1 0 25815770 32063488 1507 18446744073709551615 4194304 7396336 140737368033840 140737368030840 6190455 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 7828 1507 736 782 0 844 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31312
[startup+0.300322 s]
/proc/loadavg: 2.03 2.02 2.04 4/181 548
/proc/meminfo: memFree=31704572/32770624 swapFree=0/371412
[pid=548] ppid=545 vsize=33308 CPUtime=0.21 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 2238 0 0 0 21 0 0 0 20 0 1 0 25815770 34107392 1996 18446744073709551615 4194304 7396336 140737368033840 140737368030840 139841086063846 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 8327 1996 736 782 0 1343 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 33308
[startup+0.700299 s]
/proc/loadavg: 2.03 2.02 2.04 4/181 548
/proc/meminfo: memFree=31704572/32770624 swapFree=0/371412
[pid=548] ppid=545 vsize=42028 CPUtime=0.6 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 4595 0 0 0 60 0 0 0 20 0 1 0 25815770 43036672 4222 18446744073709551615 4194304 7396336 140737368033840 140737368030840 6148655 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 10507 4222 736 782 0 3523 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 42028
[startup+1.50034 s]
/proc/loadavg: 2.03 2.02 2.04 3/182 550
/proc/meminfo: memFree=31685816/32770624 swapFree=0/371412
[pid=548] ppid=545 vsize=53632 CPUtime=1.41 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 7679 0 0 0 140 1 0 0 20 0 1 0 25815770 54919168 7146 18446744073709551615 4194304 7396336 140737368033840 140737368024504 5685075 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 13408 7146 793 782 0 6424 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 53632
[startup+3.10032 s]
/proc/loadavg: 2.03 2.02 2.04 3/182 550
/proc/meminfo: memFree=31678500/32770624 swapFree=0/371412
[pid=548] ppid=545 vsize=53764 CPUtime=3.01 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 12775 0 0 0 300 1 0 0 20 0 1 0 25815770 55054336 7238 18446744073709551615 4194304 7396336 140737368033840 140737368028216 4547566 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 13441 7238 793 782 0 6457 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 53764
[startup+6.3003 s]
/proc/loadavg: 1.94 2.01 2.04 3/182 550
/proc/meminfo: memFree=31678368/32770624 swapFree=0/371404
[pid=548] ppid=545 vsize=53896 CPUtime=6.2 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 17779 0 0 0 619 1 0 0 20 0 1 0 25815770 55189504 7246 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5165834 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 13474 7246 793 782 0 6490 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 53896
[startup+12.7003 s]
/proc/loadavg: 1.95 2.01 2.04 3/181 550
/proc/meminfo: memFree=31678280/32770624 swapFree=0/371396
[pid=548] ppid=545 vsize=54732 CPUtime=12.61 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 23086 0 0 0 1259 2 0 0 20 0 1 0 25815770 56045568 7446 18446744073709551615 4194304 7396336 140737368033840 140737368028088 139841079870092 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 13683 7446 794 782 0 6699 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 54732
[startup+25.5004 s]
/proc/loadavg: 1.96 2.01 2.04 3/181 551
/proc/meminfo: memFree=31677572/32770624 swapFree=0/371392
[pid=548] ppid=545 vsize=55392 CPUtime=25.4 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 33807 0 0 0 2538 2 0 0 20 0 1 0 25815770 56721408 7626 18446744073709551615 4194304 7396336 140737368033840 140737368028232 5685170 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 13848 7626 794 782 0 6864 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 55392
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.04 3/181 551
/proc/meminfo: memFree=31676788/32770624 swapFree=0/371392
[pid=548] ppid=545 vsize=55524 CPUtime=51.01 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 39254 0 0 0 5098 3 0 0 20 0 1 0 25815770 56856576 7657 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5865355 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 13881 7657 794 782 0 6897 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 55524
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/181 554
/proc/meminfo: memFree=31676092/32770624 swapFree=0/371408
[pid=548] ppid=545 vsize=55656 CPUtime=102.2 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 39943 0 0 0 10217 3 0 0 20 0 1 0 25815770 56991744 7677 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5861589 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 13914 7677 794 782 0 6930 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 55656
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/181 556
/proc/meminfo: memFree=31675472/32770624 swapFree=0/371420
[pid=548] ppid=545 vsize=55788 CPUtime=162.2 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 40642 0 0 0 16217 3 0 0 20 0 1 0 25815770 57126912 7720 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5668864 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 13947 7720 794 782 0 6963 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 55788
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 558
/proc/meminfo: memFree=31675352/32770624 swapFree=0/371440
[pid=548] ppid=545 vsize=56052 CPUtime=222.2 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 41475 0 0 0 22217 3 0 0 20 0 1 0 25815770 57397248 7787 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5798509 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14013 7787 794 782 0 7029 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 56052
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 560
/proc/meminfo: memFree=31674856/32770624 swapFree=0/371460
[pid=548] ppid=545 vsize=56184 CPUtime=282.19 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 42250 0 0 0 28216 3 0 0 20 0 1 0 25815770 57532416 7810 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4320862 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14046 7810 794 782 0 7062 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 56184
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 580
/proc/meminfo: memFree=31672156/32770624 swapFree=0/371480
[pid=548] ppid=545 vsize=56184 CPUtime=342.19 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 43051 0 0 0 34216 3 0 0 20 0 1 0 25815770 57532416 7821 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5586259 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14046 7821 794 782 0 7062 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 56184
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 582
/proc/meminfo: memFree=31671540/32770624 swapFree=0/371484
[pid=548] ppid=545 vsize=56184 CPUtime=402.18 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 43861 0 0 0 40215 3 0 0 20 0 1 0 25815770 57532416 7829 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4320839 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14046 7829 794 782 0 7062 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 56184
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 585
/proc/meminfo: memFree=31674812/32770624 swapFree=0/371488
[pid=548] ppid=545 vsize=56316 CPUtime=462.18 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 44687 0 0 0 46215 3 0 0 20 0 1 0 25815770 57667584 7837 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5686344 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14079 7837 794 782 0 7095 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 56316
[startup+522.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/181 588
/proc/meminfo: memFree=31674564/32770624 swapFree=0/371520
[pid=548] ppid=545 vsize=56316 CPUtime=522.18 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 45504 0 0 0 52215 3 0 0 20 0 1 0 25815770 57667584 7855 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5685174 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14079 7855 794 782 0 7095 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 56316
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 592
/proc/meminfo: memFree=31674928/32770624 swapFree=0/371516
[pid=548] ppid=545 vsize=56316 CPUtime=582.18 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 46322 0 0 0 58215 3 0 0 20 0 1 0 25815770 57667584 7867 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5575964 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14079 7867 794 782 0 7095 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 56316
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 696
/proc/meminfo: memFree=31670392/32770624 swapFree=0/371892
[pid=548] ppid=545 vsize=56580 CPUtime=1602.14 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 57861 0 0 0 160210 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 139841083307683 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 56580
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 698
/proc/meminfo: memFree=31674408/32770624 swapFree=0/371904
[pid=548] ppid=545 vsize=56580 CPUtime=1662.14 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 58267 0 0 0 166210 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4257799 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 56580
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 700
/proc/meminfo: memFree=31674160/32770624 swapFree=0/371928
[pid=548] ppid=545 vsize=56580 CPUtime=1722.13 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 58671 0 0 0 172209 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4319864 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 56580
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 702
/proc/meminfo: memFree=31674468/32770624 swapFree=0/371948
[pid=548] ppid=545 vsize=56580 CPUtime=1782.13 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 59069 0 0 0 178209 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4581684 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 56580
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 704
/proc/meminfo: memFree=31674076/32770624 swapFree=0/371944
[pid=548] ppid=545 vsize=56580 CPUtime=1842.13 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 59479 0 0 0 184209 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4257728 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 56580
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 706
/proc/meminfo: memFree=31674216/32770624 swapFree=0/371952
[pid=548] ppid=545 vsize=56580 CPUtime=1902.13 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 59922 0 0 0 190209 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4257837 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 56580
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 708
/proc/meminfo: memFree=31674464/32770624 swapFree=0/371972
[pid=548] ppid=545 vsize=56580 CPUtime=1962.12 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 60319 0 0 0 196208 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 56580
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 710
/proc/meminfo: memFree=31674340/32770624 swapFree=0/371984
[pid=548] ppid=545 vsize=56580 CPUtime=2022.12 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 60719 0 0 0 202208 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5797186 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 56580
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 712
/proc/meminfo: memFree=31674720/32770624 swapFree=0/371996
[pid=548] ppid=545 vsize=56580 CPUtime=2082.12 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 61114 0 0 0 208208 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5798512 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 56580
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/184 730
/proc/meminfo: memFree=31671176/32770624 swapFree=0/372036
[pid=548] ppid=545 vsize=56580 CPUtime=2142.12 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 61549 0 0 0 214208 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4249767 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 56580
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 732
/proc/meminfo: memFree=31670812/32770624 swapFree=0/372060
[pid=548] ppid=545 vsize=56580 CPUtime=2202.12 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 61986 0 0 0 220208 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5575964 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 56580
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 734
/proc/meminfo: memFree=31674216/32770624 swapFree=0/372072
[pid=548] ppid=545 vsize=56580 CPUtime=2262.11 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 62393 0 0 0 226207 4 0 0 20 0 1 0 25815770 57937920 7934 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5686425 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7934 794 782 0 7161 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 56580
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 736
/proc/meminfo: memFree=31674084/32770624 swapFree=0/372096
[pid=548] ppid=545 vsize=56580 CPUtime=2322.11 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 62817 0 0 0 232207 4 0 0 20 0 1 0 25815770 57937920 7935 18446744073709551615 4194304 7396336 140737368033840 140737368028088 139841086063728 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7935 794 782 0 7161 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 56580
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 738
/proc/meminfo: memFree=31673588/32770624 swapFree=0/372108
[pid=548] ppid=545 vsize=56580 CPUtime=2382.11 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 63225 0 0 0 238207 4 0 0 20 0 1 0 25815770 57937920 7935 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5861619 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7935 794 782 0 7161 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 56580
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 740
/proc/meminfo: memFree=31673688/32770624 swapFree=0/372120
[pid=548] ppid=545 vsize=56580 CPUtime=2442.1 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 63621 0 0 0 244206 4 0 0 20 0 1 0 25815770 57937920 7936 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5586259 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7936 794 782 0 7161 0
Current children cumulated CPU time (s) 2442.1
Current children cumulated vsize (KiB) 56580
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 1178
/proc/meminfo: memFree=31676300/32770624 swapFree=0/372272
[pid=548] ppid=545 vsize=56580 CPUtime=2502.1 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 64091 0 0 0 250206 4 0 0 20 0 1 0 25815770 57937920 7936 18446744073709551615 4194304 7396336 140737368033840 140737368028088 5586281 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14145 7936 794 782 0 7161 0
Current children cumulated CPU time (s) 2502.1
Current children cumulated vsize (KiB) 56580
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 1178
/proc/meminfo: memFree=31676476/32770624 swapFree=0/372276
[pid=548] ppid=545 vsize=56712 CPUtime=2519.8 cores=0,2,4,6
/proc/548/stat : 548 (MistralXCSP) R 545 548 6971 0 -1 4202496 64300 0 0 0 251976 4 0 0 20 0 1 0 25815770 58073088 7948 18446744073709551615 4194304 7396336 140737368033840 140737368028088 4257811 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 35123200 140737368039859 140737368040009 140737368040009 140737368043465 0
/proc/548/statm: 14178 7948 794 782 0 7194 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 56712
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 548 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.81
CPU user time (s): 2519.76
CPU system time (s): 0.046998
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 56712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.046998
maximum resident set size= 31812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64331
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= 18
involuntary context switches= 3154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10656 second user time and 9.0204 second system time
The end