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-4260883-1502396875/watcher-4260883-1502396875 -o /tmp/evaluation-result-4260883-1502396875/solver-4260883-1502396875 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20756 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 606030413 HOME/instance-4260883-1502396875.xml
pid=30943
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.00 2.01 2.05 2/185 30946
/proc/meminfo: memFree=30708336/32770624 swapFree=0/550228
[pid=30946] ppid=30943 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30946/stat : 30946 (runsolver) D 30943 30946 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 87193797 24240128 106 18446744073709551615 4194304 4338465 140723334842784 140723334840424 139684952388311 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 28143616 140723334844555 140723334845001 140723334845001 140723334848458 0
/proc/30946/statm: 5918 106 53 36 0 2156 0
[startup+0.100161 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 30946
/proc/meminfo: memFree=30708336/32770624 swapFree=0/550228
[pid=30946] ppid=30943 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30946/stat : 30946 (runsolver) D 30943 30946 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 87193797 24240128 106 18446744073709551615 4194304 4338465 140723334842784 140723334840424 139684952388311 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 28143616 140723334844555 140723334845001 140723334845001 140723334848458 0
/proc/30946/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200323 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 30946
/proc/meminfo: memFree=30708336/32770624 swapFree=0/550228
[pid=30946] ppid=30943 vsize=29764 CPUtime=0.08 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 1205 0 0 0 8 0 0 0 20 0 1 0 87193797 30478336 957 18446744073709551615 4194304 7396336 140727415045584 140727415042584 140294627404773 0 0 1 0 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 7441 957 612 782 0 457 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29764
[startup+0.300261 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 30946
/proc/meminfo: memFree=30708336/32770624 swapFree=0/550228
[pid=30946] ppid=30943 vsize=30544 CPUtime=0.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 1488 0 0 0 18 0 0 0 20 0 1 0 87193797 31277056 1134 18446744073709551615 4194304 7396336 140727415045584 140727415042584 5955106 0 0 1 0 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 7636 1134 612 782 0 652 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 30544
[startup+0.700296 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 30946
/proc/meminfo: memFree=30708336/32770624 swapFree=0/550228
[pid=30946] ppid=30943 vsize=34564 CPUtime=0.57 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 2401 0 0 0 57 0 0 0 20 0 1 0 87193797 35393536 1990 18446744073709551615 4194304 7396336 140727415045584 140727415042584 140294627843072 0 0 1 0 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 8641 1990 612 782 0 1657 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 34564
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30947
/proc/meminfo: memFree=30698180/32770624 swapFree=0/550388
[pid=30946] ppid=30943 vsize=40936 CPUtime=1.38 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 3531 0 0 0 137 1 0 0 20 0 1 0 87193797 41918464 3411 18446744073709551615 4194304 7396336 140727415045584 140727415038824 140294627843072 0 0 1 0 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 10234 3411 612 782 0 3250 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 40936
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30947
/proc/meminfo: memFree=30689736/32770624 swapFree=0/550224
[pid=30946] ppid=30943 vsize=53944 CPUtime=2.98 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 5732 0 0 0 296 2 0 0 20 0 1 0 87193797 55238656 6630 18446744073709551615 4194304 7396336 140727415045584 140727415038824 140294627404773 0 0 1 0 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 13486 6630 612 782 0 6502 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 53944
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30947
/proc/meminfo: memFree=30665168/32770624 swapFree=0/550216
[pid=30946] ppid=30943 vsize=79828 CPUtime=6.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 9785 0 0 0 615 3 0 0 20 0 1 0 87193797 81743872 12594 18446744073709551615 4194304 7396336 140727415045584 140727415038824 140294627404773 0 0 1 0 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 19957 12594 612 782 0 12973 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 79828
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30947
/proc/meminfo: memFree=30616168/32770624 swapFree=0/550216
[pid=30946] ppid=30943 vsize=131992 CPUtime=12.58 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 17290 0 0 0 1253 5 0 0 20 0 1 0 87193797 135159808 24579 18446744073709551615 4194304 7396336 140727415045584 140727415038824 140294627843072 0 0 1 0 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 32998 24579 612 782 0 26014 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 131992
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30947
/proc/meminfo: memFree=30515128/32770624 swapFree=0/550216
[pid=30946] ppid=30943 vsize=236980 CPUtime=25.37 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 31967 0 0 0 2527 10 0 0 20 0 1 0 87193797 242667520 49323 18446744073709551615 4194304 7396336 140727415045584 140727415038824 140294627404773 0 0 1 0 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 59245 49323 612 782 0 52261 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 236980
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30948
/proc/meminfo: memFree=18644892/32770624 swapFree=0/550212
[pid=30946] ppid=30943 vsize=12066684 CPUtime=50.97 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 1721286 0 0 0 4818 279 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 12066684
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31011
/proc/meminfo: memFree=18923272/32770624 swapFree=0/550244
[pid=30946] ppid=30943 vsize=12066684 CPUtime=102.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 1815853 0 0 0 9935 284 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 4252992 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 12066684
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 31013
/proc/meminfo: memFree=18923248/32770624 swapFree=0/550244
[pid=30946] ppid=30943 vsize=12066684 CPUtime=162.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 1907790 0 0 0 15930 288 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 4253040 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 12066684
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 31016
/proc/meminfo: memFree=18922724/32770624 swapFree=0/550260
[pid=30946] ppid=30943 vsize=12066684 CPUtime=222.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 2030006 0 0 0 21925 294 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 12066684
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31018
/proc/meminfo: memFree=18922608/32770624 swapFree=0/550264
[pid=30946] ppid=30943 vsize=12066684 CPUtime=282.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 2142915 0 0 0 27920 298 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 4252880 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 12066684
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31021
/proc/meminfo: memFree=18922652/32770624 swapFree=0/550288
[pid=30946] ppid=30943 vsize=12066684 CPUtime=342.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 2214338 0 0 0 33917 301 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 12066684
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 31037
/proc/meminfo: memFree=18918520/32770624 swapFree=0/550328
[pid=30946] ppid=30943 vsize=12066684 CPUtime=402.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 2354578 0 0 0 39910 308 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 4253040 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 12066684
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 31039
/proc/meminfo: memFree=18918328/32770624 swapFree=0/550332
[pid=30946] ppid=30943 vsize=12066684 CPUtime=462.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 2499633 0 0 0 45904 314 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 12066684
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31041
/proc/meminfo: memFree=18922044/32770624 swapFree=0/550340
[pid=30946] ppid=30943 vsize=12066684 CPUtime=522.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 2622870 0 0 0 51899 320 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792027 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 12066684
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31043
/proc/meminfo: memFree=18921648/32770624 swapFree=0/550352
[pid=30946] ppid=30943 vsize=12066684 CPUtime=582.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 2751477 0 0 0 57893 325 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 12066684
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.06 3/186 31114
/proc/meminfo: memFree=18920732/32770624 swapFree=0/550572
[pid=30946] ppid=30943 vsize=12066684 CPUtime=1662.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 14381751 0 0 0 165418 800 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 12066684
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 31117
/proc/meminfo: memFree=18921948/32770624 swapFree=0/550580
[pid=30946] ppid=30943 vsize=12066684 CPUtime=1722.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 15106229 0 0 0 171387 832 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 12066684
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 31119
/proc/meminfo: memFree=18921772/32770624 swapFree=0/550592
[pid=30946] ppid=30943 vsize=12066684 CPUtime=1782.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 15808053 0 0 0 177359 859 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 12066684
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 31121
/proc/meminfo: memFree=18921720/32770624 swapFree=0/550608
[pid=30946] ppid=30943 vsize=12066684 CPUtime=1842.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 16519802 0 0 0 183330 889 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792248 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 12066684
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 31123
/proc/meminfo: memFree=18921640/32770624 swapFree=0/550616
[pid=30946] ppid=30943 vsize=12066684 CPUtime=1902.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 17204951 0 0 0 189301 917 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792270 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 12066684
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 31126
/proc/meminfo: memFree=18922836/32770624 swapFree=0/550632
[pid=30946] ppid=30943 vsize=12066684 CPUtime=1962.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 17898222 0 0 0 195270 948 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792027 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 1962.18
Current children cumulated vsize (KiB) 12066684
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 31129
/proc/meminfo: memFree=18921780/32770624 swapFree=0/550632
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2022.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 18351848 0 0 0 201251 967 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2022.18
Current children cumulated vsize (KiB) 12066684
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 31131
/proc/meminfo: memFree=18921724/32770624 swapFree=0/550652
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2082.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 19008164 0 0 0 207227 992 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792016 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 12066684
[startup+2142.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 31133
/proc/meminfo: memFree=18921684/32770624 swapFree=0/550664
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2142.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 19356555 0 0 0 213213 1006 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792074 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2142.19
Current children cumulated vsize (KiB) 12066684
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 31150
/proc/meminfo: memFree=18917856/32770624 swapFree=0/550700
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2202.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 19872222 0 0 0 219195 1024 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792270 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2202.19
Current children cumulated vsize (KiB) 12066684
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 31153
/proc/meminfo: memFree=18917912/32770624 swapFree=0/550708
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2262.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 20495838 0 0 0 225170 1049 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792034 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2262.19
Current children cumulated vsize (KiB) 12066684
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 31155
/proc/meminfo: memFree=18921824/32770624 swapFree=0/550728
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2322.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 21161721 0 0 0 231141 1078 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792027 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2322.19
Current children cumulated vsize (KiB) 12066684
[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 31157
/proc/meminfo: memFree=18921572/32770624 swapFree=0/550728
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2382.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 21628853 0 0 0 237121 1098 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792030 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2382.19
Current children cumulated vsize (KiB) 12066684
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 31160
/proc/meminfo: memFree=18921512/32770624 swapFree=0/550740
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2442.19 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 22214428 0 0 0 243094 1125 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5792248 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2442.19
Current children cumulated vsize (KiB) 12066684
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 31163
/proc/meminfo: memFree=18921116/32770624 swapFree=0/550728
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2502.18 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 22957139 0 0 0 249065 1153 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 5588178 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2502.18
Current children cumulated vsize (KiB) 12066684
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 31163
/proc/meminfo: memFree=18921344/32770624 swapFree=0/550732
[pid=30946] ppid=30943 vsize=12066684 CPUtime=2519.89 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202496 22959200 0 0 0 250835 1154 0 0 20 0 1 0 87193797 12356284416 3010411 18446744073709551615 4194304 7396336 140727415045584 140727415040936 4252880 0 0 1 16386 0 0 0 17 5 0 0 11 0 0 9496464 9501696 22405120 140727415050675 140727415050824 140727415050824 140727415054281 0
/proc/30946/statm: 3016671 3010411 763 782 0 3009687 0
Current children cumulated CPU time (s) 2519.89
Current children cumulated vsize (KiB) 12066684
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 30946 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 31163
/proc/meminfo: memFree=25189428/32770624 swapFree=0/550732
[pid=30946] ppid=30943 vsize=0 CPUtime=2520.09 cores=1,3,5,7
/proc/30946/stat : 30946 (MistralXCSP) R 30943 30946 31388 0 -1 4202500 22959235 0 0 0 250835 1174 0 0 20 0 1 0 87193797 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 16386 18446744073709551615 0 0 17 5 0 0 11 0 0 0 0 0 0 0 0 0 0
/proc/30946/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 2520.23
CPU time (s): 2520.12
CPU user time (s): 2508.35
CPU system time (s): 11.7674
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 12164992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.35
system time used= 11.7674
maximum resident set size= 12129452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22959235
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= 140
involuntary context switches= 735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75379 second user time and 11.1282 second system time
The end