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 (15119 MiB free)
memory of node 1: 16384 MiB (15082 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395648-1568339308/watcher-4395648-1568339308 -o /tmp/evaluation-result-4395648-1568339308/solver-4395648-1568339308 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568323825-31468 --watchdog 2560 xcsp_picat HOME/instance-4395648-1568339308.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
solver pid=3872, runsolver pid=3869
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 2.01 2.04 2.05 3/202 3873
/proc/meminfo: memFree=30916556/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2036624 memory=14612 CPUtime=0.1 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 1765 0 0 0 10 0 0 0 20 0 1 0 410180335 2085502976 3653 33554432000 4194304 5870510 140728266903408 140728266900552 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 509156 3653 963 410 0 504629 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 14612 KiB
[startup+0.209858 s]*
/proc/loadavg: 2.01 2.04 2.05 3/202 3873
/proc/meminfo: memFree=30916556/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2036560 memory=14616 CPUtime=0.21 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 1780 0 0 0 21 0 0 0 20 0 1 0 410180335 2085437440 3654 33554432000 4194304 5870510 140728266903408 140728266900552 5478371 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 509140 3654 964 410 0 504613 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036560 KiB
Current children cumulated memory: 14616 KiB
[startup+0.3091 s]*
/proc/loadavg: 2.01 2.04 2.05 3/202 3873
/proc/meminfo: memFree=30916184/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2036560 memory=14616 CPUtime=0.31 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 1784 0 0 0 31 0 0 0 20 0 1 0 410180335 2085437440 3654 33554432000 4194304 5870510 140728266903408 140728266900552 140556998020999 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 509140 3654 964 410 0 504613 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036560 KiB
Current children cumulated memory: 14616 KiB
[startup+0.700275 s]
/proc/loadavg: 2.01 2.04 2.05 3/202 3873
/proc/meminfo: memFree=30915116/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2035056 memory=16756 CPUtime=0.69 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 2363 0 0 0 69 0 0 0 20 0 1 0 410180335 2083897344 4189 33554432000 4194304 5870510 140728266903408 140728266902664 140557003260757 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 508764 4189 995 410 0 504237 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035056 KiB
Current children cumulated memory: 16756 KiB
[startup+1.50031 s]
/proc/loadavg: 2.01 2.04 2.05 3/202 3873
/proc/meminfo: memFree=30912808/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2042596 memory=22744 CPUtime=1.49 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 3887 0 0 0 148 1 0 0 20 0 1 0 410180335 2091618304 5686 33554432000 4194304 5870510 140728266903408 140728266901848 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 510649 5686 996 410 0 506122 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2042596 KiB
Current children cumulated memory: 22744 KiB
[startup+3.10968 s]
/proc/loadavg: 2.01 2.04 2.05 3/202 3873
/proc/meminfo: memFree=30903332/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2045460 memory=27716 CPUtime=3.1 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 6776 0 0 0 309 1 0 0 20 0 1 0 410180335 2094551040 6929 33554432000 4194304 5870510 140728266903408 140728266901848 5282475 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 511365 6929 996 410 0 506838 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2045460 KiB
Current children cumulated memory: 27716 KiB
[startup+6.30028 s]
/proc/loadavg: 2.01 2.04 2.05 3/202 3873
/proc/meminfo: memFree=30869288/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2048168 memory=27684 CPUtime=6.29 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 10677 0 0 0 627 2 0 0 20 0 1 0 410180335 2097324032 6921 33554432000 4194304 5870510 140728266903408 140728266901848 5283067 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 512042 6921 996 410 0 507515 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2048168 KiB
Current children cumulated memory: 27684 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.04 2.05 3/202 3873
/proc/meminfo: memFree=30896660/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2052588 memory=34916 CPUtime=12.69 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 13769 0 0 0 1267 2 0 0 20 0 1 0 410180335 2101850112 8729 33554432000 4194304 5870510 140728266903408 140728266901976 5272987 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 513147 8729 996 410 0 508620 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2052588 KiB
Current children cumulated memory: 34916 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/203 3875
/proc/meminfo: memFree=30893296/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2060856 memory=41036 CPUtime=25.49 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 19776 0 0 0 2546 3 0 0 20 0 1 0 410180335 2110316544 10259 33554432000 4194304 5870510 140728266903408 140728266901848 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 515214 10259 996 410 0 510687 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2060856 KiB
Current children cumulated memory: 41036 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.03 2.05 3/202 3875
/proc/meminfo: memFree=30880052/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2073320 memory=49848 CPUtime=51.09 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 27227 0 0 0 5106 3 0 0 20 0 1 0 410180335 2123079680 12462 33554432000 4194304 5870510 140728266903408 140728266901848 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 518330 12462 996 410 0 513803 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2073320 KiB
Current children cumulated memory: 49848 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/202 3943
/proc/meminfo: memFree=30983068/32770624 swapFree=66966364/67108860
[pid=3872] ppid=3869 vsize=2053588 memory=38772 CPUtime=102.28 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 33246 0 0 0 10224 4 0 0 20 0 1 0 410180335 2102874112 9693 33554432000 4194304 5870510 140728266903408 140728266901976 5272547 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 513397 9693 1003 410 0 508870 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2053588 KiB
Current children cumulated memory: 38772 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/206 3959
/proc/meminfo: memFree=30951908/32770624 swapFree=66966380/67108860
[pid=3872] ppid=3869 vsize=2073408 memory=60324 CPUtime=162.28 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 40874 0 0 0 16223 5 0 0 20 0 1 0 410180335 2123169792 15081 33554432000 4194304 5870510 140728266903408 140728266901848 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 518352 15081 1003 410 0 513825 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2073408 KiB
Current children cumulated memory: 60324 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 4024
/proc/meminfo: memFree=30969168/32770624 swapFree=66966380/67108860
[pid=3872] ppid=3869 vsize=2062536 memory=48960 CPUtime=222.28 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 45593 0 0 0 22221 7 0 0 20 0 1 0 410180335 2112036864 12240 33554432000 4194304 5870510 140728266903408 140728266902520 5272646 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 515634 12240 1003 410 0 511107 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2062536 KiB
Current children cumulated memory: 48960 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4028
/proc/meminfo: memFree=30941588/32770624 swapFree=66966380/67108860
[pid=3872] ppid=3869 vsize=2074696 memory=61796 CPUtime=282.28 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 50596 0 0 0 28220 8 0 0 20 0 1 0 410180335 2124488704 15449 33554432000 4194304 5870510 140728266903408 140728266901976 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 518674 15449 1003 410 0 514147 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2074696 KiB
Current children cumulated memory: 61796 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 4034
/proc/meminfo: memFree=30954628/32770624 swapFree=66966380/67108860
[pid=3872] ppid=3869 vsize=2066032 memory=52680 CPUtime=342.27 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 53425 0 0 0 34218 9 0 0 20 0 1 0 410180335 2115616768 13170 33554432000 4194304 5870510 140728266903408 140728266901848 5283064 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 516508 13170 1003 410 0 511981 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2066032 KiB
Current children cumulated memory: 52680 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4038
/proc/meminfo: memFree=30948624/32770624 swapFree=66966380/67108860
[pid=3872] ppid=3869 vsize=2078240 memory=61452 CPUtime=402.27 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 57630 0 0 0 40218 9 0 0 20 0 1 0 410180335 2128117760 15363 33554432000 4194304 5870510 140728266903408 140728266901848 5272962 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519560 15363 1003 410 0 515033 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2078240 KiB
Current children cumulated memory: 61452 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4043
/proc/meminfo: memFree=30931984/32770624 swapFree=66966384/67108860
[pid=3872] ppid=3869 vsize=2066996 memory=52232 CPUtime=462.26 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 60117 0 0 0 46216 10 0 0 20 0 1 0 410180335 2116603904 13058 33554432000 4194304 5870510 140728266903408 140728266902520 5272880 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 516749 13058 1003 410 0 512222 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2066996 KiB
Current children cumulated memory: 52232 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4049
/proc/meminfo: memFree=30953128/32770624 swapFree=66966384/67108860
[pid=3872] ppid=3869 vsize=2054600 memory=37124 CPUtime=522.26 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 66382 0 0 0 52215 11 0 0 20 0 1 0 410180335 2103910400 9281 33554432000 4194304 5870510 140728266903408 140728266901848 5274927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 513650 9281 1003 410 0 509123 0
Current children cumulated CPU time: 522.26 s
Current children cumulated vsize: 2054600 KiB
Current children cumulated memory: 37124 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4053
/proc/meminfo: memFree=30935392/32770624 swapFree=66966384/67108860
[pid=3872] ppid=3869 vsize=2076864 memory=59740 CPUtime=582.26 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 69098 0 0 0 58214 12 0 0 20 0 1 0 410180335 2126708736 14935 33554432000 4194304 5870510 140728266903408 140728266901848 5272433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519216 14935 1003 410 0 514689 0
Current children cumulated CPU time: 582.26 s
Current children cumulated vsize: 2076864 KiB
Current children cumulated memory: 59740 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4058
/proc/meminfo: memFree=30946672/32770624 swapFree=66966384/67108860
[pid=3872] ppid=3869 vsize=2076864 memory=63964 CPUtime=642.26 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 74180 0 0 0 64213 13 0 0 20 0 1 0 410180335 2126708736 15991 33554432000 4194304 5870510 140728266903408 140728266901848 5272711 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519216 15991 1003 410 0 514689 0
Current children cumulated CPU time: 642.26 s
Current children cumulated vsize: 2076864 KiB
Current children cumulated memory: 63964 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4065
/proc/meminfo: memFree=30927480/32770624 swapFree=66966384/67108860
[pid=3872] ppid=3869 vsize=2077576 memory=58872 CPUtime=702.25 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 77268 0 0 0 70211 14 0 0 20 0 1 0 410180335 2127437824 14718 33554432000 4194304 5870510 140728266903408 140728266901848 5283126 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519394 14718 1003 410 0 514867 0
Current children cumulated CPU time: 702.25 s
Current children cumulated vsize: 2077576 KiB
Current children cumulated memory: 58872 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4077
/proc/meminfo: memFree=30948412/32770624 swapFree=66966388/67108860
[pid=3872] ppid=3869 vsize=2054628 memory=41680 CPUtime=762.25 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 81162 0 0 0 76210 15 0 0 20 0 1 0 410180335 2103939072 10420 33554432000 4194304 5870510 140728266903408 140728266901976 5272427 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 513657 10420 1003 410 0 509130 0
Current children cumulated CPU time: 762.25 s
Current children cumulated vsize: 2054628 KiB
Current children cumulated memory: 41680 KiB
[startup+822.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/205 4104
/proc/meminfo: memFree=30932612/32770624 swapFree=66966400/67108860
[pid=3872] ppid=3869 vsize=2077052 memory=62964 CPUtime=822.25 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 82496 0 0 0 82210 15 0 0 20 0 1 0 410180335 2126901248 15741 33554432000 4194304 5870510 140728266903408 140728266901848 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519263 15741 1003 410 0 514736 0
Current children cumulated CPU time: 822.25 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62964 KiB
[startup+844.385 s]
# the end of solver process 3872 was just reported to runsolver
# cumulated CPU time of all completed processes: user=844.186 s, system=0.158993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+832 s]*
/proc/loadavg: 2.44 2.12 2.08 3/205 4104
/proc/meminfo: memFree=30929140/32770624 swapFree=66966400/67108860
[pid=3872] ppid=3869 vsize=2077052 memory=62964 CPUtime=831.95 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 82496 0 0 0 83180 15 0 0 20 0 1 0 410180335 2126901248 15741 33554432000 4194304 5870510 140728266903408 140728266901848 5283076 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519263 15741 1003 410 0 514736 0
Current children cumulated CPU time: 831.95 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62964 KiB
[startup+838.4 s]
/proc/loadavg: 2.53 2.15 2.09 3/205 4106
/proc/meminfo: memFree=30928872/32770624 swapFree=66966400/67108860
[pid=3872] ppid=3869 vsize=2077052 memory=62964 CPUtime=838.35 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 82496 0 0 0 83820 15 0 0 20 0 1 0 410180335 2126901248 15741 33554432000 4194304 5870510 140728266903408 140728266901848 140557003240262 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519263 15741 1003 410 0 514736 0
Current children cumulated CPU time: 838.35 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62964 KiB
[startup+841.6 s]
/proc/loadavg: 2.53 2.15 2.09 3/205 4107
/proc/meminfo: memFree=30926572/32770624 swapFree=66966400/67108860
[pid=3872] ppid=3869 vsize=2077052 memory=62964 CPUtime=841.55 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 82496 0 0 0 84140 15 0 0 20 0 1 0 410180335 2126901248 15741 33554432000 4194304 5870510 140728266903408 140728266901848 5282588 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519263 15741 1003 410 0 514736 0
Current children cumulated CPU time: 841.55 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62964 KiB
[startup+843.2 s]
/proc/loadavg: 2.57 2.17 2.09 3/205 4107
/proc/meminfo: memFree=30960108/32770624 swapFree=66966400/67108860
[pid=3872] ppid=3869 vsize=2077052 memory=62964 CPUtime=843.15 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 82496 0 0 0 84300 15 0 0 20 0 1 0 410180335 2126901248 15741 33554432000 4194304 5870510 140728266903408 140728266901848 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519263 15741 1003 410 0 514736 0
Current children cumulated CPU time: 843.15 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62964 KiB
[startup+844 s]*
/proc/loadavg: 2.57 2.17 2.09 3/205 4107
/proc/meminfo: memFree=30956908/32770624 swapFree=66966400/67108860
[pid=3872] ppid=3869 vsize=2077052 memory=62964 CPUtime=843.95 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 82496 0 0 0 84380 15 0 0 20 0 1 0 410180335 2126901248 15741 33554432000 4194304 5870510 140728266903408 140728266901848 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519263 15741 1003 410 0 514736 0
Current children cumulated CPU time: 843.95 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62964 KiB
[startup+844.2 s]
/proc/loadavg: 2.57 2.17 2.09 3/205 4107
/proc/meminfo: memFree=30956908/32770624 swapFree=66966400/67108860
[pid=3872] ppid=3869 vsize=2077052 memory=62964 CPUtime=844.15 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 82496 0 0 0 84400 15 0 0 20 0 1 0 410180335 2126901248 15741 33554432000 4194304 5870510 140728266903408 140728266901848 5283072 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519263 15741 1003 410 0 514736 0
Current children cumulated CPU time: 844.15 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62964 KiB
[startup+844.3 s]
/proc/loadavg: 2.57 2.17 2.09 3/205 4107
/proc/meminfo: memFree=30956908/32770624 swapFree=66966400/67108860
[pid=3872] ppid=3869 vsize=2077052 memory=62964 CPUtime=844.25 cores=1,3,5,7
/proc/3872/stat : 3872 (xcsp_picat) R 3869 3872 31436 0 -1 4202496 82496 0 0 0 84410 15 0 0 20 0 1 0 410180335 2126901248 15741 33554432000 4194304 5870510 140728266903408 140728266901848 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 25661440 140728266904607 140728266904685 140728266904685 140728266907594 0
/proc/3872/statm: 519263 15741 1003 410 0 514736 0
Current children cumulated CPU time: 844.25 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62964 KiB
Child status: 0
Real time (s): 844.385
CPU time (s): 844.345
CPU user time (s): 844.186
CPU system time (s): 0.158993
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 2080552
Max. memory (cumulated for all children) (KiB): 65192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 844.186
system time used= 0.158993
maximum resident set size= 65192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82521
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= 7
involuntary context switches= 732
# summary of solver processes directly reported to runsolver:
# pid: 3872
# total CPU time (s): 844.345
# total CPU user time (s): 844.186
# total CPU system time (s): 0.158993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.96983 second user time and 6.21384 second system time
The end