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 (8318 MiB free)
memory of node 1: 16384 MiB (12406 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395550-1568339015/watcher-4395550-1568339015 -o /tmp/evaluation-result-4395550-1568339015/solver-4395550-1568339015 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3912 --watchdog 2560 xcsp_picat HOME/instance-4395550-1568339015.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=5093, runsolver pid=5090
[startup+0.100171 s]*
/proc/loadavg: 1.98 2.01 2.84 3/199 5094
/proc/meminfo: memFree=21193040/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2031716 memory=32676 CPUtime=0.1 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 1726 0 0 0 10 0 0 0 20 0 1 0 409816404 2080477184 8169 33554432000 4194304 5870510 140724202630784 140724202630088 4461444 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 507929 8169 869 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 32676 KiB
[startup+0.209774 s]*
/proc/loadavg: 1.98 2.01 2.84 3/199 5094
/proc/meminfo: memFree=21173808/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2039852 memory=49880 CPUtime=0.2 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 3011 0 0 0 20 0 0 0 20 0 1 0 409816404 2088808448 12470 33554432000 4194304 5870510 140724202630784 140724202630088 5562072 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 509963 12470 965 410 0 505436 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2039852 KiB
Current children cumulated memory: 49880 KiB
[startup+0.309597 s]*
/proc/loadavg: 1.98 2.01 2.84 3/199 5094
/proc/meminfo: memFree=21171760/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2039852 memory=49880 CPUtime=0.3 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 3018 0 0 0 30 0 0 0 20 0 1 0 409816404 2088808448 12470 33554432000 4194304 5870510 140724202630784 140724202630088 140595877277575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 509963 12470 965 410 0 505436 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2039852 KiB
Current children cumulated memory: 49880 KiB
[startup+0.700279 s]
/proc/loadavg: 2.06 2.03 2.84 3/199 5094
/proc/meminfo: memFree=21167788/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2039852 memory=49880 CPUtime=0.69 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 3020 0 0 0 69 0 0 0 20 0 1 0 409816404 2088808448 12470 33554432000 4194304 5870510 140724202630784 140724202629896 5562104 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 509963 12470 965 410 0 505436 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039852 KiB
Current children cumulated memory: 49880 KiB
[startup+1.50028 s]
/proc/loadavg: 2.06 2.03 2.84 3/199 5094
/proc/meminfo: memFree=21159232/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2039984 memory=49880 CPUtime=1.49 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 3029 0 0 0 149 0 0 0 20 0 1 0 409816404 2088943616 12470 33554432000 4194304 5870510 140724202630784 140724202629896 5478384 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 509996 12470 965 410 0 505469 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039984 KiB
Current children cumulated memory: 49880 KiB
[startup+3.10945 s]
/proc/loadavg: 2.06 2.03 2.84 3/199 5094
/proc/meminfo: memFree=21121760/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2043892 memory=54880 CPUtime=3.1 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 6691 0 0 0 309 1 0 0 20 0 1 0 409816404 2092945408 13720 33554432000 4194304 5870510 140724202630784 140724202630040 5263036 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 510973 13720 997 410 0 506446 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2043892 KiB
Current children cumulated memory: 54880 KiB
[startup+6.30035 s]
/proc/loadavg: 2.05 2.03 2.84 3/199 5094
/proc/meminfo: memFree=21230292/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2068560 memory=70512 CPUtime=6.29 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 9840 0 0 0 626 3 0 0 20 0 1 0 409816404 2118205440 17628 33554432000 4194304 5870510 140724202630784 140724202629144 5277544 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 517140 17628 997 410 0 512613 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2068560 KiB
Current children cumulated memory: 70512 KiB
[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 2.83 3/199 5094
/proc/meminfo: memFree=21196632/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2087960 memory=95288 CPUtime=12.69 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 20103 0 0 0 1264 5 0 0 20 0 1 0 409816404 2138071040 23822 33554432000 4194304 5870510 140724202630784 140724202629224 140595882515488 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 521990 23822 997 410 0 517463 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2087960 KiB
Current children cumulated memory: 95288 KiB
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.82 3/200 5096
/proc/meminfo: memFree=21171288/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2150616 memory=144476 CPUtime=25.49 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 25370 0 0 0 2543 6 0 0 20 0 1 0 409816404 2202230784 36119 33554432000 4194304 5870510 140724202630784 140724202629352 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 537654 36119 1004 410 0 533127 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2150616 KiB
Current children cumulated memory: 144476 KiB
[startup+51.1089 s]
/proc/loadavg: 2.08 2.04 2.80 3/199 5097
/proc/meminfo: memFree=21185068/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=51.1 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 30067 0 0 0 5103 7 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629976 140595877277575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.76 3/200 5102
/proc/meminfo: memFree=21147900/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=102.29 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 34849 0 0 0 10220 9 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5282729 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.71 3/200 5108
/proc/meminfo: memFree=21061072/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=162.29 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 38676 0 0 0 16220 9 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629960 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.67 3/200 5112
/proc/meminfo: memFree=21172692/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=222.29 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 42659 0 0 0 22219 10 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629960 5310317 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.63 3/200 5116
/proc/meminfo: memFree=21143548/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=282.29 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 42687 0 0 0 28219 10 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629960 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.59 3/200 5122
/proc/meminfo: memFree=21103308/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=342.29 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 46678 0 0 0 34218 11 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5272968 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.55 3/199 5126
/proc/meminfo: memFree=21037468/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=402.3 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 46888 0 0 0 40218 12 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5272571 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.52 3/200 5138
/proc/meminfo: memFree=21059748/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=462.3 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 50495 0 0 0 46217 13 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629960 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.48 3/200 5144
/proc/meminfo: memFree=21072284/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=522.3 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 50896 0 0 0 52216 14 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 522.3 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.46 3/200 5148
/proc/meminfo: memFree=21128336/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=582.29 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 54885 0 0 0 58214 15 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629960 5277440 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 582.29 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+636.764 s]
# the end of solver process 5093 was just reported to runsolver
# cumulated CPU time of all completed processes: user=636.604 s, system=0.167001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.03 2.03 2.46 3/200 5148
/proc/meminfo: memFree=21077136/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=588.8 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55084 0 0 0 58864 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 588.8 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+614.4 s]
/proc/loadavg: 2.02 2.02 2.45 3/200 5151
/proc/meminfo: memFree=21075088/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=614.4 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55096 0 0 0 61424 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 614.4 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+627.2 s]
/proc/loadavg: 2.02 2.02 2.44 3/200 5151
/proc/meminfo: memFree=21070108/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=627.2 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55096 0 0 0 62704 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5272939 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 627.2 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+633.6 s]
/proc/loadavg: 2.01 2.02 2.44 3/200 5152
/proc/meminfo: memFree=21050940/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=633.6 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55096 0 0 0 63344 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5272932 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 633.6 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+635.2 s]
/proc/loadavg: 2.01 2.02 2.44 3/200 5152
/proc/meminfo: memFree=21088308/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=635.2 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55096 0 0 0 63504 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 635.2 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+636 s]*
/proc/loadavg: 2.01 2.02 2.43 3/200 5152
/proc/meminfo: memFree=21076020/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=636.01 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55096 0 0 0 63585 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5289552 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 636.01 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+636.4 s]
/proc/loadavg: 2.01 2.02 2.43 3/200 5152
/proc/meminfo: memFree=21076020/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=636.4 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55096 0 0 0 63624 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 636.4 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+636.6 s]
/proc/loadavg: 2.01 2.02 2.43 3/200 5152
/proc/meminfo: memFree=21076020/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=636.6 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55096 0 0 0 63644 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 140595877672968 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 636.6 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
[startup+636.7 s]
/proc/loadavg: 2.01 2.02 2.43 3/200 5152
/proc/meminfo: memFree=21076020/32770624 swapFree=66939828/67108860
[pid=5093] ppid=5090 vsize=2101296 memory=113092 CPUtime=636.7 cores=1,3,5,7
/proc/5093/stat : 5093 (xcsp_picat) R 5090 5093 3880 0 -1 4202496 55096 0 0 0 63654 16 0 0 20 0 1 0 409816404 2151727104 28273 33554432000 4194304 5870510 140724202630784 140724202629800 5288833 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37031936 140724202632223 140724202632301 140724202632301 140724202635210 0
/proc/5093/statm: 525324 28273 1004 410 0 520797 0
Current children cumulated CPU time: 636.7 s
Current children cumulated vsize: 2101296 KiB
Current children cumulated memory: 113092 KiB
Child status: 0
Real time (s): 636.764
CPU time (s): 636.771
CPU user time (s): 636.604
CPU system time (s): 0.167001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2150616
Max. memory (cumulated for all children) (KiB): 156712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.604
system time used= 0.167001
maximum resident set size= 156712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55139
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= 4
involuntary context switches= 210
# summary of solver processes directly reported to runsolver:
# pid: 5093
# total CPU time (s): 636.771
# total CPU user time (s): 636.604
# total CPU system time (s): 0.167001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.65091 second user time and 4.36807 second system time
The end