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-4243187-1500665095/watcher-4243187-1500665095 -o /tmp/evaluation-result-4243187-1500665095/solver-4243187-1500665095 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9858 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 225848264 HOME/instance-4243187-1500665095.xml
pid=12071
running on 8 cores: 0,2,4,6,8,10,12,14
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: 1.85 1.98 2.03 3/242 12074
/proc/meminfo: memFree=31413952/32770624 swapFree=5960/194476
[pid=12074] ppid=12071 vsize=29080 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 1013 0 0 0 0 0 0 0 20 0 1 0 1774337 29777920 834 33554432000 4194304 7402444 140731027830432 140731027822344 139851913001957 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 7270 834 593 784 0 284 0
[startup+0.100134 s]
/proc/loadavg: 1.85 1.98 2.03 3/242 12074
/proc/meminfo: memFree=31413952/32770624 swapFree=5960/194476
[pid=12074] ppid=12071 vsize=42664 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 4703 0 0 0 8 0 0 0 20 0 1 0 1774337 43687936 4200 33554432000 4194304 7402444 140731027830432 140731027821736 139851913001957 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 10666 4200 619 784 0 3680 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42664
[startup+0.200329 s]
/proc/loadavg: 1.85 1.98 2.03 3/242 12074
/proc/meminfo: memFree=31413952/32770624 swapFree=5960/194476
[pid=12074] ppid=12071 vsize=45492 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 5553 0 0 0 18 1 0 0 20 0 1 0 1774337 46583808 5024 33554432000 4194304 7402444 140731027830432 140731027820208 6011318 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 11373 5024 681 784 0 4387 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45492
[startup+0.300217 s]
/proc/loadavg: 1.85 1.98 2.03 3/242 12074
/proc/meminfo: memFree=31413952/32770624 swapFree=5960/194476
[pid=12074] ppid=12071 vsize=45492 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 5574 0 0 0 28 1 0 0 20 0 1 0 1774337 46583808 5024 33554432000 4194304 7402444 140731027830432 140731027820208 139851919489185 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 11373 5024 681 784 0 4387 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45492
[startup+0.700171 s]
/proc/loadavg: 1.85 1.98 2.03 3/242 12074
/proc/meminfo: memFree=31413952/32770624 swapFree=5960/194476
[pid=12074] ppid=12071 vsize=45932 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 5673 0 0 0 68 1 0 0 20 0 1 0 1774337 47034368 5156 33554432000 4194304 7402444 140731027830432 140731027821160 6048718 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 11483 5156 720 784 0 4497 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45932
[startup+1.50021 s]
/proc/loadavg: 1.86 1.98 2.03 3/243 12075
/proc/meminfo: memFree=31395456/32770624 swapFree=5960/194476
[pid=12074] ppid=12071 vsize=46912 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 5914 0 0 0 148 1 0 0 20 0 1 0 1774337 48037888 5420 33554432000 4194304 7402444 140731027830432 140731027821176 6048016 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 11728 5420 726 784 0 4742 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46912
[startup+3.10021 s]
/proc/loadavg: 1.86 1.98 2.03 3/243 12075
/proc/meminfo: memFree=31393140/32770624 swapFree=5960/194532
[pid=12074] ppid=12071 vsize=49192 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 8673 0 0 0 307 1 0 0 20 0 1 0 1774337 50372608 5991 33554432000 4194304 7402444 140731027830432 140731027821176 4340195 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 12298 5991 731 784 0 5312 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49192
[startup+6.30021 s]
/proc/loadavg: 1.87 1.98 2.03 3/243 12075
/proc/meminfo: memFree=31387024/32770624 swapFree=5960/194532
[pid=12074] ppid=12071 vsize=54928 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 12007 0 0 0 627 2 0 0 20 0 1 0 1774337 56246272 7426 33554432000 4194304 7402444 140731027830432 140731027821176 6048065 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 13732 7426 731 784 0 6746 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54928
[startup+12.7002 s]
/proc/loadavg: 1.88 1.98 2.03 3/243 12076
/proc/meminfo: memFree=31367872/32770624 swapFree=5960/194852
[pid=12074] ppid=12071 vsize=71780 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 22092 0 0 0 1266 2 0 0 20 0 1 0 1774337 73502720 11655 33554432000 4194304 7402444 140731027830432 140731027820984 6047864 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 17945 11655 731 784 0 10959 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71780
[startup+25.5004 s]
/proc/loadavg: 1.91 1.98 2.03 3/243 12076
/proc/meminfo: memFree=31348144/32770624 swapFree=5960/194872
[pid=12074] ppid=12071 vsize=92092 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 44726 0 0 0 2545 4 0 0 20 0 1 0 1774337 94302208 16743 33554432000 4194304 7402444 140731027830432 140731027824648 4248858 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23023 16743 771 784 0 16037 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92092
[startup+51.1004 s]
/proc/loadavg: 1.94 1.99 2.03 3/243 12076
/proc/meminfo: memFree=31348220/32770624 swapFree=5960/194872
[pid=12074] ppid=12071 vsize=92224 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 52862 0 0 0 5104 4 0 0 20 0 1 0 1774337 94437376 16779 33554432000 4194304 7402444 140731027830432 140731027824648 4342247 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23056 16779 771 784 0 16070 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92224
[startup+102.3 s]
/proc/loadavg: 1.90 1.97 2.03 4/243 12143
/proc/meminfo: memFree=31887440/32770624 swapFree=5960/194592
[pid=12074] ppid=12071 vsize=92224 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 60983 0 0 0 10222 4 0 0 20 0 1 0 1774337 94437376 16803 33554432000 4194304 7402444 140731027830432 140731027824648 4747176 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23056 16803 771 784 0 16070 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 92224
[startup+162.3 s]
/proc/loadavg: 2.03 1.99 2.03 3/243 12144
/proc/meminfo: memFree=31882944/32770624 swapFree=5960/195028
[pid=12074] ppid=12071 vsize=92224 CPUtime=162.23 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 62674 0 0 0 16219 4 0 0 20 0 1 0 1774337 94437376 16825 33554432000 4194304 7402444 140731027830432 140731027824648 5324450 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23056 16825 771 784 0 16070 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 92224
[startup+222.308 s]
/proc/loadavg: 2.01 1.99 2.03 3/243 12146
/proc/meminfo: memFree=31882524/32770624 swapFree=5960/195040
[pid=12074] ppid=12071 vsize=92224 CPUtime=222.22 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 62914 0 0 0 22218 4 0 0 20 0 1 0 1774337 94437376 16831 33554432000 4194304 7402444 140731027830432 140731027824648 4237828 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23056 16831 771 784 0 16070 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 92224
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 4/242 12147
/proc/meminfo: memFree=31883268/32770624 swapFree=5960/195076
[pid=12074] ppid=12071 vsize=92224 CPUtime=282.2 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 63156 0 0 0 28216 4 0 0 20 0 1 0 1774337 94437376 16833 33554432000 4194304 7402444 140731027830432 140731027824648 4747176 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23056 16833 771 784 0 16070 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 92224
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 12156
/proc/meminfo: memFree=31882152/32770624 swapFree=5960/195156
[pid=12074] ppid=12071 vsize=92356 CPUtime=342.18 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 63401 0 0 0 34214 4 0 0 20 0 1 0 1774337 94572544 16834 33554432000 4194304 7402444 140731027830432 140731027824888 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16834 771 784 0 16103 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 92356
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 4/243 12157
/proc/meminfo: memFree=31882308/32770624 swapFree=5960/195192
[pid=12074] ppid=12071 vsize=92356 CPUtime=402.17 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 63645 0 0 0 40213 4 0 0 20 0 1 0 1774337 94572544 16836 33554432000 4194304 7402444 140731027830432 140731027824888 4248640 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16836 771 784 0 16103 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 92356
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 12158
/proc/meminfo: memFree=31882020/32770624 swapFree=5960/195268
[pid=12074] ppid=12071 vsize=92356 CPUtime=462.14 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 63889 0 0 0 46210 4 0 0 20 0 1 0 1774337 94572544 16837 33554432000 4194304 7402444 140731027830432 140731027824888 4747042 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16837 771 784 0 16103 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 92356
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 12159
/proc/meminfo: memFree=31882256/32770624 swapFree=5960/195340
[pid=12074] ppid=12071 vsize=92356 CPUtime=522.13 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 64135 0 0 0 52209 4 0 0 20 0 1 0 1774337 94572544 16838 33554432000 4194304 7402444 140731027830432 140731027824888 4262881 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16838 771 784 0 16103 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 92356
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 12160
/proc/meminfo: memFree=31882176/32770624 swapFree=5960/195396
[pid=12074] ppid=12071 vsize=92356 CPUtime=582.11 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 64382 0 0 0 58207 4 0 0 20 0 1 0 1774337 94572544 16839 33554432000 4194304 7402444 140731027830432 140731027824888 5758679 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16839 771 784 0 16103 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 92356
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12191
/proc/meminfo: memFree=31878924/32770624 swapFree=5960/196032
[pid=12074] ppid=12071 vsize=92356 CPUtime=1541.89 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 68391 0 0 0 154184 5 0 0 20 0 1 0 1774337 94572544 16845 33554432000 4194304 7402444 140731027830432 140731027824888 5747655 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16845 771 784 0 16103 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 92356
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 12192
/proc/meminfo: memFree=31879296/32770624 swapFree=5960/196068
[pid=12074] ppid=12071 vsize=92356 CPUtime=1601.86 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 68646 0 0 0 160181 5 0 0 20 0 1 0 1774337 94572544 16846 33554432000 4194304 7402444 140731027830432 140731027824888 4389783 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16846 771 784 0 16103 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 92356
[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/243 12193
/proc/meminfo: memFree=31878728/32770624 swapFree=5960/196096
[pid=12074] ppid=12071 vsize=92356 CPUtime=1661.84 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 68901 0 0 0 166179 5 0 0 20 0 1 0 1774337 94572544 16848 33554432000 4194304 7402444 140731027830432 140731027824888 5750720 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16848 771 784 0 16103 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 92356
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.05 4/243 12194
/proc/meminfo: memFree=31879832/32770624 swapFree=5960/196136
[pid=12074] ppid=12071 vsize=92356 CPUtime=1721.83 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 69151 0 0 0 172178 5 0 0 20 0 1 0 1774337 94572544 16848 33554432000 4194304 7402444 140731027830432 140731027824888 5324390 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16848 771 784 0 16103 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 92356
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 12195
/proc/meminfo: memFree=31879688/32770624 swapFree=5960/196164
[pid=12074] ppid=12071 vsize=92356 CPUtime=1781.81 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 69411 0 0 0 178176 5 0 0 20 0 1 0 1774337 94572544 16848 33554432000 4194304 7402444 140731027830432 140731027824888 5872781 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16848 771 784 0 16103 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 92356
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 12197
/proc/meminfo: memFree=31879492/32770624 swapFree=5960/196216
[pid=12074] ppid=12071 vsize=92356 CPUtime=1841.8 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 69666 0 0 0 184175 5 0 0 20 0 1 0 1774337 94572544 16848 33554432000 4194304 7402444 140731027830432 140731027824888 5695885 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16848 771 784 0 16103 0
Current children cumulated CPU time (s) 1841.8
Current children cumulated vsize (KiB) 92356
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 12198
/proc/meminfo: memFree=31880004/32770624 swapFree=5960/196252
[pid=12074] ppid=12071 vsize=92356 CPUtime=1901.79 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 69921 0 0 0 190174 5 0 0 20 0 1 0 1774337 94572544 16848 33554432000 4194304 7402444 140731027830432 140731027824888 5878241 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16848 771 784 0 16103 0
Current children cumulated CPU time (s) 1901.79
Current children cumulated vsize (KiB) 92356
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12199
/proc/meminfo: memFree=31880692/32770624 swapFree=5960/196284
[pid=12074] ppid=12071 vsize=92356 CPUtime=1961.77 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 70175 0 0 0 196172 5 0 0 20 0 1 0 1774337 94572544 16848 33554432000 4194304 7402444 140731027830432 140731027824888 5750519 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16848 771 784 0 16103 0
Current children cumulated CPU time (s) 1961.77
Current children cumulated vsize (KiB) 92356
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12201
/proc/meminfo: memFree=31879772/32770624 swapFree=5960/196324
[pid=12074] ppid=12071 vsize=92356 CPUtime=2021.76 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 70429 0 0 0 202171 5 0 0 20 0 1 0 1774337 94572544 16848 33554432000 4194304 7402444 140731027830432 140731027824888 4299816 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16848 771 784 0 16103 0
Current children cumulated CPU time (s) 2021.76
Current children cumulated vsize (KiB) 92356
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/243 12202
/proc/meminfo: memFree=31880012/32770624 swapFree=5960/196360
[pid=12074] ppid=12071 vsize=92356 CPUtime=2081.75 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 70684 0 0 0 208170 5 0 0 20 0 1 0 1774337 94572544 16848 33554432000 4194304 7402444 140731027830432 140731027824888 4299976 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23089 16848 771 784 0 16103 0
Current children cumulated CPU time (s) 2081.75
Current children cumulated vsize (KiB) 92356
[startup+2142.3 s]
/proc/loadavg: 2.19 2.06 2.06 3/243 12210
/proc/meminfo: memFree=31878976/32770624 swapFree=5960/196408
[pid=12074] ppid=12071 vsize=92488 CPUtime=2141.73 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 71037 0 0 0 214168 5 0 0 20 0 1 0 1774337 94707712 16896 33554432000 4194304 7402444 140731027830432 140731027824712 139851916437221 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23122 16896 771 784 0 16136 0
Current children cumulated CPU time (s) 2141.73
Current children cumulated vsize (KiB) 92488
[startup+2202.31 s]
/proc/loadavg: 2.07 2.05 2.05 3/243 12233
/proc/meminfo: memFree=31878568/32770624 swapFree=5960/196448
[pid=12074] ppid=12071 vsize=92488 CPUtime=2201.72 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 71340 0 0 0 220167 5 0 0 20 0 1 0 1774337 94707712 16896 33554432000 4194304 7402444 140731027830432 140731027824712 4747216 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23122 16896 771 784 0 16136 0
Current children cumulated CPU time (s) 2201.72
Current children cumulated vsize (KiB) 92488
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 12234
/proc/meminfo: memFree=31878088/32770624 swapFree=5960/196484
[pid=12074] ppid=12071 vsize=92488 CPUtime=2261.7 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 71643 0 0 0 226165 5 0 0 20 0 1 0 1774337 94707712 16896 33554432000 4194304 7402444 140731027830432 140731027824712 4300424 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23122 16896 771 784 0 16136 0
Current children cumulated CPU time (s) 2261.7
Current children cumulated vsize (KiB) 92488
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 12235
/proc/meminfo: memFree=31878572/32770624 swapFree=5960/196516
[pid=12074] ppid=12071 vsize=92488 CPUtime=2321.68 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 71947 0 0 0 232163 5 0 0 20 0 1 0 1774337 94707712 16896 33554432000 4194304 7402444 140731027830432 140731027824712 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23122 16896 771 784 0 16136 0
Current children cumulated CPU time (s) 2321.68
Current children cumulated vsize (KiB) 92488
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/243 12236
/proc/meminfo: memFree=31878396/32770624 swapFree=5960/196552
[pid=12074] ppid=12071 vsize=92488 CPUtime=2381.67 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 72251 0 0 0 238162 5 0 0 20 0 1 0 1774337 94707712 16897 33554432000 4194304 7402444 140731027830432 140731027824712 4708070 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23122 16897 771 784 0 16136 0
Current children cumulated CPU time (s) 2381.67
Current children cumulated vsize (KiB) 92488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 12236
/proc/meminfo: memFree=31878916/32770624 swapFree=5960/196576
[pid=12074] ppid=12071 vsize=92488 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 72550 0 0 0 240001 5 0 0 20 0 1 0 1774337 94707712 16897 33554432000 4194304 7402444 140731027830432 140731027824712 4237728 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23122 16897 771 784 0 16136 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 92488
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 12074 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 12236
/proc/meminfo: memFree=31878916/32770624 swapFree=5960/196576
[pid=12074] ppid=12071 vsize=92488 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/12074/stat : 12074 (MistralXCSP) R 12071 12074 9826 0 -1 4202496 72550 0 0 0 240001 5 0 0 20 0 1 0 1774337 94707712 16897 33554432000 4194304 7402444 140731027830432 140731027824712 4237728 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 42782720 140731027838121 140731027838270 140731027838270 140731027840969 0
/proc/12074/statm: 23122 16897 771 784 0 16136 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 92488
Child status: 0
Real time (s): 2400.7
CPU time (s): 2400.07
CPU user time (s): 2400.02
CPU system time (s): 0.053986
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 92488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.053986
maximum resident set size= 67612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72586
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= 28
involuntary context switches= 120675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19216 second user time and 11.8705 second system time
The end