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 (7014 MiB free)
memory of node 1: 16384 MiB (13291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291962-1532262588/watcher-4291962-1532262588 -o /tmp/evaluation-result-4291962-1532262588/solver-4291962-1532262588 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532260184-2704 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 971874134 HOME/instance-4291962-1532262588.xml
running on 4 cores: 1,3,5,7
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=3210, runsolver pid=3207
[startup+0.100377 s]*
/proc/loadavg: 2.44 2.16 2.00 3/190 3211
/proc/meminfo: memFree=20787932/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=34448 memory=9044 CPUtime=0.1 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 2453 0 0 0 10 0 0 0 20 0 1 0 43821997 35274752 2261 33554432000 4194304 7498468 140722506999632 140722506990552 140688216800229 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 8612 2261 702 807 0 1603 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34448 KiB
Current children cumulated memory: 9044 KiB
[startup+0.209726 s]*
/proc/loadavg: 2.44 2.16 2.00 3/190 3211
/proc/meminfo: memFree=20785336/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=37240 memory=11644 CPUtime=0.2 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 3126 0 0 0 20 0 0 0 20 0 1 0 43821997 38133760 2911 33554432000 4194304 7498468 140722506999632 140722506992872 140688223163246 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 9310 2911 702 807 0 2301 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37240 KiB
Current children cumulated memory: 11644 KiB
[startup+0.309248 s]*
/proc/loadavg: 2.44 2.16 2.00 3/190 3211
/proc/meminfo: memFree=20782360/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=40224 memory=14788 CPUtime=0.3 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 3863 0 0 0 30 0 0 0 20 0 1 0 43821997 41189376 3697 33554432000 4194304 7498468 140722506999632 140722506992872 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 10056 3697 702 807 0 3047 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40224 KiB
Current children cumulated memory: 14788 KiB
[startup+0.700291 s]
/proc/loadavg: 2.44 2.16 2.00 3/190 3211
/proc/meminfo: memFree=20776036/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=52264 memory=26788 CPUtime=0.68 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 6966 0 0 0 67 1 0 0 20 0 1 0 43821997 53518336 6697 33554432000 4194304 7498468 140722506999632 140722506992872 140688216800229 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 13066 6697 702 807 0 6057 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52264 KiB
Current children cumulated memory: 26788 KiB
[startup+1.50031 s]
/proc/loadavg: 2.44 2.16 2.00 3/190 3211
/proc/meminfo: memFree=20760788/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=76100 memory=50532 CPUtime=1.49 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 12938 0 0 0 147 2 0 0 20 0 1 0 43821997 77926400 12633 33554432000 4194304 7498468 140722506999632 140722506990552 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 19025 12633 702 807 0 12016 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76100 KiB
Current children cumulated memory: 50532 KiB
[startup+3.10951 s]
/proc/loadavg: 2.40 2.15 2.00 3/190 3211
/proc/meminfo: memFree=20686228/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=137424 memory=111836 CPUtime=3.1 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 37011 0 0 0 305 5 0 0 20 0 1 0 43821997 140722176 27959 33554432000 4194304 7498468 140722506999632 140722506990808 4564597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 34356 27959 716 807 0 27347 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 137424 KiB
Current children cumulated memory: 111836 KiB
[startup+6.30039 s]
/proc/loadavg: 2.40 2.15 2.00 3/190 3211
/proc/meminfo: memFree=20610728/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=210740 memory=185308 CPUtime=6.29 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 99137 0 0 0 620 9 0 0 20 0 1 0 43821997 215797760 46327 33554432000 4194304 7498468 140722506999632 140722506993896 4249682 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 52685 46327 753 807 0 45676 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 210740 KiB
Current children cumulated memory: 185308 KiB
[startup+12.7003 s]
/proc/loadavg: 2.37 2.15 2.00 3/190 3211
/proc/meminfo: memFree=20610084/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=211932 memory=186584 CPUtime=12.68 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 135046 0 0 0 1257 11 0 0 20 0 1 0 43821997 217018368 46646 33554432000 4194304 7498468 140722506999632 140722506994088 5164349 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 52983 46646 753 807 0 45974 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 211932 KiB
Current children cumulated memory: 186584 KiB
[startup+25.5003 s]
/proc/loadavg: 2.29 2.14 2.00 3/191 3219
/proc/meminfo: memFree=20608616/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=212720 memory=187460 CPUtime=25.48 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 202759 0 0 0 2534 14 0 0 20 0 1 0 43821997 217825280 46865 33554432000 4194304 7498468 140722506999632 140722506994248 4258039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53180 46865 753 807 0 46171 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 212720 KiB
Current children cumulated memory: 187460 KiB
[startup+51.1096 s]
/proc/loadavg: 2.33 2.16 2.01 3/191 3219
/proc/meminfo: memFree=20608420/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=212984 memory=187704 CPUtime=51.09 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 243166 0 0 0 5093 16 0 0 20 0 1 0 43821997 218095616 46926 33554432000 4194304 7498468 140722506999632 140722506994088 4257951 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53246 46926 753 807 0 46237 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 212984 KiB
Current children cumulated memory: 187704 KiB
[startup+102.3 s]
/proc/loadavg: 2.14 2.14 2.01 3/190 3220
/proc/meminfo: memFree=20609992/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213116 memory=187896 CPUtime=102.27 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 279281 0 0 0 10209 18 0 0 20 0 1 0 43821997 218230784 46974 33554432000 4194304 7498468 140722506999632 140722506994088 4252729 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53279 46974 753 807 0 46270 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 213116 KiB
Current children cumulated memory: 187896 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.11 2.01 3/191 3222
/proc/meminfo: memFree=20608776/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213116 memory=188064 CPUtime=162.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 304095 0 0 0 16204 19 0 0 20 0 1 0 43821997 218230784 47016 33554432000 4194304 7498468 140722506999632 140722506994088 4258077 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53279 47016 753 807 0 46270 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 213116 KiB
Current children cumulated memory: 188064 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.09 2.01 3/191 3223
/proc/meminfo: memFree=20609392/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213248 memory=188068 CPUtime=222.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 310087 0 0 0 22203 20 0 0 20 0 1 0 43821997 218365952 47017 33554432000 4194304 7498468 140722506999632 140722506994088 4249696 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53312 47017 753 807 0 46303 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 213248 KiB
Current children cumulated memory: 188068 KiB
[startup+282.3 s]
/proc/loadavg: 2.15 2.12 2.03 3/191 3224
/proc/meminfo: memFree=20609308/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213248 memory=188140 CPUtime=282.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 310756 0 0 0 28203 20 0 0 20 0 1 0 43821997 218365952 47035 33554432000 4194304 7498468 140722506999632 140722506994088 4580871 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53312 47035 753 807 0 46303 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 213248 KiB
Current children cumulated memory: 188140 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.10 2.03 3/190 3225
/proc/meminfo: memFree=20609720/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213248 memory=188176 CPUtime=342.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 311190 0 0 0 34203 20 0 0 20 0 1 0 43821997 218365952 47044 33554432000 4194304 7498468 140722506999632 140722506994088 5621637 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53312 47044 753 807 0 46303 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 213248 KiB
Current children cumulated memory: 188176 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.08 2.03 3/191 3227
/proc/meminfo: memFree=20610104/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213248 memory=188192 CPUtime=402.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 311884 0 0 0 40203 20 0 0 20 0 1 0 43821997 218365952 47048 33554432000 4194304 7498468 140722506999632 140722506994088 4249938 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53312 47048 753 807 0 46303 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 213248 KiB
Current children cumulated memory: 188192 KiB
[startup+462.3 s]
/proc/loadavg: 2.09 2.10 2.04 3/191 3228
/proc/meminfo: memFree=20609620/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213380 memory=188196 CPUtime=462.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 312254 0 0 0 46203 20 0 0 20 0 1 0 43821997 218501120 47049 33554432000 4194304 7498468 140722506999632 140722506994056 5649131 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53345 47049 753 807 0 46336 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 213380 KiB
Current children cumulated memory: 188196 KiB
################
# More data... #
################
/proc/3210/statm: 53378 47084 753 807 0 46369 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188336 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3416
/proc/meminfo: memFree=19523692/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188336 CPUtime=1722.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 321732 0 0 0 172202 21 0 0 20 0 1 0 43821997 218636288 47084 33554432000 4194304 7498468 140722506999632 140722506994088 4249680 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47084 753 807 0 46369 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188336 KiB
[startup+1782.3 s]
/proc/loadavg: 2.57 2.17 2.09 3/191 3417
/proc/meminfo: memFree=19524284/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188336 CPUtime=1782.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 322092 0 0 0 178202 21 0 0 20 0 1 0 43821997 218636288 47084 33554432000 4194304 7498468 140722506999632 140722506994088 4249751 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47084 753 807 0 46369 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188336 KiB
[startup+1842.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/192 3426
/proc/meminfo: memFree=19523212/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188336 CPUtime=1842.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 322452 0 0 0 184202 21 0 0 20 0 1 0 43821997 218636288 47084 33554432000 4194304 7498468 140722506999632 140722506994088 5613399 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47084 753 807 0 46369 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188336 KiB
[startup+1902.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/193 3450
/proc/meminfo: memFree=19521824/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188336 CPUtime=1902.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 322821 0 0 0 190202 21 0 0 20 0 1 0 43821997 218636288 47084 33554432000 4194304 7498468 140722506999632 140722506994088 4249744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47084 753 807 0 46369 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188336 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/193 3451
/proc/meminfo: memFree=19522560/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188336 CPUtime=1962.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 323182 0 0 0 196202 21 0 0 20 0 1 0 43821997 218636288 47084 33554432000 4194304 7498468 140722506999632 140722506994088 4258057 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47084 753 807 0 46369 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188336 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/192 3452
/proc/meminfo: memFree=19523072/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188336 CPUtime=2022.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 323543 0 0 0 202202 21 0 0 20 0 1 0 43821997 218636288 47084 33554432000 4194304 7498468 140722506999632 140722506994088 5613413 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47084 753 807 0 46369 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188336 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/192 3453
/proc/meminfo: memFree=19523200/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188336 CPUtime=2082.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 323916 0 0 0 208202 21 0 0 20 0 1 0 43821997 218636288 47084 33554432000 4194304 7498468 140722506999632 140722506994088 4249714 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47084 753 807 0 46369 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188336 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/192 3455
/proc/meminfo: memFree=19523120/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188356 CPUtime=2142.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 324664 0 0 0 214202 21 0 0 20 0 1 0 43821997 218636288 47089 33554432000 4194304 7498468 140722506999632 140722506994088 4541152 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47089 753 807 0 46369 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188356 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/191 3456
/proc/meminfo: memFree=19523360/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188356 CPUtime=2202.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 325054 0 0 0 220202 21 0 0 20 0 1 0 43821997 218636288 47089 33554432000 4194304 7498468 140722506999632 140722506994088 5575289 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47089 753 807 0 46369 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188356 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 3457
/proc/meminfo: memFree=19522884/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188360 CPUtime=2262.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 325439 0 0 0 226202 21 0 0 20 0 1 0 43821997 218636288 47090 33554432000 4194304 7498468 140722506999632 140722506994088 4249952 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47090 753 807 0 46369 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188360 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 3458
/proc/meminfo: memFree=19523012/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188360 CPUtime=2322.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 325829 0 0 0 232202 21 0 0 20 0 1 0 43821997 218636288 47090 33554432000 4194304 7498468 140722506999632 140722506994088 5613399 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47090 753 807 0 46369 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188360 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 3459
/proc/meminfo: memFree=19522768/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188360 CPUtime=2382.23 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 326246 0 0 0 238202 21 0 0 20 0 1 0 43821997 218636288 47090 33554432000 4194304 7498468 140722506999632 140722506994088 4542208 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47090 753 807 0 46369 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 3460
/proc/meminfo: memFree=19522664/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188360 CPUtime=2400.04 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 326651 0 0 0 239983 21 0 0 20 0 1 0 43821997 218636288 47090 33554432000 4194304 7498468 140722506999632 140722506994088 5838196 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47090 753 807 0 46369 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 3210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.84 s, system=0.216999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 3460
/proc/meminfo: memFree=19522664/32770624 swapFree=67108860/67108860
[pid=3210] ppid=3207 vsize=213512 memory=188360 CPUtime=2400.04 cores=1,3,5,7
/proc/3210/stat : 3210 (MistralXCSP) R 3207 3210 2672 0 -1 4202496 326651 0 0 0 239983 21 0 0 20 0 1 0 43821997 218636288 47090 33554432000 4194304 7498468 140722506999632 140722506994088 5838196 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15839232 140722507002990 140722507003139 140722507003139 140722507005897 0
/proc/3210/statm: 53378 47090 753 807 0 46369 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 188360 KiB
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.05
CPU user time (s): 2399.84
CPU system time (s): 0.216999
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 213512
Max. memory (cumulated for all children) (KiB): 188360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.84
system time used= 0.216999
maximum resident set size= 188380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326753
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= 71
involuntary context switches= 946
# summary of solver processes directly reported to runsolver:
# pid: 3210
# total CPU time (s): 2400.05
# total CPU user time (s): 2399.84
# total CPU system time (s): 0.216999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.0972 second user time and 16.8358 second system time
The end