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-4260970-1502345358/watcher-4260970-1502345358 -o /tmp/evaluation-result-4260970-1502345358/solver-4260970-1502345358 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20755 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1562329719 HOME/instance-4260970-1502345358.xml
pid=22297
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.09 2.05 2.05 3/185 22300
/proc/meminfo: memFree=31097276/32770624 swapFree=0/538344
[pid=22300] ppid=22297 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22300/stat : 22300 (runsolver) D 22297 22300 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 82041972 24240128 107 18446744073709551615 4194304 4338465 140728801682688 140728801680328 139664619541207 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 35188736 140728801689738 140728801690185 140728801690185 140728801693642 0
/proc/22300/statm: 5918 107 54 36 0 2156 0
[startup+0.103768 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 22300
/proc/meminfo: memFree=31097276/32770624 swapFree=0/538344
[pid=22300] ppid=22297 vsize=29060 CPUtime=0.01 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 1024 0 0 0 1 0 0 0 20 0 1 0 82041972 29757440 802 18446744073709551615 4194304 7396336 140725178005728 140725177998968 5883392 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 7265 802 606 782 0 281 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29060
[startup+0.200802 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 22300
/proc/meminfo: memFree=31097276/32770624 swapFree=0/538344
[pid=22300] ppid=22297 vsize=29688 CPUtime=0.1 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 1177 0 0 0 10 0 0 0 20 0 1 0 82041972 30400512 959 18446744073709551615 4194304 7396336 140725178005728 140725177998968 5881244 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 7422 959 614 782 0 438 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29688
[startup+0.300783 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 22300
/proc/meminfo: memFree=31097276/32770624 swapFree=0/538344
[pid=22300] ppid=22297 vsize=30336 CPUtime=0.2 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 1391 0 0 0 20 0 0 0 20 0 1 0 82041972 31064064 1071 18446744073709551615 4194304 7396336 140725178005728 140725177998968 6055834 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 7584 1071 614 782 0 600 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30336
[startup+0.700805 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 22300
/proc/meminfo: memFree=31097276/32770624 swapFree=0/538344
[pid=22300] ppid=22297 vsize=30864 CPUtime=0.6 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 1662 0 0 0 60 0 0 0 20 0 1 0 82041972 31604736 1334 18446744073709551615 4194304 7396336 140725178005728 140725177994536 6013097 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 7716 1334 670 782 0 732 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 30864
[startup+1.50031 s]
/proc/loadavg: 2.09 2.05 2.05 2/182 22339
/proc/meminfo: memFree=31111068/32770624 swapFree=0/538344
[pid=22300] ppid=22297 vsize=31700 CPUtime=1.4 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 1871 0 0 0 140 0 0 0 20 0 1 0 82041972 32460800 1532 18446744073709551615 4194304 7396336 140725178005728 140725177994536 140477555938598 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 7925 1532 670 782 0 941 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 31700
[startup+3.10027 s]
/proc/loadavg: 2.09 2.05 2.05 3/186 22365
/proc/meminfo: memFree=31107664/32770624 swapFree=0/538360
[pid=22300] ppid=22297 vsize=33672 CPUtime=3 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 2599 0 0 0 300 0 0 0 20 0 1 0 82041972 34480128 2008 18446744073709551615 4194304 7396336 140725178005728 140725177994536 140477555938596 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 8418 2008 670 782 0 1434 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 33672
[startup+6.30028 s]
/proc/loadavg: 2.09 2.05 2.05 3/186 22426
/proc/meminfo: memFree=31100616/32770624 swapFree=0/538428
[pid=22300] ppid=22297 vsize=36600 CPUtime=6.2 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 3797 0 0 0 620 0 0 0 20 0 1 0 82041972 37478400 2758 18446744073709551615 4194304 7396336 140725178005728 140725177996472 140477550491018 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 9150 2758 670 782 0 2166 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 36600
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.05 3/185 22426
/proc/meminfo: memFree=31086232/32770624 swapFree=0/538428
[pid=22300] ppid=22297 vsize=42900 CPUtime=12.6 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 6185 0 0 0 1260 0 0 0 20 0 1 0 82041972 43929600 4352 18446744073709551615 4194304 7396336 140725178005728 140725177996472 6163881 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 10725 4352 670 782 0 3741 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 42900
[startup+25.5004 s]
/proc/loadavg: 2.06 2.05 2.05 3/185 22426
/proc/meminfo: memFree=31060500/32770624 swapFree=0/538416
[pid=22300] ppid=22297 vsize=54780 CPUtime=25.4 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 17517 0 0 0 2539 1 0 0 20 0 1 0 82041972 56094720 7378 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4406583 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7378 722 782 0 6711 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 54780
[startup+51.1004 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 22426
/proc/meminfo: memFree=31037620/32770624 swapFree=0/538416
[pid=22300] ppid=22297 vsize=54780 CPUtime=51.01 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 21998 0 0 0 5099 2 0 0 20 0 1 0 82041972 56094720 7378 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4257707 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7378 722 782 0 6711 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 54780
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 22429
/proc/meminfo: memFree=31035676/32770624 swapFree=0/538436
[pid=22300] ppid=22297 vsize=54780 CPUtime=102.21 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 22375 0 0 0 10219 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5576714 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 54780
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 22432
/proc/meminfo: memFree=31035336/32770624 swapFree=0/538452
[pid=22300] ppid=22297 vsize=54780 CPUtime=162.2 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 22743 0 0 0 16218 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5649747 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 54780
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 22434
/proc/meminfo: memFree=31035212/32770624 swapFree=0/538476
[pid=22300] ppid=22297 vsize=54780 CPUtime=222.21 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 23111 0 0 0 22219 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4406337 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 54780
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/190 22451
/proc/meminfo: memFree=31031256/32770624 swapFree=0/538520
[pid=22300] ppid=22297 vsize=54780 CPUtime=282.21 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 23479 0 0 0 28219 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5649205 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 54780
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/190 22478
/proc/meminfo: memFree=31029824/32770624 swapFree=0/538540
[pid=22300] ppid=22297 vsize=54780 CPUtime=342.21 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 23847 0 0 0 34219 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5649698 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 54780
[startup+402.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/189 22480
/proc/meminfo: memFree=31030528/32770624 swapFree=0/538572
[pid=22300] ppid=22297 vsize=54780 CPUtime=402.21 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 24215 0 0 0 40219 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5586435 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 54780
[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/186 22482
/proc/meminfo: memFree=31033212/32770624 swapFree=0/538588
[pid=22300] ppid=22297 vsize=54780 CPUtime=462.21 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 24583 0 0 0 46219 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4406370 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 54780
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 22485
/proc/meminfo: memFree=31033856/32770624 swapFree=0/538612
[pid=22300] ppid=22297 vsize=54780 CPUtime=522.21 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 24951 0 0 0 52219 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5586465 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 54780
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 22488
/proc/meminfo: memFree=31034068/32770624 swapFree=0/538628
[pid=22300] ppid=22297 vsize=54780 CPUtime=582.21 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 25319 0 0 0 58219 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5572043 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 54780
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22556
/proc/meminfo: memFree=31033832/32770624 swapFree=0/538884
[pid=22300] ppid=22297 vsize=54780 CPUtime=1602.24 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 31449 0 0 0 160222 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4257799 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 54780
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22558
/proc/meminfo: memFree=31033980/32770624 swapFree=0/538896
[pid=22300] ppid=22297 vsize=54780 CPUtime=1662.24 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 31817 0 0 0 166222 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4406416 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 54780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22560
/proc/meminfo: memFree=31034424/32770624 swapFree=0/538912
[pid=22300] ppid=22297 vsize=54780 CPUtime=1722.24 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 32185 0 0 0 172222 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5586442 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 54780
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 22563
/proc/meminfo: memFree=31033448/32770624 swapFree=0/538912
[pid=22300] ppid=22297 vsize=54780 CPUtime=1782.25 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 32553 0 0 0 178223 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5649744 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 54780
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22566
/proc/meminfo: memFree=31034212/32770624 swapFree=0/538928
[pid=22300] ppid=22297 vsize=54780 CPUtime=1842.25 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 32921 0 0 0 184223 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4379153 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 54780
[startup+1902.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/185 22568
/proc/meminfo: memFree=31033972/32770624 swapFree=0/538940
[pid=22300] ppid=22297 vsize=54780 CPUtime=1902.25 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 33289 0 0 0 190223 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4319868 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 54780
[startup+1962.3 s]
/proc/loadavg: 2.13 2.07 2.06 3/185 22571
/proc/meminfo: memFree=31033852/32770624 swapFree=0/538944
[pid=22300] ppid=22297 vsize=54780 CPUtime=1962.25 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 33657 0 0 0 196223 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5649168 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 54780
[startup+2022.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/185 22573
/proc/meminfo: memFree=31034252/32770624 swapFree=0/538964
[pid=22300] ppid=22297 vsize=54780 CPUtime=2022.25 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 34023 0 0 0 202223 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5586455 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2022.25
Current children cumulated vsize (KiB) 54780
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/189 22590
/proc/meminfo: memFree=31030780/32770624 swapFree=0/538988
[pid=22300] ppid=22297 vsize=54780 CPUtime=2082.26 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 34390 0 0 0 208224 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5586398 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 54780
[startup+2142.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 22592
/proc/meminfo: memFree=31031440/32770624 swapFree=0/539012
[pid=22300] ppid=22297 vsize=54780 CPUtime=2142.25 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 34614 0 0 0 214223 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4581822 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2142.25
Current children cumulated vsize (KiB) 54780
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 22594
/proc/meminfo: memFree=31034756/32770624 swapFree=0/539024
[pid=22300] ppid=22297 vsize=54780 CPUtime=2202.26 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 34983 0 0 0 220224 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4257799 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 54780
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 22596
/proc/meminfo: memFree=31035120/32770624 swapFree=0/539036
[pid=22300] ppid=22297 vsize=54780 CPUtime=2262.26 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 35351 0 0 0 226224 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5586398 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 54780
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 22599
/proc/meminfo: memFree=31034732/32770624 swapFree=0/539048
[pid=22300] ppid=22297 vsize=54780 CPUtime=2322.26 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 35719 0 0 0 232224 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5572043 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 54780
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22601
/proc/meminfo: memFree=31034776/32770624 swapFree=0/539068
[pid=22300] ppid=22297 vsize=54780 CPUtime=2382.26 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 36087 0 0 0 238224 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4542718 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 54780
[startup+2442.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 22603
/proc/meminfo: memFree=31034156/32770624 swapFree=0/539072
[pid=22300] ppid=22297 vsize=54780 CPUtime=2442.26 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 36455 0 0 0 244224 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5586450 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2442.26
Current children cumulated vsize (KiB) 54780
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 22605
/proc/meminfo: memFree=31034496/32770624 swapFree=0/539088
[pid=22300] ppid=22297 vsize=54780 CPUtime=2502.26 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 36823 0 0 0 250224 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 4406322 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2502.26
Current children cumulated vsize (KiB) 54780
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 22606
/proc/meminfo: memFree=31034496/32770624 swapFree=0/539088
[pid=22300] ppid=22297 vsize=54780 CPUtime=2519.96 cores=0,2,4,6
/proc/22300/stat : 22300 (MistralXCSP) R 22297 22300 31388 0 -1 4202496 37191 0 0 0 251994 2 0 0 20 0 1 0 82041972 56094720 7410 18446744073709551615 4194304 7396336 140725178005728 140725178000744 5586307 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 34373632 140725178012082 140725178012232 140725178012232 140725178015689 0
/proc/22300/statm: 13695 7410 722 782 0 6711 0
Current children cumulated CPU time (s) 2519.96
Current children cumulated vsize (KiB) 54780
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 22300 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.98
CPU user time (s): 2519.95
CPU system time (s): 0.028
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 54780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.028
maximum resident set size= 29668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37230
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= 17
involuntary context switches= 659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4779 second user time and 10.0087 second system time
The end