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 (14334 MiB free)
memory of node 1: 16384 MiB (15153 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395359-1568328216/watcher-4395359-1568328216 -o /tmp/evaluation-result-4395359-1568328216/solver-4395359-1568328216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4395359-1568328216.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
Current StackSize limit: 8192 KiB
solver pid=16673, runsolver pid=16670
[startup+0.100173 s]*
/proc/loadavg: 2.00 2.03 2.05 3/206 16674
/proc/meminfo: memFree=30166412/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2031716 memory=35688 CPUtime=0.1 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 1428 0 0 0 10 0 0 0 20 0 1 0 408744302 2080477184 8922 33554432000 4194304 5870510 140736542678784 140736542675928 5118675 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 507929 8922 873 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35688 KiB
[startup+0.210328 s]*
/proc/loadavg: 2.00 2.03 2.05 3/206 16674
/proc/meminfo: memFree=30154124/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2031716 memory=45928 CPUtime=0.21 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 1442 0 0 0 20 1 0 0 20 0 1 0 408744302 2080477184 11482 33554432000 4194304 5870510 140736542678784 140736542675928 4432368 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 507929 11482 873 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 45928 KiB
[startup+0.310178 s]*
/proc/loadavg: 2.00 2.03 2.05 3/206 16674
/proc/meminfo: memFree=30134452/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2031716 memory=65388 CPUtime=0.31 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 1738 0 0 0 30 1 0 0 20 0 1 0 408744302 2080477184 16347 33554432000 4194304 5870510 140736542678784 140736542675928 4506224 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 507929 16347 888 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 65388 KiB
[startup+0.700288 s]
/proc/loadavg: 2.00 2.03 2.05 3/206 16674
/proc/meminfo: memFree=30070068/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2076932 memory=130124 CPUtime=0.69 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 11099 0 0 0 67 2 0 0 20 0 1 0 408744302 2126778368 32531 33554432000 4194304 5870510 140736542678784 140736542677880 5405743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 519233 32531 953 410 0 514706 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2076932 KiB
Current children cumulated memory: 130124 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/206 16674
/proc/meminfo: memFree=30066128/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2078076 memory=133292 CPUtime=1.49 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 11387 0 0 0 145 4 0 0 20 0 1 0 408744302 2127949824 33323 33554432000 4194304 5870510 140736542678784 140736542677880 140666333843335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 519519 33323 972 410 0 514992 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2078076 KiB
Current children cumulated memory: 133292 KiB
[startup+3.11001 s]
/proc/loadavg: 2.00 2.03 2.05 3/206 16674
/proc/meminfo: memFree=30021748/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2151212 memory=190348 CPUtime=3.1 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 28882 0 0 0 290 20 0 0 20 0 1 0 408744302 2202841088 47587 33554432000 4194304 5870510 140736542678784 140736542677880 140666333383653 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 537803 47587 972 410 0 533276 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2151212 KiB
Current children cumulated memory: 190348 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.05 2.05 3/206 16674
/proc/meminfo: memFree=29982428/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2190160 memory=222124 CPUtime=6.29 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 37958 0 0 0 608 21 0 0 20 0 1 0 408744302 2242723840 55531 33554432000 4194304 5870510 140736542678784 140736542678024 5477031 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 547540 55531 972 410 0 543013 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2190160 KiB
Current children cumulated memory: 222124 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.05 3/206 16674
/proc/meminfo: memFree=30007180/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2195552 memory=230804 CPUtime=12.69 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 47906 0 0 0 1246 23 0 0 20 0 1 0 408744302 2248245248 57701 33554432000 4194304 5870510 140736542678784 140736542677880 140666333843335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 548888 57701 972 410 0 544361 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2195552 KiB
Current children cumulated memory: 230804 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.05 2.05 3/206 16674
/proc/meminfo: memFree=29969172/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2197680 memory=235364 CPUtime=25.49 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 55949 0 0 0 2524 25 0 0 20 0 1 0 408744302 2250424320 58841 33554432000 4194304 5870510 140736542678784 140736542678040 5406782 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 549420 58841 972 410 0 544893 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2197680 KiB
Current children cumulated memory: 235364 KiB
[startup+51.1094 s]
/proc/loadavg: 2.04 2.04 2.05 3/205 16678
/proc/meminfo: memFree=29963256/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2198880 memory=236644 CPUtime=51.1 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 62898 0 0 0 5083 27 0 0 20 0 1 0 408744302 2251653120 59161 33554432000 4194304 5870510 140736542678784 140736542677896 5478360 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 549720 59161 972 410 0 545193 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2198880 KiB
Current children cumulated memory: 236644 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/205 16683
/proc/meminfo: memFree=30053708/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2089120 memory=146388 CPUtime=102.28 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 127264 0 0 0 10186 42 0 0 20 0 1 0 408744302 2139258880 36597 33554432000 4194304 5870510 140736542678784 140736542676936 5562059 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 522280 36597 993 410 0 517753 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2089120 KiB
Current children cumulated memory: 146388 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/205 16687
/proc/meminfo: memFree=29952164/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2199316 memory=246012 CPUtime=162.28 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 143595 0 0 0 16158 70 0 0 20 0 1 0 408744302 2252099584 61503 33554432000 4194304 5870510 140736542678784 140736542677896 5478381 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 549829 61503 993 410 0 545302 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2199316 KiB
Current children cumulated memory: 246012 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/206 16693
/proc/meminfo: memFree=29928096/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2223764 memory=267556 CPUtime=222.28 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 191627 0 0 0 22126 102 0 0 20 0 1 0 408744302 2277134336 66889 33554432000 4194304 5870510 140736542678784 140736542678024 5562032 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555941 66889 1002 410 0 551414 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 267556 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 16697
/proc/meminfo: memFree=29934808/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2223764 memory=269604 CPUtime=282.27 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 194253 0 0 0 28119 108 0 0 20 0 1 0 408744302 2277134336 67401 33554432000 4194304 5870510 140736542678784 140736542678040 140666333843335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555941 67401 1002 410 0 551414 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 269604 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16701
/proc/meminfo: memFree=29934036/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2223764 memory=269520 CPUtime=342.27 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 215338 0 0 0 34088 139 0 0 20 0 1 0 408744302 2277134336 67380 33554432000 4194304 5870510 140736542678784 140736542678040 5478381 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555941 67380 1002 410 0 551414 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 269520 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 16707
/proc/meminfo: memFree=29923064/32770624 swapFree=67008724/67108860
[pid=16673] ppid=16670 vsize=2223764 memory=273704 CPUtime=402.27 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 227335 0 0 0 40082 145 0 0 20 0 1 0 408744302 2277134336 68426 33554432000 4194304 5870510 140736542678784 140736542678040 5343795 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555941 68426 1002 410 0 551414 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 273704 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16717
/proc/meminfo: memFree=29919304/32770624 swapFree=67008728/67108860
[pid=16673] ppid=16670 vsize=2223764 memory=269608 CPUtime=462.26 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 250135 0 0 0 46051 175 0 0 20 0 1 0 408744302 2277134336 67402 33554432000 4194304 5870510 140736542678784 140736542677976 5478381 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555941 67402 1003 410 0 551414 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 269608 KiB
################
# More data... #
################
Current children cumulated memory: 278440 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16762
/proc/meminfo: memFree=29847636/32770624 swapFree=67008728/67108860
[pid=16673] ppid=16670 vsize=2298024 memory=344020 CPUtime=1002.23 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 337185 0 0 0 99909 314 0 0 20 0 1 0 408744302 2353176576 86005 33554432000 4194304 5870510 140736542678784 140736542677112 5343731 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 574506 86005 1010 410 0 569979 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 2298024 KiB
Current children cumulated memory: 344020 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16771
/proc/meminfo: memFree=29912344/32770624 swapFree=67008732/67108860
[pid=16673] ppid=16670 vsize=2223880 memory=278476 CPUtime=1062.22 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 341339 0 0 0 105883 339 0 0 20 0 1 0 408744302 2277253120 69619 33554432000 4194304 5870510 140736542678784 140736542677896 5478371 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555970 69619 1010 410 0 551443 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 278476 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16800
/proc/meminfo: memFree=30017508/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2131252 memory=200672 CPUtime=1122.21 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 350314 0 0 0 111856 365 0 0 20 0 1 0 408744302 2182402048 50168 33554432000 4194304 5870510 140736542678784 140736542677880 5394535 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 532813 50168 1010 410 0 528286 0
Current children cumulated CPU time: 1122.21 s
Current children cumulated vsize: 2131252 KiB
Current children cumulated memory: 200672 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16866
/proc/meminfo: memFree=30240432/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2223880 memory=278476 CPUtime=1182.21 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 353914 0 0 0 117847 374 0 0 20 0 1 0 408744302 2277253120 69619 33554432000 4194304 5870510 140736542678784 140736542677896 5562056 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555970 69619 1010 410 0 551443 0
Current children cumulated CPU time: 1182.21 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 278476 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16931
/proc/meminfo: memFree=28178884/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2223880 memory=276236 CPUtime=1242.2 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 370339 0 0 0 123817 403 0 0 20 0 1 0 408744302 2277253120 69059 33554432000 4194304 5870510 140736542678784 140736542678024 140666333843335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555970 69059 1010 410 0 551443 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 276236 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 16937
/proc/meminfo: memFree=28176680/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2223880 memory=278468 CPUtime=1302.2 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 370379 0 0 0 129812 408 0 0 20 0 1 0 408744302 2277253120 69617 33554432000 4194304 5870510 140736542678784 140736542678040 140666333381426 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555970 69617 1010 410 0 551443 0
Current children cumulated CPU time: 1302.2 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 278468 KiB
[startup+1337.54 s]
# the end of solver process 16673 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1333.28 s, system=4.16174 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 16938
/proc/meminfo: memFree=28176384/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2223880 memory=278468 CPUtime=1305.5 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 370380 0 0 0 130142 408 0 0 20 0 1 0 408744302 2277253120 69617 33554432000 4194304 5870510 140736542678784 140736542677896 5562064 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555970 69617 1010 410 0 551443 0
Current children cumulated CPU time: 1305.5 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 278468 KiB
[startup+1318.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16939
/proc/meminfo: memFree=28176848/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2223880 memory=278476 CPUtime=1318.3 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 370700 0 0 0 131420 410 0 0 20 0 1 0 408744302 2277253120 69619 33554432000 4194304 5870510 140736542678784 140736542678040 5406538 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 555970 69619 1010 410 0 551443 0
Current children cumulated CPU time: 1318.3 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 278476 KiB
[startup+1331.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16939
/proc/meminfo: memFree=28111136/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2266820 memory=325432 CPUtime=1331.1 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 378170 0 0 0 132695 415 0 0 20 0 1 0 408744302 2321223680 81358 33554432000 4194304 5870510 140736542678784 140736542676936 140666333381770 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 566705 81358 1010 410 0 562178 0
Current children cumulated CPU time: 1331.1 s
Current children cumulated vsize: 2266820 KiB
Current children cumulated memory: 325432 KiB
[startup+1334.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16939
/proc/meminfo: memFree=28135400/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2247868 memory=306736 CPUtime=1334.3 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 379145 0 0 0 133015 415 0 0 20 0 1 0 408744302 2301816832 76684 33554432000 4194304 5870510 140736542678784 140736542678040 5282828 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 561967 76684 1010 410 0 557440 0
Current children cumulated CPU time: 1334.3 s
Current children cumulated vsize: 2247868 KiB
Current children cumulated memory: 306736 KiB
[startup+1336 s]*
/proc/loadavg: 2.00 2.01 2.05 3/205 16939
/proc/meminfo: memFree=28148372/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2247868 memory=306736 CPUtime=1335.91 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 379176 0 0 0 133176 415 0 0 20 0 1 0 408744302 2301816832 76684 33554432000 4194304 5870510 140736542678784 140736542678040 5282578 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 561967 76684 1010 410 0 557440 0
Current children cumulated CPU time: 1335.91 s
Current children cumulated vsize: 2247868 KiB
Current children cumulated memory: 306736 KiB
[startup+1336.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16939
/proc/meminfo: memFree=28148372/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2247868 memory=306736 CPUtime=1336.7 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 379186 0 0 0 133255 415 0 0 20 0 1 0 408744302 2301816832 76684 33554432000 4194304 5870510 140736542678784 140736542677768 5282578 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 561967 76684 1010 410 0 557440 0
Current children cumulated CPU time: 1336.7 s
Current children cumulated vsize: 2247868 KiB
Current children cumulated memory: 306736 KiB
[startup+1337.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16939
/proc/meminfo: memFree=28134036/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2266544 memory=321124 CPUtime=1337.1 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 379253 0 0 0 133295 415 0 0 20 0 1 0 408744302 2320941056 80281 33554432000 4194304 5870510 140736542678784 140736542677320 5282632 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 566636 80281 1010 410 0 562109 0
Current children cumulated CPU time: 1337.1 s
Current children cumulated vsize: 2266544 KiB
Current children cumulated memory: 321124 KiB
[startup+1337.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16939
/proc/meminfo: memFree=28134036/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2266544 memory=323172 CPUtime=1337.3 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 379257 0 0 0 133315 415 0 0 20 0 1 0 408744302 2320941056 80793 33554432000 4194304 5870510 140736542678784 140736542677320 5267696 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 566636 80793 1010 410 0 562109 0
Current children cumulated CPU time: 1337.3 s
Current children cumulated vsize: 2266544 KiB
Current children cumulated memory: 323172 KiB
[startup+1337.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 16939
/proc/meminfo: memFree=28134036/32770624 swapFree=67008744/67108860
[pid=16673] ppid=16670 vsize=2266544 memory=323172 CPUtime=1337.4 cores=1,3,5,7
/proc/16673/stat : 16673 (xcsp_picat) R 16670 16673 14854 0 -1 4202496 379257 0 0 0 133325 415 0 0 20 0 1 0 408744302 2320941056 80793 33554432000 4194304 5870510 140736542678784 140736542677320 5282578 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40382464 140736542680095 140736542680173 140736542680173 140736542683082 0
/proc/16673/statm: 566636 80793 1010 410 0 562109 0
Current children cumulated CPU time: 1337.4 s
Current children cumulated vsize: 2266544 KiB
Current children cumulated memory: 323172 KiB
Child status: 0
Real time (s): 1337.54
CPU time (s): 1337.45
CPU user time (s): 1333.28
CPU system time (s): 4.16174
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 2347636
Max. memory (cumulated for all children) (KiB): 387700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1333.28
system time used= 4.16174
maximum resident set size= 387700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379282
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= 13
involuntary context switches= 506
# summary of solver processes directly reported to runsolver:
# pid: 16673
# total CPU time (s): 1337.45
# total CPU user time (s): 1333.28
# total CPU system time (s): 4.16174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18151 second user time and 9.11722 second system time
The end