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 (15224 MiB free)
memory of node 1: 16384 MiB (14674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395695-1568346749/watcher-4395695-1568346749 -o /tmp/evaluation-result-4395695-1568346749/solver-4395695-1568346749 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568323825-31467 --watchdog 2560 xcsp_picat HOME/instance-4395695-1568346749.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
solver pid=5730, runsolver pid=5727
Current StackSize limit: 8192 KiB
[startup+0.100201 s]*
/proc/loadavg: 2.22 2.14 2.09 3/203 5731
/proc/meminfo: memFree=30587328/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2031716 memory=32932 CPUtime=0.1 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1749 0 0 0 10 0 0 0 20 0 1 0 410924472 2080477184 8233 33554432000 4194304 5870510 140730121877600 140730121874744 4458467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 507929 8233 856 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 32932 KiB
[startup+0.21012 s]*
/proc/loadavg: 2.22 2.14 2.09 3/203 5731
/proc/meminfo: memFree=30566104/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2039532 memory=54156 CPUtime=0.21 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1961 0 0 0 21 0 0 0 20 0 1 0 410924472 2088480768 13539 33554432000 4194304 5870510 140730121877600 140730121874744 4433200 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 509883 13539 874 410 0 505356 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 54156 KiB
[startup+0.31004 s]*
/proc/loadavg: 2.22 2.14 2.09 3/203 5731
/proc/meminfo: memFree=30551644/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2039532 memory=72828 CPUtime=0.31 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 2059 0 0 0 31 0 0 0 20 0 1 0 410924472 2088480768 18207 33554432000 4194304 5870510 140730121877600 140730121874744 5579232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 509883 18207 892 410 0 505356 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 72828 KiB
[startup+0.700346 s]
/proc/loadavg: 2.22 2.14 2.09 3/203 5731
/proc/meminfo: memFree=30519324/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2061260 memory=102376 CPUtime=0.69 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 5963 0 0 0 68 1 0 0 20 0 1 0 410924472 2110730240 25594 33554432000 4194304 5870510 140730121877600 140730121874744 140700247866341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 515315 25594 975 410 0 510788 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2061260 KiB
Current children cumulated memory: 102376 KiB
[startup+1.50035 s]
/proc/loadavg: 2.22 2.14 2.09 3/203 5731
/proc/meminfo: memFree=30515400/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2064288 memory=105312 CPUtime=1.49 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 6844 0 0 0 146 3 0 0 20 0 1 0 410924472 2113830912 26328 33554432000 4194304 5870510 140730121877600 140730121876696 140700248326023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 516072 26328 975 410 0 511545 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2064288 KiB
Current children cumulated memory: 105312 KiB
[startup+3.11009 s]
/proc/loadavg: 2.21 2.14 2.09 3/203 5731
/proc/meminfo: memFree=30501088/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2075440 memory=116268 CPUtime=3.1 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 10387 0 0 0 304 6 0 0 20 0 1 0 410924472 2125250560 29067 33554432000 4194304 5870510 140730121877600 140730121876840 140700248326023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 518860 29067 975 410 0 514333 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2075440 KiB
Current children cumulated memory: 116268 KiB
[startup+6.30042 s]
/proc/loadavg: 2.21 2.14 2.09 3/203 5731
/proc/meminfo: memFree=30247148/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2324044 memory=363652 CPUtime=6.28 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 96208 0 0 0 608 20 0 0 20 0 1 0 410924472 2379821056 90913 33554432000 4194304 5870510 140730121877600 140730121876104 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 581011 90913 984 410 0 576484 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2324044 KiB
Current children cumulated memory: 363652 KiB
[startup+12.7004 s]
/proc/loadavg: 2.17 2.13 2.09 3/204 5733
/proc/meminfo: memFree=30264840/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2304940 memory=336252 CPUtime=12.69 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 132710 0 0 0 1245 24 0 0 20 0 1 0 410924472 2360258560 84063 33554432000 4194304 5870510 140730121877600 140730121875960 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 576235 84063 1007 410 0 571708 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2304940 KiB
Current children cumulated memory: 336252 KiB
[startup+25.5004 s]
/proc/loadavg: 2.15 2.13 2.09 3/203 5734
/proc/meminfo: memFree=30248240/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2304940 memory=336260 CPUtime=25.48 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 166432 0 0 0 2523 25 0 0 20 0 1 0 410924472 2360258560 84065 33554432000 4194304 5870510 140730121877600 140730121875960 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 576235 84065 1007 410 0 571708 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2304940 KiB
Current children cumulated memory: 336260 KiB
[startup+51.1101 s]
/proc/loadavg: 2.10 2.12 2.08 3/203 5734
/proc/meminfo: memFree=30218816/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2304940 memory=342416 CPUtime=51.1 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 199752 0 0 0 5083 27 0 0 20 0 1 0 410924472 2360258560 85604 33554432000 4194304 5870510 140730121877600 140730121876712 5282295 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 576235 85604 1008 410 0 571708 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2304940 KiB
Current children cumulated memory: 342416 KiB
[startup+102.3 s]
/proc/loadavg: 2.21 2.14 2.10 3/204 5740
/proc/meminfo: memFree=30228864/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2366276 memory=364168 CPUtime=102.29 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 286813 0 0 0 10193 36 0 0 20 0 1 0 410924472 2423066624 91042 33554432000 4194304 5870510 140730121877600 140730121875960 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 591569 91042 1008 410 0 587042 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2366276 KiB
Current children cumulated memory: 364168 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/203 5744
/proc/meminfo: memFree=30225560/32770624 swapFree=66966488/67108860
[pid=5730] ppid=5727 vsize=2324276 memory=364512 CPUtime=162.28 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 318464 0 0 0 16170 58 0 0 20 0 1 0 410924472 2380058624 91128 33554432000 4194304 5870510 140730121877600 140730121876712 140700253564900 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 581069 91128 1015 410 0 576542 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2324276 KiB
Current children cumulated memory: 364512 KiB
[startup+222.3 s]
/proc/loadavg: 2.40 2.18 2.11 3/202 5749
/proc/meminfo: memFree=30213808/32770624 swapFree=66966492/67108860
[pid=5730] ppid=5727 vsize=2377448 memory=371972 CPUtime=222.27 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 345665 0 0 0 22163 64 0 0 20 0 1 0 410924472 2434506752 92993 33554432000 4194304 5870510 140730121877600 140730121876552 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 594362 92993 1015 410 0 589835 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2377448 KiB
Current children cumulated memory: 371972 KiB
[startup+282.3 s]
/proc/loadavg: 2.62 2.31 2.16 3/203 5755
/proc/meminfo: memFree=30187020/32770624 swapFree=66966492/67108860
[pid=5730] ppid=5727 vsize=2396196 memory=402540 CPUtime=282.27 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 388848 0 0 0 28150 77 0 0 20 0 1 0 410924472 2453704704 100635 33554432000 4194304 5870510 140730121877600 140730121875960 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 599049 100635 1015 410 0 594522 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2396196 KiB
Current children cumulated memory: 402540 KiB
[startup+342.3 s]
/proc/loadavg: 2.23 2.25 2.15 3/202 5759
/proc/meminfo: memFree=30171996/32770624 swapFree=66966492/67108860
[pid=5730] ppid=5727 vsize=2404600 memory=411852 CPUtime=342.26 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 407091 0 0 0 34139 87 0 0 20 0 1 0 410924472 2462310400 102963 33554432000 4194304 5870510 140730121877600 140730121876552 5262951 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 601150 102963 1015 410 0 596623 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2404600 KiB
Current children cumulated memory: 411852 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.21 2.14 3/204 5766
/proc/meminfo: memFree=30180968/32770624 swapFree=66966492/67108860
[pid=5730] ppid=5727 vsize=2413016 memory=412412 CPUtime=402.26 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 444148 0 0 0 40129 97 0 0 20 0 1 0 410924472 2470928384 103103 33554432000 4194304 5870510 140730121877600 140730121876552 5289457 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 603254 103103 1015 410 0 598727 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2413016 KiB
Current children cumulated memory: 412412 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.17 2.13 3/205 5772
/proc/meminfo: memFree=30168332/32770624 swapFree=66966492/67108860
[pid=5730] ppid=5727 vsize=2416880 memory=419796 CPUtime=462.26 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 479319 0 0 0 46120 106 0 0 20 0 1 0 410924472 2474885120 104949 33554432000 4194304 5870510 140730121877600 140730121876552 5282642 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 604220 104949 1015 410 0 599693 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2416880 KiB
Current children cumulated memory: 419796 KiB
################
# More data... #
################
/proc/5730/statm: 631178 124900 1015 410 0 626651 0
Current children cumulated CPU time: 1662.12 s
Current children cumulated vsize: 2524712 KiB
Current children cumulated memory: 499600 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 5918
/proc/meminfo: memFree=30130236/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2444320 memory=454128 CPUtime=1722.13 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 984958 0 0 0 171851 362 0 0 20 0 1 0 410924472 2502983680 113532 33554432000 4194304 5870510 140730121877600 140730121876616 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 611080 113532 1015 410 0 606553 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 2444320 KiB
Current children cumulated memory: 454128 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 5983
/proc/meminfo: memFree=30212960/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2444320 memory=479060 CPUtime=1782.11 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 987564 0 0 0 177839 372 0 0 20 0 1 0 410924472 2502983680 119765 33554432000 4194304 5870510 140730121877600 140730121876616 5282672 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 611080 119765 1015 410 0 606553 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 2444320 KiB
Current children cumulated memory: 479060 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 5987
/proc/meminfo: memFree=30225784/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2445304 memory=458992 CPUtime=1842.12 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 990709 0 0 0 183826 386 0 0 20 0 1 0 410924472 2503991296 114748 33554432000 4194304 5870510 140730121877600 140730121876616 5275335 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 611326 114748 1015 410 0 606799 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 2445304 KiB
Current children cumulated memory: 458992 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 5993
/proc/meminfo: memFree=30180940/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2446224 memory=488112 CPUtime=1902.11 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 993208 0 0 0 189818 393 0 0 20 0 1 0 410924472 2504933376 122028 33554432000 4194304 5870510 140730121877600 140730121876616 140700253545504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 611556 122028 1015 410 0 607029 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 2446224 KiB
Current children cumulated memory: 488112 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 5998
/proc/meminfo: memFree=30170528/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2448504 memory=491508 CPUtime=1962.11 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 996849 0 0 0 195807 404 0 0 20 0 1 0 410924472 2507268096 122877 33554432000 4194304 5870510 140730121877600 140730121875960 5277088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 612126 122877 1015 410 0 607599 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2448504 KiB
Current children cumulated memory: 491508 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 6003
/proc/meminfo: memFree=30151472/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2451472 memory=481348 CPUtime=2022.1 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1000697 0 0 0 201792 418 0 0 20 0 1 0 410924472 2510307328 120337 33554432000 4194304 5870510 140730121877600 140730121875960 5282627 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 612868 120337 1015 410 0 608341 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 2451472 KiB
Current children cumulated memory: 481348 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 6009
/proc/meminfo: memFree=30175872/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2452228 memory=490912 CPUtime=2082.09 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1004088 0 0 0 207782 427 0 0 20 0 1 0 410924472 2511081472 122728 33554432000 4194304 5870510 140730121877600 140730121876616 5308323 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 613057 122728 1015 410 0 608530 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 2452228 KiB
Current children cumulated memory: 490912 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/203 6013
/proc/meminfo: memFree=30182132/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2453156 memory=483104 CPUtime=2142.09 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1007408 0 0 0 213771 438 0 0 20 0 1 0 410924472 2512031744 120776 33554432000 4194304 5870510 140730121877600 140730121876616 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 613289 120776 1015 410 0 608762 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 2453156 KiB
Current children cumulated memory: 483104 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/203 6018
/proc/meminfo: memFree=30128300/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2453156 memory=484512 CPUtime=2202.09 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1010530 0 0 0 219760 449 0 0 20 0 1 0 410924472 2512031744 121128 33554432000 4194304 5870510 140730121877600 140730121876616 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 613289 121128 1015 410 0 608762 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 2453156 KiB
Current children cumulated memory: 484512 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/203 6024
/proc/meminfo: memFree=30174544/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2453748 memory=490100 CPUtime=2262.08 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1012600 0 0 0 225750 458 0 0 20 0 1 0 410924472 2512637952 122525 33554432000 4194304 5870510 140730121877600 140730121876616 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 613437 122525 1015 410 0 608910 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 2453748 KiB
Current children cumulated memory: 490100 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/203 6036
/proc/meminfo: memFree=30147516/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2456400 memory=497672 CPUtime=2322.08 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1018202 0 0 0 231738 470 0 0 20 0 1 0 410924472 2515353600 124418 33554432000 4194304 5870510 140730121877600 140730121876616 5308227 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 614100 124418 1015 410 0 609573 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 2456400 KiB
Current children cumulated memory: 497672 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/203 6040
/proc/meminfo: memFree=30148776/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2457416 memory=495396 CPUtime=2382.07 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1022595 0 0 0 237729 478 0 0 20 0 1 0 410924472 2516393984 123849 33554432000 4194304 5870510 140730121877600 140730121876616 5274519 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 614354 123849 1015 410 0 609827 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 2457416 KiB
Current children cumulated memory: 495396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/203 6042
/proc/meminfo: memFree=30135364/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2457416 memory=493256 CPUtime=2400.07 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1023645 0 0 0 239527 480 0 0 20 0 1 0 410924472 2516393984 123314 33554432000 4194304 5870510 140730121877600 140730121876616 140700253565805 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 614354 123314 1015 410 0 609827 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 2457416 KiB
Current children cumulated memory: 493256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 5730 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.28 s, system=4.81066 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/203 6042
/proc/meminfo: memFree=30135364/32770624 swapFree=66966508/67108860
[pid=5730] ppid=5727 vsize=2457416 memory=493256 CPUtime=2400.07 cores=0,2,4,6
/proc/5730/stat : 5730 (xcsp_picat) R 5727 5730 31436 0 -1 4202496 1023645 0 0 0 239527 480 0 0 20 0 1 0 410924472 2516393984 123314 33554432000 4194304 5870510 140730121877600 140730121876616 140700253565805 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 20496384 140730121880607 140730121880685 140730121880685 140730121883594 0
/proc/5730/statm: 614354 123314 1015 410 0 609827 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 2457416 KiB
Current children cumulated memory: 493256 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.3
CPU time (s): 2400.09
CPU user time (s): 2395.28
CPU system time (s): 4.81066
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 2669032
Max. memory (cumulated for all children) (KiB): 643684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.28
system time used= 4.81066
maximum resident set size= 643684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1023645
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= 83
involuntary context switches= 3005
# summary of solver processes directly reported to runsolver:
# pid: 5730
# total CPU time (s): 2400.09
# total CPU user time (s): 2395.28
# total CPU system time (s): 4.81066
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.80941 second user time and 19.6521 second system time
The end