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 (7271 MiB free)
memory of node 1: 16384 MiB (13286 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289365-1532193229/watcher-4289365-1532193229 -o /tmp/evaluation-result-4289365-1532193229/solver-4289365-1532193229 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532190501-25868 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 468514592 HOME/instance-4289365-1532193229.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=26227, runsolver pid=26224
[startup+0.100972 s]*
/proc/loadavg: 2.03 2.05 1.94 4/193 26228
/proc/meminfo: memFree=21050228/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=29756 memory=4052 CPUtime=0.1 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 1236 0 0 0 10 0 0 0 20 0 1 0 36886053 30470144 1013 33554432000 4194304 7498468 140724123279520 140724123272760 139912315063269 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 7439 1013 665 807 0 430 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29756 KiB
Current children cumulated memory: 4052 KiB
[startup+0.209675 s]*
/proc/loadavg: 2.03 2.05 1.94 3/193 26228
/proc/meminfo: memFree=21048956/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=30944 memory=5368 CPUtime=0.21 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 1587 0 0 0 21 0 0 0 20 0 1 0 36886053 31686656 1342 33554432000 4194304 7498468 140724123279520 140724123272760 139912315063269 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 7736 1342 688 807 0 727 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30944 KiB
Current children cumulated memory: 5368 KiB
[startup+0.309144 s]*
/proc/loadavg: 2.03 2.05 1.94 3/193 26228
/proc/meminfo: memFree=21046772/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=33584 memory=8008 CPUtime=0.31 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 2257 0 0 0 31 0 0 0 20 0 1 0 36886053 34390016 2002 33554432000 4194304 7498468 140724123279520 140724123272760 139912315063269 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 8396 2002 688 807 0 1387 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 8008 KiB
[startup+0.700239 s]
/proc/loadavg: 2.03 2.05 1.94 3/193 26228
/proc/meminfo: memFree=21041316/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=43800 memory=18304 CPUtime=0.68 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 4801 0 0 0 68 0 0 0 20 0 1 0 36886053 44851200 4576 33554432000 4194304 7498468 140724123279520 140724123272760 139912315061386 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 10950 4576 688 807 0 3941 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 18304 KiB
[startup+1.50025 s]
/proc/loadavg: 2.03 2.05 1.94 3/193 26228
/proc/meminfo: memFree=21028172/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=64232 memory=38632 CPUtime=1.49 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 9911 0 0 0 148 1 0 0 20 0 1 0 36886053 65773568 9658 33554432000 4194304 7498468 140724123279520 140724123270136 139912318548664 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 16058 9658 688 807 0 9049 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64232 KiB
Current children cumulated memory: 38632 KiB
[startup+3.10973 s]
/proc/loadavg: 2.03 2.05 1.94 3/193 26228
/proc/meminfo: memFree=20983284/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71572 CPUtime=3.1 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 30196 0 0 0 307 3 0 0 20 0 1 0 36886053 99250176 17893 33554432000 4194304 7498468 140724123279520 140724123270136 5773631 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17893 732 807 0 17222 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71572 KiB
[startup+6.30028 s]
/proc/loadavg: 1.94 2.03 1.94 3/193 26228
/proc/meminfo: memFree=20983284/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=6.29 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 46677 0 0 0 625 4 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 4405104 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+12.7002 s]
/proc/loadavg: 1.95 2.03 1.94 3/193 26228
/proc/meminfo: memFree=20982192/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=12.68 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 61830 0 0 0 1264 4 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5618925 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+25.5002 s]
/proc/loadavg: 1.96 2.03 1.94 3/193 26228
/proc/meminfo: memFree=20982392/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=25.47 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 87893 0 0 0 2542 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 139912318498448 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+51.1094 s]
/proc/loadavg: 1.97 2.03 1.94 3/193 26228
/proc/meminfo: memFree=20982296/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=51.07 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 90905 0 0 0 5102 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 4258077 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.02 1.95 3/192 26229
/proc/meminfo: memFree=20981736/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=102.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 91337 0 0 0 10221 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5772170 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/191 26230
/proc/meminfo: memFree=20981788/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=162.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 91770 0 0 0 16221 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 4580120 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 26231
/proc/meminfo: memFree=20982356/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=222.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 92108 0 0 0 22221 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 4405082 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/191 26232
/proc/meminfo: memFree=20982516/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=282.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 92438 0 0 0 28221 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5575363 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/190 26233
/proc/meminfo: memFree=20982680/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=342.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 92871 0 0 0 34221 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5586051 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/191 26242
/proc/meminfo: memFree=20981880/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=402.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 93103 0 0 0 40221 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5773663 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/191 26243
/proc/meminfo: memFree=20982288/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=462.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 93335 0 0 0 46221 5 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 4257983 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
################
# More data... #
################
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/191 26285
/proc/meminfo: memFree=20981648/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=1722.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 99164 0 0 0 172220 6 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5770512 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.02 3/191 26287
/proc/meminfo: memFree=20981964/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=1782.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 99388 0 0 0 178220 6 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 4251530 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/191 26288
/proc/meminfo: memFree=20981760/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=1842.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 99612 0 0 0 184220 6 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5770556 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/192 26290
/proc/meminfo: memFree=20981780/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=1902.26 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 99837 0 0 0 190220 6 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 4249680 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/192 26291
/proc/meminfo: memFree=20981812/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=1962.25 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 100270 0 0 0 196219 6 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 4258039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/192 26292
/proc/meminfo: memFree=20981820/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=2022.25 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 100503 0 0 0 202219 6 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5585650 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+2082.3 s]
/proc/loadavg: 1.92 2.00 2.02 3/191 26354
/proc/meminfo: memFree=21036428/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71704 CPUtime=2082.25 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 100744 0 0 0 208219 6 0 0 20 0 1 0 36886053 99250176 17926 33554432000 4194304 7498468 140724123279520 140724123274536 5840447 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17926 742 807 0 17222 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71704 KiB
[startup+2142.3 s]
/proc/loadavg: 1.97 2.00 2.02 3/191 26355
/proc/meminfo: memFree=21036088/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71712 CPUtime=2142.25 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 100980 0 0 0 214219 6 0 0 20 0 1 0 36886053 99250176 17928 33554432000 4194304 7498468 140724123279520 140724123274536 4404908 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17928 742 807 0 17222 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71712 KiB
[startup+2202.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/190 26363
/proc/meminfo: memFree=21034888/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71712 CPUtime=2202.25 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 101216 0 0 0 220219 6 0 0 20 0 1 0 36886053 99250176 17928 33554432000 4194304 7498468 140724123279520 140724123274536 5570595 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17928 742 807 0 17222 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71712 KiB
[startup+2262.3 s]
/proc/loadavg: 1.96 1.99 2.01 3/190 26364
/proc/meminfo: memFree=21035308/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71712 CPUtime=2262.25 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 101452 0 0 0 226219 6 0 0 20 0 1 0 36886053 99250176 17928 33554432000 4194304 7498468 140724123279520 140724123274536 5575356 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17928 742 807 0 17222 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71712 KiB
[startup+2322.3 s]
/proc/loadavg: 1.99 1.99 2.01 3/190 26365
/proc/meminfo: memFree=21035004/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71712 CPUtime=2322.25 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 101688 0 0 0 232219 6 0 0 20 0 1 0 36886053 99250176 17928 33554432000 4194304 7498468 140724123279520 140724123274536 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17928 742 807 0 17222 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71712 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/190 26366
/proc/meminfo: memFree=21035088/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71712 CPUtime=2382.25 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 101924 0 0 0 238219 6 0 0 20 0 1 0 36886053 99250176 17928 33554432000 4194304 7498468 140724123279520 140724123274536 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17928 742 807 0 17222 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 1.99 2.01 3/190 26366
/proc/meminfo: memFree=21035216/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71712 CPUtime=2400.06 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 102159 0 0 0 240000 6 0 0 20 0 1 0 36886053 99250176 17928 33554432000 4194304 7498468 140724123279520 140724123274536 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17928 742 807 0 17222 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 26227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.062999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 1.99 2.01 3/190 26366
/proc/meminfo: memFree=21035216/32770624 swapFree=67108860/67108860
[pid=26227] ppid=26224 vsize=96924 memory=71712 CPUtime=2400.06 cores=0,2,4,6
/proc/26227/stat : 26227 (MistralXCSP) R 26224 26227 25837 0 -1 4202496 102159 0 0 0 240000 6 0 0 20 0 1 0 36886053 99250176 17928 33554432000 4194304 7498468 140724123279520 140724123274536 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22769664 140724123284590 140724123284739 140724123284739 140724123287497 0
/proc/26227/statm: 24231 17928 742 807 0 17222 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 71712 KiB
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.07
CPU user time (s): 2400.01
CPU system time (s): 0.062999
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 96924
Max. memory (cumulated for all children) (KiB): 71712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.062999
maximum resident set size= 71732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102195
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= 673
# summary of solver processes directly reported to runsolver:
# pid: 26227
# total CPU time (s): 2400.07
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.062999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.62163 second user time and 15.0322 second system time
The end