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-4261561-1502349043/watcher-4261561-1502349043 -o /tmp/evaluation-result-4261561-1502349043/solver-4261561-1502349043 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 103784277 HOME/instance-4261561-1502349043.xml
pid=23594
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.01 2.01 2.05 3/181 23597
/proc/meminfo: memFree=31221924/32770624 swapFree=0/472836
[pid=23597] ppid=23594 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/23597/stat : 23597 (runsolver) D 23594 23597 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 37125134 24240128 106 18446744073709551615 4194304 4338465 140730595723408 140730595721048 139703863472855 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 33103872 140730595729548 140730595729994 140730595729994 140730595733450 0
/proc/23597/statm: 5918 106 53 36 0 2156 0
[startup+0.100849 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 23597
/proc/meminfo: memFree=31221924/32770624 swapFree=0/472836
[pid=23597] ppid=23594 vsize=29280 CPUtime=0.03 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 1064 0 0 0 3 0 0 0 20 0 1 0 37125134 29982720 868 18446744073709551615 4194304 7396336 140735557412320 140735557405560 5935304 0 0 1 0 0 0 0 17 6 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 7320 868 614 782 0 336 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29280
[startup+0.200849 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 23597
/proc/meminfo: memFree=31221924/32770624 swapFree=0/472836
[pid=23597] ppid=23594 vsize=29664 CPUtime=0.13 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 1272 0 0 0 13 0 0 0 20 0 1 0 37125134 30375936 1068 18446744073709551615 4194304 7396336 140735557412320 140735557402088 6140355 0 0 1 0 0 0 0 17 6 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 7416 1068 716 782 0 432 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 29664
[startup+0.300847 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 23597
/proc/meminfo: memFree=31221924/32770624 swapFree=0/472836
[pid=23597] ppid=23594 vsize=29916 CPUtime=0.23 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 1344 0 0 0 23 0 0 0 20 0 1 0 37125134 30633984 1165 18446744073709551615 4194304 7396336 140735557412320 140735557403016 5929807 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 7479 1165 717 782 0 495 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 29916
[startup+0.700278 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 23597
/proc/meminfo: memFree=31221924/32770624 swapFree=0/472836
[pid=23597] ppid=23594 vsize=31296 CPUtime=0.63 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 1696 0 0 0 63 0 0 0 20 0 1 0 37125134 32047104 1511 18446744073709551615 4194304 7396336 140735557412320 140735557402856 140430253633215 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 7824 1511 717 782 0 840 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 31296
[startup+1.50028 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 23598
/proc/meminfo: memFree=31217524/32770624 swapFree=0/472820
[pid=23597] ppid=23594 vsize=34288 CPUtime=1.43 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 2511 0 0 0 143 0 0 0 20 0 1 0 37125134 35110912 2251 18446744073709551615 4194304 7396336 140735557412320 140735557403112 6018544 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 8572 2251 717 782 0 1588 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 34288
[startup+3.10028 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 23598
/proc/meminfo: memFree=31212812/32770624 swapFree=0/472820
[pid=23597] ppid=23594 vsize=38988 CPUtime=3.03 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 3965 0 0 0 303 0 0 0 20 0 1 0 37125134 39923712 3425 18446744073709551615 4194304 7396336 140735557412320 140735557403112 4566053 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 9747 3425 718 782 0 2763 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 38988
[startup+6.30028 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 23598
/proc/meminfo: memFree=31201136/32770624 swapFree=0/472816
[pid=23597] ppid=23594 vsize=50940 CPUtime=6.22 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 9396 0 0 0 622 0 0 0 20 0 1 0 37125134 52162560 6415 18446744073709551615 4194304 7396336 140735557412320 140735557402728 140430253725076 0 0 1 0 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 12735 6415 725 782 0 5751 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 50940
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 23598
/proc/meminfo: memFree=31174324/32770624 swapFree=0/472812
[pid=23597] ppid=23594 vsize=74676 CPUtime=12.63 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 26693 0 0 0 1261 2 0 0 20 0 1 0 37125134 76468224 12386 18446744073709551615 4194304 7396336 140735557412320 140735557406744 5586302 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12386 760 782 0 11685 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 74676
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 23598
/proc/meminfo: memFree=31174448/32770624 swapFree=0/472808
[pid=23597] ppid=23594 vsize=74676 CPUtime=25.43 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 44759 0 0 0 2540 3 0 0 20 0 1 0 37125134 76468224 12431 18446744073709551615 4194304 7396336 140735557412320 140735557406744 5798033 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12431 761 782 0 11685 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 74676
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 23599
/proc/meminfo: memFree=31174476/32770624 swapFree=0/472800
[pid=23597] ppid=23594 vsize=74676 CPUtime=51.03 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 53808 0 0 0 5100 3 0 0 20 0 1 0 37125134 76468224 12431 18446744073709551615 4194304 7396336 140735557412320 140735557406744 5649755 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12431 761 782 0 11685 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 74676
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 23602
/proc/meminfo: memFree=31174308/32770624 swapFree=0/472816
[pid=23597] ppid=23594 vsize=74676 CPUtime=102.25 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 62895 0 0 0 10221 4 0 0 20 0 1 0 37125134 76468224 12431 18446744073709551615 4194304 7396336 140735557412320 140735557406744 4379213 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12431 761 782 0 11685 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 74676
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 23604
/proc/meminfo: memFree=31173384/32770624 swapFree=0/472824
[pid=23597] ppid=23594 vsize=74676 CPUtime=162.23 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 71952 0 0 0 16219 4 0 0 20 0 1 0 37125134 76468224 12431 18446744073709551615 4194304 7396336 140735557412320 140735557406744 4581738 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12431 761 782 0 11685 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 74676
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 23621
/proc/meminfo: memFree=31170228/32770624 swapFree=0/472864
[pid=23597] ppid=23594 vsize=74676 CPUtime=222.25 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 72846 0 0 0 22220 5 0 0 20 0 1 0 37125134 76468224 12431 18446744073709551615 4194304 7396336 140735557412320 140735557406744 5668626 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12431 761 782 0 11685 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 74676
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 23648
/proc/meminfo: memFree=31168576/32770624 swapFree=0/472904
[pid=23597] ppid=23594 vsize=74676 CPUtime=282.25 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 72846 0 0 0 28220 5 0 0 20 0 1 0 37125134 76468224 12431 18446744073709551615 4194304 7396336 140735557412320 140735557406744 5859051 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12431 761 782 0 11685 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 74676
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 23650
/proc/meminfo: memFree=31168700/32770624 swapFree=0/472924
[pid=23597] ppid=23594 vsize=74676 CPUtime=342.26 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 73590 0 0 0 34221 5 0 0 20 0 1 0 37125134 76468224 12433 18446744073709551615 4194304 7396336 140735557412320 140735557406744 5588145 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12433 761 782 0 11685 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 74676
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 23652
/proc/meminfo: memFree=31172300/32770624 swapFree=0/472944
[pid=23597] ppid=23594 vsize=74676 CPUtime=402.26 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 73744 0 0 0 40221 5 0 0 20 0 1 0 37125134 76468224 12433 18446744073709551615 4194304 7396336 140735557412320 140735557406744 5861536 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12433 761 782 0 11685 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 74676
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 23654
/proc/meminfo: memFree=31172480/32770624 swapFree=0/472952
[pid=23597] ppid=23594 vsize=74676 CPUtime=462.27 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 74642 0 0 0 46222 5 0 0 20 0 1 0 37125134 76468224 12435 18446744073709551615 4194304 7396336 140735557412320 140735557406744 5859051 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18669 12435 761 782 0 11685 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 74676
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 23656
/proc/meminfo: memFree=31172124/32770624 swapFree=0/472964
[pid=23597] ppid=23594 vsize=74808 CPUtime=522.28 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 74666 0 0 0 52223 5 0 0 20 0 1 0 37125134 76603392 12435 18446744073709551615 4194304 7396336 140735557412320 140735557406584 5834240 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18702 12435 761 782 0 11718 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 74808
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 23719
/proc/meminfo: memFree=31243404/32770624 swapFree=0/476840
[pid=23597] ppid=23594 vsize=74808 CPUtime=582.28 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 75589 0 0 0 58223 5 0 0 20 0 1 0 37125134 76603392 12459 18446744073709551615 4194304 7396336 140735557412320 140735557406584 5869888 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18702 12459 761 782 0 11718 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 74808
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 24035
/proc/meminfo: memFree=31296220/32770624 swapFree=0/477164
[pid=23597] ppid=23594 vsize=74940 CPUtime=1662.38 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 83959 0 0 0 166233 5 0 0 20 0 1 0 37125134 76738560 12488 18446744073709551615 4194304 7396336 140735557412320 140735557406568 4581738 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18735 12488 761 782 0 11751 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 74940
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24038
/proc/meminfo: memFree=31296132/32770624 swapFree=0/477192
[pid=23597] ppid=23594 vsize=74940 CPUtime=1722.38 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 83962 0 0 0 172233 5 0 0 20 0 1 0 37125134 76738560 12488 18446744073709551615 4194304 7396336 140735557412320 140735557406568 4252913 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18735 12488 761 782 0 11751 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 74940
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24040
/proc/meminfo: memFree=31296284/32770624 swapFree=0/477220
[pid=23597] ppid=23594 vsize=74940 CPUtime=1782.39 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 84780 0 0 0 178234 5 0 0 20 0 1 0 37125134 76738560 12492 18446744073709551615 4194304 7396336 140735557412320 140735557406568 4379209 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18735 12492 761 782 0 11751 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 74940
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24042
/proc/meminfo: memFree=31296600/32770624 swapFree=0/477252
[pid=23597] ppid=23594 vsize=74940 CPUtime=1842.4 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 84919 0 0 0 184235 5 0 0 20 0 1 0 37125134 76738560 12492 18446744073709551615 4194304 7396336 140735557412320 140735557406568 4249751 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18735 12492 761 782 0 11751 0
Current children cumulated CPU time (s) 1842.4
Current children cumulated vsize (KiB) 74940
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24045
/proc/meminfo: memFree=31296104/32770624 swapFree=0/477288
[pid=23597] ppid=23594 vsize=74940 CPUtime=1902.4 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 85876 0 0 0 190235 5 0 0 20 0 1 0 37125134 76738560 12494 18446744073709551615 4194304 7396336 140735557412320 140735557406568 5649755 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18735 12494 761 782 0 11751 0
Current children cumulated CPU time (s) 1902.4
Current children cumulated vsize (KiB) 74940
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 24047
/proc/meminfo: memFree=31296352/32770624 swapFree=0/477312
[pid=23597] ppid=23594 vsize=74940 CPUtime=1962.41 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 85876 0 0 0 196236 5 0 0 20 0 1 0 37125134 76738560 12494 18446744073709551615 4194304 7396336 140735557412320 140735557406568 4249696 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18735 12494 761 782 0 11751 0
Current children cumulated CPU time (s) 1962.41
Current children cumulated vsize (KiB) 74940
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 24064
/proc/meminfo: memFree=31291284/32770624 swapFree=0/477348
[pid=23597] ppid=23594 vsize=74940 CPUtime=2022.41 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 86835 0 0 0 202236 5 0 0 20 0 1 0 37125134 76738560 12496 18446744073709551615 4194304 7396336 140735557412320 140735557406568 4581743 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18735 12496 761 782 0 11751 0
Current children cumulated CPU time (s) 2022.41
Current children cumulated vsize (KiB) 74940
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 24066
/proc/meminfo: memFree=31291660/32770624 swapFree=0/477360
[pid=23597] ppid=23594 vsize=75072 CPUtime=2082.42 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 86850 0 0 0 208237 5 0 0 20 0 1 0 37125134 76873728 12496 18446744073709551615 4194304 7396336 140735557412320 140735557406568 5834608 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12496 761 782 0 11784 0
Current children cumulated CPU time (s) 2082.42
Current children cumulated vsize (KiB) 75072
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 24068
/proc/meminfo: memFree=31295260/32770624 swapFree=0/477364
[pid=23597] ppid=23594 vsize=75072 CPUtime=2142.42 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 87661 0 0 0 214237 5 0 0 20 0 1 0 37125134 76873728 12511 18446744073709551615 4194304 7396336 140735557412320 140735557406568 5872400 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12511 761 782 0 11784 0
Current children cumulated CPU time (s) 2142.42
Current children cumulated vsize (KiB) 75072
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 24070
/proc/meminfo: memFree=31296068/32770624 swapFree=0/477368
[pid=23597] ppid=23594 vsize=75072 CPUtime=2202.43 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 87831 0 0 0 220238 5 0 0 20 0 1 0 37125134 76873728 12512 18446744073709551615 4194304 7396336 140735557412320 140735557406568 140430253649841 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12512 761 782 0 11784 0
Current children cumulated CPU time (s) 2202.43
Current children cumulated vsize (KiB) 75072
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 24072
/proc/meminfo: memFree=31296068/32770624 swapFree=0/477372
[pid=23597] ppid=23594 vsize=75072 CPUtime=2262.43 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 88820 0 0 0 226238 5 0 0 20 0 1 0 37125134 76873728 12521 18446744073709551615 4194304 7396336 140735557412320 140735557406568 5859051 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12521 761 782 0 11784 0
Current children cumulated CPU time (s) 2262.43
Current children cumulated vsize (KiB) 75072
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24074
/proc/meminfo: memFree=31296160/32770624 swapFree=0/477388
[pid=23597] ppid=23594 vsize=75072 CPUtime=2322.44 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 88825 0 0 0 232239 5 0 0 20 0 1 0 37125134 76873728 12521 18446744073709551615 4194304 7396336 140735557412320 140735557406568 5575964 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12521 761 782 0 11784 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 75072
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 24076
/proc/meminfo: memFree=31296228/32770624 swapFree=0/477388
[pid=23597] ppid=23594 vsize=75072 CPUtime=2382.44 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 89659 0 0 0 238239 5 0 0 20 0 1 0 37125134 76873728 12528 18446744073709551615 4194304 7396336 140735557412320 140735557406568 4406356 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12528 761 782 0 11784 0
Current children cumulated CPU time (s) 2382.44
Current children cumulated vsize (KiB) 75072
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24078
/proc/meminfo: memFree=31296112/32770624 swapFree=0/477392
[pid=23597] ppid=23594 vsize=75072 CPUtime=2442.45 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 89818 0 0 0 244240 5 0 0 20 0 1 0 37125134 76873728 12530 18446744073709551615 4194304 7396336 140735557412320 140735557406568 140430257075941 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12530 761 782 0 11784 0
Current children cumulated CPU time (s) 2442.45
Current children cumulated vsize (KiB) 75072
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24080
/proc/meminfo: memFree=31296268/32770624 swapFree=0/477412
[pid=23597] ppid=23594 vsize=75072 CPUtime=2502.45 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 90811 0 0 0 250240 5 0 0 20 0 1 0 37125134 76873728 12530 18446744073709551615 4194304 7396336 140735557412320 140735557406568 5870105 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12530 761 782 0 11784 0
Current children cumulated CPU time (s) 2502.45
Current children cumulated vsize (KiB) 75072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24080
/proc/meminfo: memFree=31296392/32770624 swapFree=0/477420
[pid=23597] ppid=23594 vsize=75072 CPUtime=2520.06 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 90811 0 0 0 252001 5 0 0 20 0 1 0 37125134 76873728 12530 18446744073709551615 4194304 7396336 140735557412320 140735557406568 140430253639662 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12530 761 782 0 11784 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 75072
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 23597 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24080
/proc/meminfo: memFree=31296392/32770624 swapFree=0/477420
[pid=23597] ppid=23594 vsize=75072 CPUtime=2520.06 cores=0,2,4,6
/proc/23597/stat : 23597 (MistralXCSP) R 23594 23597 4057 0 -1 4202496 90811 0 0 0 252001 5 0 0 20 0 1 0 37125134 76873728 12530 18446744073709551615 4194304 7396336 140735557412320 140735557406568 140430253639662 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 20516864 140735557415348 140735557415497 140735557415497 140735557418953 0
/proc/23597/statm: 18768 12530 761 782 0 11784 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 75072
Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.01
CPU system time (s): 0.060005
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 75072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.060005
maximum resident set size= 50348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90840
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= 23
involuntary context switches= 785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22999 second user time and 9.10177 second system time
The end