runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5925 MiB free)
memory of node 1: 16384 MiB (10391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289297-1532190513/watcher-4289297-1532190513 -o /tmp/evaluation-result-4289297-1532190513/solver-4289297-1532190513 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532190502-25105 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1340614577 HOME/instance-4289297-1532190513.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25200, runsolver pid=25197
[startup+0.100112 s]*
/proc/loadavg: 0.33 0.09 0.07 3/188 25201
/proc/meminfo: memFree=16694356/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=44536 memory=19060 CPUtime=0.1 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 5265 0 0 0 10 0 0 0 20 0 1 0 36614468 45604864 4765 33554432000 4194304 7498468 140732552980304 140732552970576 4564583 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 11134 4765 733 807 0 4125 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44536 KiB
Current children cumulated memory: 19060 KiB
[startup+0.209769 s]*
/proc/loadavg: 0.33 0.09 0.07 3/188 25201
/proc/meminfo: memFree=16685828/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=51096 memory=25608 CPUtime=0.21 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 6966 0 0 0 21 0 0 0 20 0 1 0 36614468 52322304 6402 33554432000 4194304 7498468 140732552980304 140732552970576 4564583 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 12774 6402 733 807 0 5765 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51096 KiB
Current children cumulated memory: 25608 KiB
[startup+0.309554 s]*
/proc/loadavg: 0.33 0.09 0.07 3/188 25201
/proc/meminfo: memFree=16681736/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=55244 memory=29832 CPUtime=0.31 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 7991 0 0 0 31 0 0 0 20 0 1 0 36614468 56569856 7458 33554432000 4194304 7498468 140732552980304 140732552970576 4564583 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 13811 7458 733 807 0 6802 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55244 KiB
Current children cumulated memory: 29832 KiB
[startup+0.700253 s]
/proc/loadavg: 0.33 0.09 0.07 3/188 25201
/proc/meminfo: memFree=16668304/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=131204 memory=106048 CPUtime=0.69 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 26866 0 0 0 67 2 0 0 20 0 1 0 36614468 134352896 26446 33554432000 4194304 7498468 140732552980304 140732552970576 140679669249952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 32801 26512 751 807 0 25792 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131204 KiB
Current children cumulated memory: 106048 KiB
[startup+1.5003 s]
/proc/loadavg: 0.33 0.09 0.07 3/188 25201
/proc/meminfo: memFree=16518176/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=269064 memory=243760 CPUtime=1.49 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 61212 0 0 0 142 7 0 0 20 0 1 0 36614468 275521536 60940 33554432000 4194304 7498468 140732552980304 140732552970312 4564424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 67266 60940 768 807 0 60257 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 269064 KiB
Current children cumulated memory: 243760 KiB
[startup+3.10945 s]
/proc/loadavg: 0.33 0.09 0.07 3/188 25201
/proc/meminfo: memFree=16414380/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=321504 memory=296488 CPUtime=3.1 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 95961 0 0 0 300 10 0 0 20 0 1 0 36614468 329220096 74122 33554432000 4194304 7498468 140732552980304 140732552974840 4245328 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80376 74122 807 807 0 73367 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 321504 KiB
Current children cumulated memory: 296488 KiB
[startup+6.30025 s]
/proc/loadavg: 0.47 0.12 0.08 3/188 25201
/proc/meminfo: memFree=16414444/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=321504 memory=296488 CPUtime=6.29 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 110024 0 0 0 618 11 0 0 20 0 1 0 36614468 329220096 74122 33554432000 4194304 7498468 140732552980304 140732552974840 5164386 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80376 74122 807 807 0 73367 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 321504 KiB
Current children cumulated memory: 296488 KiB
[startup+12.7003 s]
/proc/loadavg: 0.59 0.15 0.09 3/188 25201
/proc/meminfo: memFree=16414716/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=321504 memory=296488 CPUtime=12.69 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 129446 0 0 0 1257 12 0 0 20 0 1 0 36614468 329220096 74122 33554432000 4194304 7498468 140732552980304 140732552974840 5164349 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80376 74122 807 807 0 73367 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 321504 KiB
Current children cumulated memory: 296488 KiB
[startup+25.5003 s]
/proc/loadavg: 0.90 0.24 0.12 3/188 25201
/proc/meminfo: memFree=16415052/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=321504 memory=296488 CPUtime=25.49 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 146435 0 0 0 2536 13 0 0 20 0 1 0 36614468 329220096 74122 33554432000 4194304 7498468 140732552980304 140732552974840 5164307 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80376 74122 807 807 0 73367 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 321504 KiB
Current children cumulated memory: 296488 KiB
[startup+51.1094 s]
/proc/loadavg: 1.28 0.39 0.17 3/188 25201
/proc/meminfo: memFree=16413692/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297228 CPUtime=51.09 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 174701 0 0 0 5094 15 0 0 20 0 1 0 36614468 329969664 74307 33554432000 4194304 7498468 140732552980304 140732552974936 5164307 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74307 807 807 0 73550 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297228 KiB
[startup+102.3 s]
/proc/loadavg: 1.69 0.63 0.26 3/188 25210
/proc/meminfo: memFree=16412288/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297296 CPUtime=102.27 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 210908 0 0 0 10211 16 0 0 20 0 1 0 36614468 329969664 74324 33554432000 4194304 7498468 140732552980304 140732552974936 5164349 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74324 807 807 0 73550 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297296 KiB
[startup+162.3 s]
/proc/loadavg: 1.88 0.88 0.37 3/189 25212
/proc/meminfo: memFree=16412000/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297304 CPUtime=162.27 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 229228 0 0 0 16210 17 0 0 20 0 1 0 36614468 329969664 74326 33554432000 4194304 7498468 140732552980304 140732552974936 5164340 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74326 807 807 0 73550 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297304 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.09 0.47 3/189 25213
/proc/meminfo: memFree=16411316/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297304 CPUtime=222.26 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 240222 0 0 0 22208 18 0 0 20 0 1 0 36614468 329969664 74326 33554432000 4194304 7498468 140732552980304 140732552974936 5164349 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74326 807 807 0 73550 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297304 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.25 0.57 3/189 25214
/proc/meminfo: memFree=16411712/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297308 CPUtime=282.24 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 251133 0 0 0 28206 18 0 0 20 0 1 0 36614468 329969664 74327 33554432000 4194304 7498468 140732552980304 140732552974936 5164365 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74327 807 807 0 73550 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297308 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.66 3/188 25215
/proc/meminfo: memFree=16411540/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297332 CPUtime=342.21 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 252923 0 0 0 34203 18 0 0 20 0 1 0 36614468 329969664 74333 33554432000 4194304 7498468 140732552980304 140732552974936 5164344 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74333 807 807 0 73550 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297332 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.74 3/187 25216
/proc/meminfo: memFree=16411648/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297332 CPUtime=402.2 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 253428 0 0 0 40202 18 0 0 20 0 1 0 36614468 329969664 74333 33554432000 4194304 7498468 140732552980304 140732552974936 4580357 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74333 807 807 0 73550 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297332 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 3/187 25217
/proc/meminfo: memFree=16411640/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297332 CPUtime=462.19 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 253852 0 0 0 46201 18 0 0 20 0 1 0 36614468 329969664 74333 33554432000 4194304 7498468 140732552980304 140732552974936 4246837 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74333 807 807 0 73550 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297332 KiB
################
# More data... #
################
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/187 25255
/proc/meminfo: memFree=16410184/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=1722.21 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 262898 0 0 0 172203 18 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5164349 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 1.74 3/187 25257
/proc/meminfo: memFree=16410292/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=1782.22 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 263297 0 0 0 178203 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5838528 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 1.76 3/187 25258
/proc/meminfo: memFree=16409936/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=1842.23 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 263691 0 0 0 184204 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 4246879 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 1.78 3/188 25267
/proc/meminfo: memFree=16409128/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=1902.23 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 264084 0 0 0 190204 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5773616 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/189 25291
/proc/meminfo: memFree=16408404/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=1962.23 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 264477 0 0 0 196204 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 4246890 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.80 3/189 25292
/proc/meminfo: memFree=16409388/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2022.23 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 264870 0 0 0 202204 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5164360 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/189 25293
/proc/meminfo: memFree=16409912/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2082.23 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 265270 0 0 0 208204 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 4246893 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/189 25294
/proc/meminfo: memFree=16409996/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2142.24 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 265666 0 0 0 214205 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5164349 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/188 25295
/proc/meminfo: memFree=16409896/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2202.24 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 266091 0 0 0 220205 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5164472 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/187 25296
/proc/meminfo: memFree=16410036/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2262.24 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 266488 0 0 0 226205 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 4246887 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 25297
/proc/meminfo: memFree=16410020/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2322.24 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 266885 0 0 0 232205 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5164349 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
[startup+2382.3 s]
/proc/loadavg: 2.56 2.15 1.91 3/187 25298
/proc/meminfo: memFree=16409812/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2382.24 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 267281 0 0 0 238205 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5164349 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.53 2.18 1.93 3/187 25359
/proc/meminfo: memFree=16631348/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2400.05 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 267517 0 0 0 239986 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5164344 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 25200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.87 s, system=0.193999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.53 2.18 1.93 3/187 25359
/proc/meminfo: memFree=16631348/32770624 swapFree=67108860/67108860
[pid=25200] ppid=25197 vsize=322236 memory=297372 CPUtime=2400.05 cores=0,2,4,6
/proc/25200/stat : 25200 (MistralXCSP) R 25197 25200 25074 0 -1 4202496 267517 0 0 0 239986 19 0 0 20 0 1 0 36614468 329969664 74343 33554432000 4194304 7498468 140732552980304 140732552974936 5164344 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 41115648 140732552987757 140732552987907 140732552987907 140732552990665 0
/proc/25200/statm: 80559 74343 807 807 0 73550 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 297372 KiB
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.06
CPU user time (s): 2399.87
CPU system time (s): 0.193999
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 322236
Max. memory (cumulated for all children) (KiB): 297372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.87
system time used= 0.193999
maximum resident set size= 297392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267554
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= 82
involuntary context switches= 1154
# summary of solver processes directly reported to runsolver:
# pid: 25200
# total CPU time (s): 2400.06
# total CPU user time (s): 2399.87
# total CPU system time (s): 0.193999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10785 second user time and 16.2857 second system time
The end