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-4241633-1502074326/watcher-4241633-1502074326 -o /tmp/evaluation-result-4241633-1502074326/solver-4241633-1502074326 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 368399106 HOME/instance-4241633-1502074326.xml
pid=988
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.15 2.05 2.06 3/180 991
/proc/meminfo: memFree=29572188/32770624 swapFree=0/353488
[pid=991] ppid=988 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/991/stat : 991 (runsolver) D 988 991 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9626284 24240128 106 18446744073709551615 4194304 4338465 140730593672160 140730593669800 140665943261911 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 33538048 140730593673356 140730593673802 140730593673802 140730593677258 0
/proc/991/statm: 5918 106 53 36 0 2156 0
[startup+0.100258 s]
/proc/loadavg: 2.15 2.05 2.06 3/180 991
/proc/meminfo: memFree=29572188/32770624 swapFree=0/353488
[pid=991] ppid=988 vsize=3436 CPUtime=0 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) D 988 991 20633 0 -1 1077936128 155 0 0 0 0 0 0 0 20 0 1 0 9626284 3518464 1 18446744073709551615 4194304 7402444 140720340971232 140720340968520 139780454815431 0 0 1 0 18446744072101613092 0 0 17 1 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 859 1 0 784 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3436
[startup+0.201203 s]
/proc/loadavg: 2.15 2.05 2.06 3/180 991
/proc/meminfo: memFree=29572188/32770624 swapFree=0/353488
[pid=991] ppid=988 vsize=29724 CPUtime=0.1 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1223 0 0 0 10 0 0 0 20 0 1 0 9626284 30437376 1003 18446744073709551615 4194304 7402444 140720340971232 140720340964472 5888689 0 0 1 0 0 0 0 17 7 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 7431 1003 630 784 0 445 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29724
[startup+0.300202 s]
/proc/loadavg: 2.15 2.05 2.06 3/180 991
/proc/meminfo: memFree=29572188/32770624 swapFree=0/353488
[pid=991] ppid=988 vsize=30768 CPUtime=0.2 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1511 0 0 0 20 0 0 0 20 0 1 0 9626284 31506432 1179 18446744073709551615 4194304 7402444 140720340971232 140720340962424 5885928 0 0 1 0 0 0 0 17 7 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 7692 1179 630 784 0 706 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30768
[startup+0.700224 s]
/proc/loadavg: 2.15 2.05 2.06 3/180 991
/proc/meminfo: memFree=29572188/32770624 swapFree=0/353488
[pid=991] ppid=988 vsize=33780 CPUtime=0.59 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 2486 0 0 0 59 0 0 0 20 0 1 0 9626284 34590720 1926 18446744073709551615 4194304 7402444 140720340971232 140720340964472 139780434381797 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 8445 1926 630 784 0 1459 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 33780
[startup+1.50031 s]
/proc/loadavg: 2.15 2.05 2.06 3/181 992
/proc/meminfo: memFree=29525232/32770624 swapFree=0/353608
[pid=991] ppid=988 vsize=278808 CPUtime=1.39 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 64704 0 0 0 132 7 0 0 20 0 1 0 9626284 285499392 63328 18446744073709551615 4194304 7402444 140720340971232 140720340962312 5888596 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 69702 63328 655 784 0 62716 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 278808
[startup+3.10036 s]
/proc/loadavg: 2.14 2.05 2.06 3/181 992
/proc/meminfo: memFree=29318644/32770624 swapFree=0/353404
[pid=991] ppid=988 vsize=588880 CPUtime=2.99 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 141558 0 0 0 283 16 0 0 20 0 1 0 9626284 603013120 140662 18446744073709551615 4194304 7402444 140720340971232 140720340962312 4484555 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140662 656 784 0 140234 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 588880
[startup+6.30036 s]
/proc/loadavg: 2.14 2.05 2.06 3/181 992
/proc/meminfo: memFree=29010280/32770624 swapFree=0/353404
[pid=991] ppid=988 vsize=588880 CPUtime=6.19 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 198258 0 0 0 601 18 0 0 20 0 1 0 9626284 603013120 140696 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5753888 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140696 687 784 0 140234 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 588880
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 992
/proc/meminfo: memFree=29005404/32770624 swapFree=0/353404
[pid=991] ppid=988 vsize=588880 CPUtime=12.59 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 296137 0 0 0 1235 24 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484571 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 588880
[startup+25.5004 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 993
/proc/meminfo: memFree=28996460/32770624 swapFree=0/353432
[pid=991] ppid=988 vsize=588880 CPUtime=25.39 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 421572 0 0 0 2508 31 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 588880
[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 993
/proc/meminfo: memFree=28983060/32770624 swapFree=0/353440
[pid=991] ppid=988 vsize=588880 CPUtime=50.99 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 547743 0 0 0 5062 37 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484551 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 588880
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 995
/proc/meminfo: memFree=28943180/32770624 swapFree=0/353472
[pid=991] ppid=988 vsize=588880 CPUtime=102.19 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 648076 0 0 0 10177 42 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5754048 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 588880
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 1012
/proc/meminfo: memFree=28906076/32770624 swapFree=0/353536
[pid=991] ppid=988 vsize=588880 CPUtime=162.18 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 726279 0 0 0 16171 47 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 588880
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 1014
/proc/meminfo: memFree=28716928/32770624 swapFree=0/353576
[pid=991] ppid=988 vsize=588880 CPUtime=222.18 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 820305 0 0 0 22166 52 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 588880
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 1016
/proc/meminfo: memFree=28478332/32770624 swapFree=0/353604
[pid=991] ppid=988 vsize=588880 CPUtime=282.18 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 903945 0 0 0 28161 57 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5754048 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 588880
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 1018
/proc/meminfo: memFree=28478784/32770624 swapFree=0/353632
[pid=991] ppid=988 vsize=588880 CPUtime=342.18 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 989343 0 0 0 34156 62 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484555 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 588880
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 1020
/proc/meminfo: memFree=28478724/32770624 swapFree=0/353664
[pid=991] ppid=988 vsize=588880 CPUtime=402.17 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1064908 0 0 0 40152 65 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5754000 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 588880
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1022
/proc/meminfo: memFree=28479476/32770624 swapFree=0/353688
[pid=991] ppid=988 vsize=588880 CPUtime=462.16 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1157710 0 0 0 46146 70 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5754018 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 588880
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 1024
/proc/meminfo: memFree=28480368/32770624 swapFree=0/353720
[pid=991] ppid=988 vsize=588880 CPUtime=522.16 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1244329 0 0 0 52142 74 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 588880
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1027
/proc/meminfo: memFree=28480404/32770624 swapFree=0/353748
[pid=991] ppid=988 vsize=588880 CPUtime=582.17 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1326465 0 0 0 58139 78 0 0 20 0 1 0 9626284 603013120 140698 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140698 689 784 0 140234 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 588880
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 1178
/proc/meminfo: memFree=30650348/32770624 swapFree=0/354156
[pid=991] ppid=988 vsize=588880 CPUtime=1542.09 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1873043 0 0 0 154101 108 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484528 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 588880
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 1202
/proc/meminfo: memFree=30650776/32770624 swapFree=0/354200
[pid=991] ppid=988 vsize=588880 CPUtime=1602.08 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1873483 0 0 0 160100 108 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 588880
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1204
/proc/meminfo: memFree=30650744/32770624 swapFree=0/354240
[pid=991] ppid=988 vsize=588880 CPUtime=1662.08 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1873999 0 0 0 166100 108 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5754011 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 588880
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1206
/proc/meminfo: memFree=30651144/32770624 swapFree=0/354268
[pid=991] ppid=988 vsize=588880 CPUtime=1722.08 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1874456 0 0 0 172100 108 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484644 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 588880
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1208
/proc/meminfo: memFree=30650924/32770624 swapFree=0/354300
[pid=991] ppid=988 vsize=588880 CPUtime=1782.07 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1874848 0 0 0 178099 108 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484555 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 588880
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1210
/proc/meminfo: memFree=30651076/32770624 swapFree=0/354328
[pid=991] ppid=988 vsize=588880 CPUtime=1842.07 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1875270 0 0 0 184099 108 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 588880
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1212
/proc/meminfo: memFree=30649172/32770624 swapFree=0/354360
[pid=991] ppid=988 vsize=588880 CPUtime=1902.07 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1875607 0 0 0 190099 108 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5754016 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 588880
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1229
/proc/meminfo: memFree=30646232/32770624 swapFree=0/354420
[pid=991] ppid=988 vsize=588880 CPUtime=1962.06 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1875943 0 0 0 196098 108 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484555 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 588880
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 1231
/proc/meminfo: memFree=30648440/32770624 swapFree=0/354452
[pid=991] ppid=988 vsize=588880 CPUtime=2022.07 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1876539 0 0 0 202098 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 588880
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 1233
/proc/meminfo: memFree=30649508/32770624 swapFree=0/354480
[pid=991] ppid=988 vsize=588880 CPUtime=2082.07 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1876979 0 0 0 208098 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484776 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 588880
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 1235
/proc/meminfo: memFree=30650252/32770624 swapFree=0/354512
[pid=991] ppid=988 vsize=588880 CPUtime=2142.06 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1877486 0 0 0 214097 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 588880
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 1237
/proc/meminfo: memFree=30650668/32770624 swapFree=0/354536
[pid=991] ppid=988 vsize=588880 CPUtime=2202.06 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1877904 0 0 0 220097 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 588880
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 1240
/proc/meminfo: memFree=30650996/32770624 swapFree=0/354572
[pid=991] ppid=988 vsize=588880 CPUtime=2262.05 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1878337 0 0 0 226096 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484558 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 588880
[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 1242
/proc/meminfo: memFree=30651112/32770624 swapFree=0/354596
[pid=991] ppid=988 vsize=588880 CPUtime=2322.05 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1878868 0 0 0 232096 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484602 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 588880
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 1244
/proc/meminfo: memFree=30650800/32770624 swapFree=0/354628
[pid=991] ppid=988 vsize=588880 CPUtime=2382.05 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1879320 0 0 0 238096 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 4484606 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 588880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 1244
/proc/meminfo: memFree=30650932/32770624 swapFree=0/354628
[pid=991] ppid=988 vsize=588880 CPUtime=2400.05 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1879321 0 0 0 239896 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5754032 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 588880
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 991 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 1244
/proc/meminfo: memFree=30650932/32770624 swapFree=0/354628
[pid=991] ppid=988 vsize=588880 CPUtime=2400.05 cores=1,3,5,7
/proc/991/stat : 991 (MistralXCSP) R 988 991 20633 0 -1 4202496 1879321 0 0 0 239896 109 0 0 20 0 1 0 9626284 603013120 140883 18446744073709551615 4194304 7402444 140720340971232 140720340966584 5754032 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 33828864 140720340976052 140720340976201 140720340976201 140720340979657 0
/proc/991/statm: 147220 140883 689 784 0 140234 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 588880
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.07
CPU user time (s): 2398.97
CPU system time (s): 1.09995
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 588880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.97
system time used= 1.09995
maximum resident set size= 563564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1879359
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= 79
involuntary context switches= 663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04595 second user time and 9.91741 second system time
The end