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 (8827 MiB free)
memory of node 1: 16384 MiB (12713 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289674-1532204963/watcher-4289674-1532204963 -o /tmp/evaluation-result-4289674-1532204963/solver-4289674-1532204963 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532190501-23423 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 827302616 HOME/instance-4289674-1532204963.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=25347, runsolver pid=25344
[startup+0.100958 s]*
/proc/loadavg: 1.91 2.00 2.03 3/187 25348
/proc/meminfo: memFree=22009732/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=75984 memory=50688 CPUtime=0.09 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 13164 0 0 0 8 1 0 0 20 0 1 0 38059453 77807616 12672 33554432000 4194304 7498468 140731811298144 140731811287896 4319600 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 18996 12672 706 807 0 11987 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75984 KiB
Current children cumulated memory: 50688 KiB
[startup+0.209658 s]*
/proc/loadavg: 1.91 2.00 2.03 3/187 25348
/proc/meminfo: memFree=22003392/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=83276 memory=58044 CPUtime=0.2 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 15071 0 0 0 19 1 0 0 20 0 1 0 38059453 85274624 14511 33554432000 4194304 7498468 140731811298144 140731811288152 4564424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 20819 14511 749 807 0 13810 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83276 KiB
Current children cumulated memory: 58044 KiB
[startup+0.309491 s]*
/proc/loadavg: 1.91 2.00 2.03 3/187 25348
/proc/meminfo: memFree=21998540/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=88064 memory=62796 CPUtime=0.3 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 16288 0 0 0 29 1 0 0 20 0 1 0 38059453 90177536 15699 33554432000 4194304 7498468 140731811298144 140731811288152 4564576 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 22016 15699 749 807 0 15007 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88064 KiB
Current children cumulated memory: 62796 KiB
[startup+0.700335 s]
/proc/loadavg: 1.91 2.00 2.03 3/187 25348
/proc/meminfo: memFree=21980528/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=126640 memory=101444 CPUtime=0.68 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 23136 0 0 0 66 2 0 0 20 0 1 0 38059453 129679360 25361 33554432000 4194304 7498468 140731811298144 140731811288152 5161573 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 31660 25361 788 807 0 24651 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126640 KiB
Current children cumulated memory: 101444 KiB
[startup+1.50031 s]
/proc/loadavg: 1.91 2.00 2.03 3/187 25348
/proc/meminfo: memFree=21956376/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=132716 memory=107780 CPUtime=1.49 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 24659 0 0 0 146 3 0 0 20 0 1 0 38059453 135901184 26945 33554432000 4194304 7498468 140731811298144 140731811292680 5705088 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 33179 26945 788 807 0 26170 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 132716 KiB
Current children cumulated memory: 107780 KiB
[startup+3.1094 s]
/proc/loadavg: 1.92 2.00 2.03 3/187 25348
/proc/meminfo: memFree=21951292/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=134432 memory=109312 CPUtime=3.09 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 39570 0 0 0 306 3 0 0 20 0 1 0 38059453 137658368 27328 33554432000 4194304 7498468 140731811298144 140731811292680 5161564 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 33608 27328 788 807 0 26599 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 134432 KiB
Current children cumulated memory: 109312 KiB
[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.03 3/187 25348
/proc/meminfo: memFree=21950040/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=135224 memory=110276 CPUtime=6.29 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 54692 0 0 0 624 5 0 0 20 0 1 0 38059453 138469376 27569 33554432000 4194304 7498468 140731811298144 140731811292680 5704335 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 33806 27569 788 807 0 26797 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 135224 KiB
Current children cumulated memory: 110276 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.03 3/187 25348
/proc/meminfo: memFree=21948104/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=136940 memory=111928 CPUtime=12.68 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 70211 0 0 0 1263 5 0 0 20 0 1 0 38059453 140226560 27982 33554432000 4194304 7498468 140731811298144 140731811292680 5705424 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34235 27982 788 807 0 27226 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 136940 KiB
Current children cumulated memory: 111928 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 2.00 2.03 3/187 25348
/proc/meminfo: memFree=21947688/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=137600 memory=112588 CPUtime=25.48 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 95066 0 0 0 2542 6 0 0 20 0 1 0 38059453 140902400 28147 33554432000 4194304 7498468 140731811298144 140731811292680 4246879 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34400 28147 788 807 0 27391 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 137600 KiB
Current children cumulated memory: 112588 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 2.03 3/187 25355
/proc/meminfo: memFree=21946328/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=137732 memory=112728 CPUtime=51.08 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 113554 0 0 0 5101 7 0 0 20 0 1 0 38059453 141037568 28182 33554432000 4194304 7498468 140731811298144 140731811292680 5702562 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34433 28182 788 807 0 27424 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 137732 KiB
Current children cumulated memory: 112728 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/187 25356
/proc/meminfo: memFree=21945412/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=138568 memory=113400 CPUtime=102.25 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 118290 0 0 0 10218 7 0 0 20 0 1 0 38059453 141893632 28350 33554432000 4194304 7498468 140731811298144 140731811292776 4314704 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34642 28350 788 807 0 27633 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 138568 KiB
Current children cumulated memory: 113400 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 25357
/proc/meminfo: memFree=21945596/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=138568 memory=113576 CPUtime=162.25 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 118908 0 0 0 16218 7 0 0 20 0 1 0 38059453 141893632 28394 33554432000 4194304 7498468 140731811298144 140731811292776 5684428 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34642 28394 788 807 0 27633 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 138568 KiB
Current children cumulated memory: 113576 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 25358
/proc/meminfo: memFree=21945696/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=138568 memory=113592 CPUtime=222.24 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 119524 0 0 0 22217 7 0 0 20 0 1 0 38059453 141893632 28398 33554432000 4194304 7498468 140731811298144 140731811292776 5575289 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34642 28398 788 807 0 27633 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 138568 KiB
Current children cumulated memory: 113592 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 25359
/proc/meminfo: memFree=21946016/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=138700 memory=113652 CPUtime=282.24 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 119954 0 0 0 28217 7 0 0 20 0 1 0 38059453 142028800 28413 33554432000 4194304 7498468 140731811298144 140731811292680 5705317 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34675 28413 788 807 0 27666 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 138700 KiB
Current children cumulated memory: 113652 KiB
[startup+342.3 s]
/proc/loadavg: 2.44 2.12 2.07 3/187 25360
/proc/meminfo: memFree=21946172/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=138700 memory=113700 CPUtime=342.24 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 120576 0 0 0 34217 7 0 0 20 0 1 0 38059453 142028800 28425 33554432000 4194304 7498468 140731811298144 140731811292680 5684444 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34675 28425 788 807 0 27666 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 138700 KiB
Current children cumulated memory: 113700 KiB
[startup+402.3 s]
/proc/loadavg: 2.23 2.12 2.08 3/187 25361
/proc/meminfo: memFree=21946364/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=138832 memory=113712 CPUtime=402.24 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 121249 0 0 0 40217 7 0 0 20 0 1 0 38059453 142163968 28428 33554432000 4194304 7498468 140731811298144 140731811292680 5686248 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34708 28428 788 807 0 27699 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 138832 KiB
Current children cumulated memory: 113712 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.10 2.07 3/187 25362
/proc/meminfo: memFree=21946188/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=138832 memory=113832 CPUtime=462.24 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 121760 0 0 0 46216 8 0 0 20 0 1 0 38059453 142163968 28458 33554432000 4194304 7498468 140731811298144 140731811292680 5705501 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34708 28458 788 807 0 27699 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 138832 KiB
Current children cumulated memory: 113832 KiB
################
# More data... #
################
/proc/25347/statm: 34873 28623 788 807 0 27864 0
Current children cumulated CPU time: 1602.19 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114492 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25398
/proc/meminfo: memFree=21946584/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114496 CPUtime=1662.19 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 133538 0 0 0 166211 8 0 0 20 0 1 0 38059453 142839808 28624 33554432000 4194304 7498468 140731811298144 140731811292680 4542262 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28624 788 807 0 27864 0
Current children cumulated CPU time: 1662.19 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114496 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25400
/proc/meminfo: memFree=21946380/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114496 CPUtime=1722.19 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 134064 0 0 0 172211 8 0 0 20 0 1 0 38059453 142839808 28624 33554432000 4194304 7498468 140731811298144 140731811292680 5701270 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28624 788 807 0 27864 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114496 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25401
/proc/meminfo: memFree=21946368/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114508 CPUtime=1782.19 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 134610 0 0 0 178211 8 0 0 20 0 1 0 38059453 142839808 28627 33554432000 4194304 7498468 140731811298144 140731811292680 4249735 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28627 788 807 0 27864 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114508 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25410
/proc/meminfo: memFree=21945180/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114528 CPUtime=1842.18 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 135135 0 0 0 184210 8 0 0 20 0 1 0 38059453 142839808 28632 33554432000 4194304 7498468 140731811298144 140731811292680 5702063 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28632 788 807 0 27864 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114528 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25434
/proc/meminfo: memFree=21943604/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114532 CPUtime=1902.18 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 135638 0 0 0 190210 8 0 0 20 0 1 0 38059453 142839808 28633 33554432000 4194304 7498468 140731811298144 140731811292680 5702527 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28633 788 807 0 27864 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114532 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25435
/proc/meminfo: memFree=21944612/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114548 CPUtime=1962.19 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 136147 0 0 0 196210 9 0 0 20 0 1 0 38059453 142839808 28637 33554432000 4194304 7498468 140731811298144 140731811292680 5685164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28637 788 807 0 27864 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114548 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25436
/proc/meminfo: memFree=21945160/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114548 CPUtime=2022.18 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 136655 0 0 0 202209 9 0 0 20 0 1 0 38059453 142839808 28637 33554432000 4194304 7498468 140731811298144 140731811292680 5703560 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28637 788 807 0 27864 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114548 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25437
/proc/meminfo: memFree=21945416/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114552 CPUtime=2082.18 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 137170 0 0 0 208209 9 0 0 20 0 1 0 38059453 142839808 28638 33554432000 4194304 7498468 140731811298144 140731811292680 4580357 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28638 788 807 0 27864 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114552 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25438
/proc/meminfo: memFree=21945608/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139492 memory=114552 CPUtime=2142.18 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 137683 0 0 0 214209 9 0 0 20 0 1 0 38059453 142839808 28638 33554432000 4194304 7498468 140731811298144 140731811292680 5790794 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34873 28638 788 807 0 27864 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 139492 KiB
Current children cumulated memory: 114552 KiB
[startup+2202.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/187 25439
/proc/meminfo: memFree=21945916/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139624 memory=114608 CPUtime=2202.18 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 138538 0 0 0 220209 9 0 0 20 0 1 0 38059453 142974976 28652 33554432000 4194304 7498468 140731811298144 140731811292680 4258077 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34906 28652 788 807 0 27897 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 139624 KiB
Current children cumulated memory: 114608 KiB
[startup+2262.3 s]
/proc/loadavg: 2.32 2.14 2.09 3/187 25440
/proc/meminfo: memFree=21945772/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139624 memory=114608 CPUtime=2262.17 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 139036 0 0 0 226208 9 0 0 20 0 1 0 38059453 142974976 28652 33554432000 4194304 7498468 140731811298144 140731811292680 5703651 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34906 28652 788 807 0 27897 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 139624 KiB
Current children cumulated memory: 114608 KiB
[startup+2322.3 s]
/proc/loadavg: 2.12 2.11 2.08 3/187 25441
/proc/meminfo: memFree=21946152/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139624 memory=114608 CPUtime=2322.17 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 139538 0 0 0 232208 9 0 0 20 0 1 0 38059453 142974976 28652 33554432000 4194304 7498468 140731811298144 140731811292680 5702483 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34906 28652 788 807 0 27897 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 139624 KiB
Current children cumulated memory: 114608 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/187 25503
/proc/meminfo: memFree=21920296/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139624 memory=114612 CPUtime=2382.17 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 140067 0 0 0 238208 9 0 0 20 0 1 0 38059453 142974976 28653 33554432000 4194304 7498468 140731811298144 140731811292680 4319865 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34906 28653 788 807 0 27897 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 139624 KiB
Current children cumulated memory: 114612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 25503
/proc/meminfo: memFree=21576728/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=139624 memory=114616 CPUtime=2400.07 cores=0,2,4,6
/proc/25347/stat : 25347 (MistralXCSP) R 25344 25347 23392 0 -1 4202496 140542 0 0 0 239998 9 0 0 20 0 1 0 38059453 142974976 28654 33554432000 4194304 7498468 140731811298144 140731811292680 5701649 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42532864 140731811304558 140731811304707 140731811304707 140731811307465 0
/proc/25347/statm: 34906 28654 788 807 0 27897 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 139624 KiB
Current children cumulated memory: 114616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 25347 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.98 s, system=0.096996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.2
CPU time (s): 2400.08
CPU user time (s): 2399.98
CPU system time (s): 0.096996
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 139624
Max. memory (cumulated for all children) (KiB): 114616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.096996
maximum resident set size= 114636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140577
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= 48
involuntary context switches= 3032
# summary of solver processes directly reported to runsolver:
# pid: 25347
# total CPU time (s): 2400.08
# total CPU user time (s): 2399.98
# total CPU system time (s): 0.096996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.89544 second user time and 17.1497 second system time
The end