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-4242700-1502068284/watcher-4242700-1502068284 -o /tmp/evaluation-result-4242700-1502068284/solver-4242700-1502068284 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28342 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 808646932 HOME/instance-4242700-1502068284.xml
pid=32156
running on 4 cores: 0,2,4,6
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.00 2.01 2.05 4/181 32159
/proc/meminfo: memFree=31675436/32770624 swapFree=0/350360
[pid=32159] ppid=32156 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32159/stat : 32159 (runsolver) D 32156 32159 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9022111 24240128 108 18446744073709551615 4194304 4338465 140734349107472 140734349105112 139996113593047 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11296768 140734349111436 140734349111882 140734349111882 140734349115338 0
/proc/32159/statm: 5918 108 54 36 0 2156 0
[startup+0.1002 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 32159
/proc/meminfo: memFree=31675436/32770624 swapFree=0/350360
[pid=32159] ppid=32156 vsize=29068 CPUtime=0.01 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 1037 0 0 0 1 0 0 0 20 0 1 0 9022111 29765632 868 18446744073709551615 4194304 7402444 140733060394848 140733060391896 140265079845504 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 7267 868 620 784 0 281 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29068
[startup+0.200328 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 32159
/proc/meminfo: memFree=31675436/32770624 swapFree=0/350360
[pid=32159] ppid=32156 vsize=29488 CPUtime=0.11 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 1125 0 0 0 11 0 0 0 20 0 1 0 9022111 30195712 934 18446744073709551615 4194304 7402444 140733060394848 140733060391896 140265073058416 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 7372 934 631 784 0 386 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29488
[startup+0.300315 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 32159
/proc/meminfo: memFree=31675436/32770624 swapFree=0/350360
[pid=32159] ppid=32156 vsize=29812 CPUtime=0.21 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 1239 0 0 0 21 0 0 0 20 0 1 0 9022111 30527488 1010 18446744073709551615 4194304 7402444 140733060394848 140733060391896 140265073499136 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 7453 1010 631 784 0 467 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29812
[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 32159
/proc/meminfo: memFree=31675436/32770624 swapFree=0/350360
[pid=32159] ppid=32156 vsize=32228 CPUtime=0.6 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 1977 0 0 0 60 0 0 0 20 0 1 0 9022111 33001472 1735 18446744073709551615 4194304 7402444 140733060394848 140733060385320 140265073151842 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 8057 1735 732 784 0 1071 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 32228
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32160
/proc/meminfo: memFree=31668292/32770624 swapFree=0/350288
[pid=32159] ppid=32156 vsize=38288 CPUtime=1.41 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 3481 0 0 0 140 1 0 0 20 0 1 0 9022111 39206912 3250 18446744073709551615 4194304 7402444 140733060394848 140733060385320 6057902 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 9572 3250 732 784 0 2586 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 38288
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32160
/proc/meminfo: memFree=31657008/32770624 swapFree=0/350288
[pid=32159] ppid=32156 vsize=49992 CPUtime=3 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 9119 0 0 0 299 1 0 0 20 0 1 0 9022111 51191808 6212 18446744073709551615 4194304 7402444 140733060394848 140733060385400 6048034 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 12498 6212 732 784 0 5512 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 49992
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32160
/proc/meminfo: memFree=31636668/32770624 swapFree=0/350624
[pid=32159] ppid=32156 vsize=78972 CPUtime=6.21 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 22242 0 0 0 618 3 0 0 20 0 1 0 9022111 80867328 13438 18446744073709551615 4194304 7402444 140733060394848 140733060385400 6057032 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 19743 13438 732 784 0 12757 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 78972
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32160
/proc/meminfo: memFree=31593856/32770624 swapFree=0/350632
[pid=32159] ppid=32156 vsize=112216 CPUtime=12.6 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 32096 0 0 0 1256 4 0 0 20 0 1 0 9022111 114909184 21732 18446744073709551615 4194304 7402444 140733060394848 140733060385400 6057047 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 28054 21732 732 784 0 21068 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 112216
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32160
/proc/meminfo: memFree=31512780/32770624 swapFree=0/350652
[pid=32159] ppid=32156 vsize=190068 CPUtime=25.4 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 67436 0 0 0 2533 7 0 0 20 0 1 0 9022111 194629632 41152 18446744073709551615 4194304 7402444 140733060394848 140733060385400 6069470 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 47517 41152 732 784 0 40531 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 190068
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32162
/proc/meminfo: memFree=31428576/32770624 swapFree=0/350664
[pid=32159] ppid=32156 vsize=272916 CPUtime=50.99 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 138116 0 0 0 5086 13 0 0 20 0 1 0 9022111 279465984 61981 18446744073709551615 4194304 7402444 140733060394848 140733060389944 4238508 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 68229 61981 777 784 0 61243 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 272916
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32163
/proc/meminfo: memFree=31427628/32770624 swapFree=0/350700
[pid=32159] ppid=32156 vsize=273776 CPUtime=102.18 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 158204 0 0 0 10204 14 0 0 20 0 1 0 9022111 280346624 62219 18446744073709551615 4194304 7402444 140733060394848 140733060389368 5765795 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 68444 62219 780 784 0 61458 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 273776
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 32179
/proc/meminfo: memFree=31423364/32770624 swapFree=0/350724
[pid=32159] ppid=32156 vsize=274040 CPUtime=162.16 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 161019 0 0 0 16201 15 0 0 20 0 1 0 9022111 280616960 62262 18446744073709551615 4194304 7402444 140733060394848 140733060389368 5871603 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 68510 62262 780 784 0 61524 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 274040
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 32206
/proc/meminfo: memFree=31418308/32770624 swapFree=0/350792
[pid=32159] ppid=32156 vsize=277416 CPUtime=222.16 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 162907 0 0 0 22201 15 0 0 20 0 1 0 9022111 284073984 63074 18446744073709551615 4194304 7402444 140733060394848 140733060389400 5327204 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63074 780 784 0 62368 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 277416
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 32208
/proc/meminfo: memFree=31419952/32770624 swapFree=0/350868
[pid=32159] ppid=32156 vsize=277416 CPUtime=282.15 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 164149 0 0 0 28200 15 0 0 20 0 1 0 9022111 284073984 63109 18446744073709551615 4194304 7402444 140733060394848 140733060389400 4238492 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63109 780 784 0 62368 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 277416
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32210
/proc/meminfo: memFree=31423480/32770624 swapFree=0/350904
[pid=32159] ppid=32156 vsize=277416 CPUtime=342.15 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 165714 0 0 0 34200 15 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4747176 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 277416
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32212
/proc/meminfo: memFree=31423372/32770624 swapFree=0/350936
[pid=32159] ppid=32156 vsize=277416 CPUtime=402.15 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 167020 0 0 0 40199 16 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5327204 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 277416
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 32214
/proc/meminfo: memFree=31423372/32770624 swapFree=0/350972
[pid=32159] ppid=32156 vsize=277416 CPUtime=462.15 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 167842 0 0 0 46199 16 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4747298 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 277416
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 32216
/proc/meminfo: memFree=31423992/32770624 swapFree=0/351000
[pid=32159] ppid=32156 vsize=277416 CPUtime=522.15 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 168663 0 0 0 52199 16 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4709505 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 277416
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32218
/proc/meminfo: memFree=31424116/32770624 swapFree=0/351028
[pid=32159] ppid=32156 vsize=277416 CPUtime=582.15 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 169482 0 0 0 58199 16 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5327213 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 277416
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32338
/proc/meminfo: memFree=31153240/32770624 swapFree=0/351660
[pid=32159] ppid=32156 vsize=277416 CPUtime=1542.12 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 182597 0 0 0 154195 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4238492 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 277416
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32340
/proc/meminfo: memFree=31153172/32770624 swapFree=0/351672
[pid=32159] ppid=32156 vsize=277416 CPUtime=1602.11 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 183324 0 0 0 160194 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5747655 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 277416
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32343
/proc/meminfo: memFree=31152872/32770624 swapFree=0/351724
[pid=32159] ppid=32156 vsize=277416 CPUtime=1662.1 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 184243 0 0 0 166193 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4747723 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 277416
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 32345
/proc/meminfo: memFree=31153104/32770624 swapFree=0/351740
[pid=32159] ppid=32156 vsize=277416 CPUtime=1722.1 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 185063 0 0 0 172193 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5327204 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 277416
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 32347
/proc/meminfo: memFree=31152872/32770624 swapFree=0/351792
[pid=32159] ppid=32156 vsize=277416 CPUtime=1782.1 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 185882 0 0 0 178193 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5327204 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 277416
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32349
/proc/meminfo: memFree=31152980/32770624 swapFree=0/351804
[pid=32159] ppid=32156 vsize=277416 CPUtime=1842.1 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 186706 0 0 0 184193 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5753458 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 277416
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32352
/proc/meminfo: memFree=31152872/32770624 swapFree=0/351856
[pid=32159] ppid=32156 vsize=277416 CPUtime=1902.09 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 187527 0 0 0 190192 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5327171 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 277416
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32354
/proc/meminfo: memFree=31153104/32770624 swapFree=0/351888
[pid=32159] ppid=32156 vsize=277416 CPUtime=1962.09 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 188345 0 0 0 196192 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4537282 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 277416
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32369
/proc/meminfo: memFree=31149256/32770624 swapFree=0/351956
[pid=32159] ppid=32156 vsize=277416 CPUtime=2022.09 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 189164 0 0 0 202192 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5747648 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 277416
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32371
/proc/meminfo: memFree=31152484/32770624 swapFree=0/351968
[pid=32159] ppid=32156 vsize=277416 CPUtime=2082.09 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 189982 0 0 0 208192 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5327204 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2082.09
Current children cumulated vsize (KiB) 277416
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32373
/proc/meminfo: memFree=31152748/32770624 swapFree=0/352016
[pid=32159] ppid=32156 vsize=277416 CPUtime=2142.08 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 190798 0 0 0 214191 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4238492 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2142.08
Current children cumulated vsize (KiB) 277416
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32375
/proc/meminfo: memFree=31152856/32770624 swapFree=0/352044
[pid=32159] ppid=32156 vsize=277416 CPUtime=2202.08 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 191605 0 0 0 220191 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4302336 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 277416
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32377
/proc/meminfo: memFree=31153228/32770624 swapFree=0/352080
[pid=32159] ppid=32156 vsize=277416 CPUtime=2262.08 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 192416 0 0 0 226191 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5818604 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 277416
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32379
/proc/meminfo: memFree=31153212/32770624 swapFree=0/352116
[pid=32159] ppid=32156 vsize=277416 CPUtime=2322.07 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 193242 0 0 0 232190 17 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 4248770 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 277416
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32381
/proc/meminfo: memFree=31153212/32770624 swapFree=0/352140
[pid=32159] ppid=32156 vsize=277416 CPUtime=2382.08 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 194063 0 0 0 238190 18 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5747655 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 277416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32382
/proc/meminfo: memFree=31153120/32770624 swapFree=0/352144
[pid=32159] ppid=32156 vsize=277416 CPUtime=2400.08 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 194877 0 0 0 239990 18 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5327204 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 277416
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 32159 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32382
/proc/meminfo: memFree=31153120/32770624 swapFree=0/352144
[pid=32159] ppid=32156 vsize=277416 CPUtime=2400.08 cores=0,2,4,6
/proc/32159/stat : 32159 (MistralXCSP) R 32156 32159 20633 0 -1 4202496 194877 0 0 0 239990 18 0 0 20 0 1 0 9022111 284073984 63110 18446744073709551615 4194304 7402444 140733060394848 140733060389864 5327204 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15441920 140733060399540 140733060399689 140733060399689 140733060403145 0
/proc/32159/statm: 69354 63110 781 784 0 62368 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 277416
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2399.91
CPU system time (s): 0.181993
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 277416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.181993
maximum resident set size= 260340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194916
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= 73
involuntary context switches= 638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39595 second user time and 9.8272 second system time
The end