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 (120 MiB free)
memory of node 1: 16384 MiB (1029 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303577-1533998860/watcher-4303577-1533998860 -o /tmp/evaluation-result-4303577-1533998860/solver-4303577-1533998860 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21542 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 28113416 HOME/instance-4303577-1533998860.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=22570, runsolver pid=22567
Current StackSize limit: 8192 KiB
[startup+0.100234 s]*
/proc/loadavg: 2.00 2.03 2.05 3/190 22571
/proc/meminfo: memFree=1175776/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=30568 memory=4824 CPUtime=0.1 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 1424 0 0 0 10 0 0 0 20 0 1 0 217449197 31301632 1206 33554432000 4194304 7499544 140727079668672 140727079661912 140619683875840 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 7642 1206 666 807 0 633 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30568 KiB
Current children cumulated memory: 4824 KiB
[startup+0.209562 s]*
/proc/loadavg: 2.00 2.03 2.05 3/190 22571
/proc/meminfo: memFree=1175032/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=31216 memory=5272 CPUtime=0.21 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 1654 0 0 0 21 0 0 0 20 0 1 0 217449197 31965184 1318 33554432000 4194304 7499544 140727079668672 140727079661912 6094489 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 7804 1318 666 807 0 795 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31216 KiB
Current children cumulated memory: 5272 KiB
[startup+0.308983 s]*
/proc/loadavg: 2.00 2.03 2.05 3/190 22571
/proc/meminfo: memFree=1174288/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=31876 memory=6060 CPUtime=0.3 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 1884 0 0 0 30 0 0 0 20 0 1 0 217449197 32641024 1515 33554432000 4194304 7499544 140727079668672 140727079661912 140619683437541 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 7969 1515 689 807 0 960 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31876 KiB
Current children cumulated memory: 6060 KiB
[startup+0.700304 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 22571
/proc/meminfo: memFree=1169080/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=42140 memory=16620 CPUtime=0.68 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 4466 0 0 0 68 0 0 0 20 0 1 0 217449197 43151360 4155 33554432000 4194304 7499544 140727079668672 140727079661912 5892391 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 10535 4155 689 807 0 3526 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42140 KiB
Current children cumulated memory: 16620 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 22571
/proc/meminfo: memFree=1153392/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=63160 memory=37476 CPUtime=1.48 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 9724 0 0 0 147 1 0 0 20 0 1 0 217449197 64675840 9369 33554432000 4194304 7499544 140727079668672 140727079661912 140619686932394 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 15790 9369 689 807 0 8781 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63160 KiB
Current children cumulated memory: 37476 KiB
[startup+3.10952 s]
/proc/loadavg: 1.92 2.02 2.04 3/190 22571
/proc/meminfo: memFree=1099080/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=101808 memory=76168 CPUtime=3.1 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 20605 0 0 0 307 3 0 0 20 0 1 0 217449197 104251392 19042 33554432000 4194304 7499544 140727079668672 140727079659288 140619684380273 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 25452 19042 689 807 0 18443 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 101808 KiB
Current children cumulated memory: 76168 KiB
[startup+6.30029 s]
/proc/loadavg: 1.92 2.02 2.04 3/190 22571
/proc/meminfo: memFree=1032820/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129616 CPUtime=6.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 57405 0 0 0 624 4 0 0 20 0 1 0 217449197 158666752 32404 33554432000 4194304 7499544 140727079668672 140727079663688 4319830 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32404 744 807 0 31728 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129616 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 22571
/proc/meminfo: memFree=1014308/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=12.69 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 63580 0 0 0 1264 5 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4258023 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 22571
/proc/meminfo: memFree=975472/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=25.49 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 72408 0 0 0 2544 5 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 5574843 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+51.1093 s]
/proc/loadavg: 1.93 2.01 2.04 3/191 22572
/proc/meminfo: memFree=898984/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=51.09 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 82105 0 0 0 5104 5 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4246863 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/191 22573
/proc/meminfo: memFree=758220/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=102.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 88281 0 0 0 10223 5 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4404999 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/192 22582
/proc/meminfo: memFree=602652/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=162.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 94457 0 0 0 16223 5 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 5574843 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 22583
/proc/meminfo: memFree=459296/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=222.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 97449 0 0 0 22223 5 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 22584
/proc/meminfo: memFree=245116/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=282.29 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 103666 0 0 0 28223 6 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4257952 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 22585
/proc/meminfo: memFree=204400/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=342.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 109612 0 0 0 34222 6 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 22586
/proc/meminfo: memFree=206316/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=402.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 112764 0 0 0 40222 6 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4405003 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 22589
/proc/meminfo: memFree=211364/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=462.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 119005 0 0 0 46222 6 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4257927 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
################
# More data... #
################
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22650
/proc/meminfo: memFree=294876/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=1782.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 200175 0 0 0 178219 9 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4404988 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22651
/proc/meminfo: memFree=294876/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=1842.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 203122 0 0 0 184219 9 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22652
/proc/meminfo: memFree=302704/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=1902.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 206071 0 0 0 190219 9 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4258050 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22660
/proc/meminfo: memFree=300248/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=1962.27 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 209019 0 0 0 196218 9 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4404999 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 22661
/proc/meminfo: memFree=300512/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=2022.28 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 211967 0 0 0 202218 10 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 5648638 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+2082.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/203 22691
/proc/meminfo: memFree=2564404/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129620 CPUtime=2082.27 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 214930 0 0 0 208217 10 0 0 20 0 1 0 217449197 158666752 32405 33554432000 4194304 7499544 140727079668672 140727079663688 4405007 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32405 744 807 0 31728 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129620 KiB
[startup+2142.3 s]
/proc/loadavg: 2.18 2.09 2.07 3/190 22784
/proc/meminfo: memFree=5659668/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129760 CPUtime=2142.24 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 217396 0 0 0 214214 10 0 0 20 0 1 0 217449197 158666752 32440 33554432000 4194304 7499544 140727079668672 140727079663688 4258046 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32440 744 807 0 31728 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129760 KiB
[startup+2202.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/190 22785
/proc/meminfo: memFree=5660132/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129760 CPUtime=2202.24 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 217696 0 0 0 220214 10 0 0 20 0 1 0 217449197 158666752 32440 33554432000 4194304 7499544 140727079668672 140727079663688 5837904 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32440 744 807 0 31728 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129760 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/190 22787
/proc/meminfo: memFree=5660248/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129760 CPUtime=2262.24 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 218160 0 0 0 226214 10 0 0 20 0 1 0 217449197 158666752 32440 33554432000 4194304 7499544 140727079668672 140727079663688 4404988 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32440 744 807 0 31728 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129760 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/190 22788
/proc/meminfo: memFree=5661016/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129760 CPUtime=2322.24 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 218523 0 0 0 232214 10 0 0 20 0 1 0 217449197 158666752 32440 33554432000 4194304 7499544 140727079668672 140727079663688 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32440 744 807 0 31728 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129760 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 22789
/proc/meminfo: memFree=5661544/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129760 CPUtime=2382.24 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 218886 0 0 0 238214 10 0 0 20 0 1 0 217449197 158666752 32440 33554432000 4194304 7499544 140727079668672 140727079663688 4541806 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32440 744 807 0 31728 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129760 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 22791
/proc/meminfo: memFree=5661760/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129760 CPUtime=2442.24 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 219249 0 0 0 244214 10 0 0 20 0 1 0 217449197 158666752 32440 33554432000 4194304 7499544 140727079668672 140727079663688 4579688 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32440 744 807 0 31728 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129760 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 22792
/proc/meminfo: memFree=5661724/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129760 CPUtime=2502.24 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 219612 0 0 0 250214 10 0 0 20 0 1 0 217449197 158666752 32440 33554432000 4194304 7499544 140727079668672 140727079663688 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32440 744 807 0 31728 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129760 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/190 22793
/proc/meminfo: memFree=5661632/32770624 swapFree=67108860/67108860
[pid=22570] ppid=22567 vsize=154948 memory=129760 CPUtime=2519.95 cores=1,3,5,7
/proc/22570/stat : 22570 (MistralXCSP) R 22567 22570 21509 0 -1 4202496 219969 0 0 0 251985 10 0 0 20 0 1 0 217449197 158666752 32440 33554432000 4194304 7499544 140727079668672 140727079663688 5648132 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 23949312 140727079670895 140727079671043 140727079671043 140727079673801 0
/proc/22570/statm: 38737 32440 744 807 0 31728 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 154948 KiB
Current children cumulated memory: 129760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 22570 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.85 s, system=0.107999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.96
CPU user time (s): 2519.85
CPU system time (s): 0.107999
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 154948
Max. memory (cumulated for all children) (KiB): 129760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.85
system time used= 0.107999
maximum resident set size= 129780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220036
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= 66
involuntary context switches= 685
# summary of solver processes directly reported to runsolver:
# pid: 22570
# total CPU time (s): 2519.96
# total CPU user time (s): 2519.85
# total CPU system time (s): 0.107999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.05353 second user time and 16.3127 second system time
The end