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 (9781 MiB free)
memory of node 1: 16384 MiB (11574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395347-1568334934/watcher-4395347-1568334934 -o /tmp/evaluation-result-4395347-1568334934/solver-4395347-1568334934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24210 --watchdog 2580 xcsp_picat HOME/instance-4395347-1568334934.xml
running on 4 cores: 0,2,4,6
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
solver pid=28156, runsolver pid=28153
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 2.01 2.03 2.05 3/201 28157
/proc/meminfo: memFree=21838668/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2031716 memory=35440 CPUtime=0.1 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 1394 0 0 0 10 0 0 0 20 0 1 0 409431815 2080477184 8860 33554432000 4194304 5870510 140724462450016 140724462447160 4460426 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 507929 8860 869 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35440 KiB
[startup+0.209727 s]*
/proc/loadavg: 2.01 2.03 2.05 3/201 28157
/proc/meminfo: memFree=21822536/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2039808 memory=49924 CPUtime=0.21 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 2489 0 0 0 21 0 0 0 20 0 1 0 409431815 2088763392 12481 33554432000 4194304 5870510 140724462450016 140724462447160 5476925 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 509952 12481 965 410 0 505425 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039808 KiB
Current children cumulated memory: 49924 KiB
[startup+0.309785 s]*
/proc/loadavg: 2.01 2.03 2.05 3/201 28157
/proc/meminfo: memFree=21819868/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2039940 memory=49924 CPUtime=0.31 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 2496 0 0 0 31 0 0 0 20 0 1 0 409431815 2088898560 12481 33554432000 4194304 5870510 140724462450016 140724462447160 5562064 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 509985 12481 965 410 0 505458 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2039940 KiB
Current children cumulated memory: 49924 KiB
[startup+0.700226 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 28157
/proc/meminfo: memFree=21819868/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2039940 memory=49924 CPUtime=0.69 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 2501 0 0 0 69 0 0 0 20 0 1 0 409431815 2088898560 12481 33554432000 4194304 5870510 140724462450016 140724462449128 5478360 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 509985 12481 965 410 0 505458 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039940 KiB
Current children cumulated memory: 49924 KiB
[startup+1.50022 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 28157
/proc/meminfo: memFree=21817944/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2039940 memory=49924 CPUtime=1.49 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 2508 0 0 0 149 0 0 0 20 0 1 0 409431815 2088898560 12481 33554432000 4194304 5870510 140724462450016 140724462449128 139958286680004 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 509985 12481 965 410 0 505458 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039940 KiB
Current children cumulated memory: 49924 KiB
[startup+3.10952 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 28157
/proc/meminfo: memFree=21808768/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2043976 memory=54180 CPUtime=3.1 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 5221 0 0 0 309 1 0 0 20 0 1 0 409431815 2093031424 13545 33554432000 4194304 5870510 140724462450016 140724462449272 5282382 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 510994 13545 998 410 0 506467 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2043976 KiB
Current children cumulated memory: 54180 KiB
[startup+6.30027 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 28157
/proc/meminfo: memFree=21804268/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2068536 memory=72748 CPUtime=6.29 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 9695 0 0 0 627 2 0 0 20 0 1 0 409431815 2118180864 18187 33554432000 4194304 5870510 140724462450016 140724462449032 5283106 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 517134 18187 998 410 0 512607 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2068536 KiB
Current children cumulated memory: 72748 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 28157
/proc/meminfo: memFree=21785484/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2087880 memory=94212 CPUtime=12.69 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 13001 0 0 0 1266 3 0 0 20 0 1 0 409431815 2137989120 23553 33554432000 4194304 5870510 140724462450016 140724462448456 139958292368144 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 521970 23553 998 410 0 517443 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2087880 KiB
Current children cumulated memory: 94212 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 28158
/proc/meminfo: memFree=21781612/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2087880 memory=94224 CPUtime=25.48 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 16855 0 0 0 2545 3 0 0 20 0 1 0 409431815 2137989120 23556 33554432000 4194304 5870510 140724462450016 140724462449128 5272699 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 521970 23556 998 410 0 517443 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2087880 KiB
Current children cumulated memory: 94224 KiB
[startup+51.1096 s]
/proc/loadavg: 2.13 2.06 2.05 3/200 28160
/proc/meminfo: memFree=21783136/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2087880 memory=94232 CPUtime=51.09 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 18858 0 0 0 5106 3 0 0 20 0 1 0 409431815 2137989120 23558 33554432000 4194304 5870510 140724462450016 140724462449128 5283106 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 521970 23558 998 410 0 517443 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2087880 KiB
Current children cumulated memory: 94232 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/200 28164
/proc/meminfo: memFree=21763180/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2095332 memory=104476 CPUtime=102.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 21369 0 0 0 10224 4 0 0 20 0 1 0 409431815 2145619968 26119 33554432000 4194304 5870510 140724462450016 140724462448456 5282680 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 523833 26119 998 410 0 519306 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2095332 KiB
Current children cumulated memory: 104476 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/200 28168
/proc/meminfo: memFree=21774848/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2075496 memory=83800 CPUtime=162.27 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 25432 0 0 0 16222 5 0 0 20 0 1 0 409431815 2125307904 20950 33554432000 4194304 5870510 140724462450016 140724462448456 5282721 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 518874 20950 1005 410 0 514347 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2075496 KiB
Current children cumulated memory: 83800 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 28174
/proc/meminfo: memFree=21752992/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2072292 memory=83724 CPUtime=222.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 29642 0 0 0 22221 7 0 0 20 0 1 0 409431815 2122027008 20931 33554432000 4194304 5870510 140724462450016 140724462448584 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 518073 20931 1005 410 0 513546 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2072292 KiB
Current children cumulated memory: 83724 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 28178
/proc/meminfo: memFree=21736184/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2087172 memory=99260 CPUtime=282.27 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 31564 0 0 0 28220 7 0 0 20 0 1 0 409431815 2137264128 24815 33554432000 4194304 5870510 140724462450016 140724462448456 5272354 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 521793 24815 1005 410 0 517266 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2087172 KiB
Current children cumulated memory: 99260 KiB
[startup+342.3 s]
/proc/loadavg: 1.94 2.01 2.04 3/200 28190
/proc/meminfo: memFree=21745268/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2083428 memory=89608 CPUtime=342.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 37487 0 0 0 34220 8 0 0 20 0 1 0 409431815 2133430272 22402 33554432000 4194304 5870510 140724462450016 140724462448456 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 520857 22402 1005 410 0 516330 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2083428 KiB
Current children cumulated memory: 89608 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/201 28196
/proc/meminfo: memFree=21722272/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113836 CPUtime=402.27 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 39549 0 0 0 40218 9 0 0 20 0 1 0 409431815 2151858176 28459 33554432000 4194304 5870510 140724462450016 140724462448584 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28459 1005 410 0 520829 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113836 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/200 28200
/proc/meminfo: memFree=21708728/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113940 CPUtime=462.27 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 43214 0 0 0 46218 9 0 0 20 0 1 0 409431815 2151858176 28485 33554432000 4194304 5870510 140724462450016 140724462449128 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28485 1005 410 0 520829 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113940 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28204
/proc/meminfo: memFree=21732292/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2078300 memory=90608 CPUtime=522.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 47329 0 0 0 52218 10 0 0 20 0 1 0 409431815 2128179200 22652 33554432000 4194304 5870510 140724462450016 140724462448456 5282767 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 519575 22652 1005 410 0 515048 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 2078300 KiB
Current children cumulated memory: 90608 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 28210
/proc/meminfo: memFree=21722756/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2087348 memory=99740 CPUtime=582.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 52407 0 0 0 58217 11 0 0 20 0 1 0 409431815 2137444352 24935 33554432000 4194304 5870510 140724462450016 140724462448584 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 521837 24935 1005 410 0 517310 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 2087348 KiB
Current children cumulated memory: 99740 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28214
/proc/meminfo: memFree=21718132/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2094352 memory=106340 CPUtime=642.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 52781 0 0 0 64216 12 0 0 20 0 1 0 409431815 2144616448 26585 33554432000 4194304 5870510 140724462450016 140724462448584 5272544 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 523588 26585 1005 410 0 519061 0
Current children cumulated CPU time: 642.28 s
Current children cumulated vsize: 2094352 KiB
Current children cumulated memory: 106340 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28218
/proc/meminfo: memFree=21698244/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2113320 memory=125648 CPUtime=702.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 59466 0 0 0 70215 13 0 0 20 0 1 0 409431815 2164039680 31412 33554432000 4194304 5870510 140724462450016 140724462448584 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 528330 31412 1005 410 0 523803 0
Current children cumulated CPU time: 702.28 s
Current children cumulated vsize: 2113320 KiB
Current children cumulated memory: 125648 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28224
/proc/meminfo: memFree=21730680/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2080924 memory=93316 CPUtime=762.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 62280 0 0 0 76214 14 0 0 20 0 1 0 409431815 2130866176 23329 33554432000 4194304 5870510 140724462450016 140724462448584 5282382 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 520231 23329 1005 410 0 515704 0
Current children cumulated CPU time: 762.28 s
Current children cumulated vsize: 2080924 KiB
Current children cumulated memory: 93316 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28228
/proc/meminfo: memFree=21679004/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113732 CPUtime=822.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 67515 0 0 0 82214 14 0 0 20 0 1 0 409431815 2151858176 28433 33554432000 4194304 5870510 140724462450016 140724462448456 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28433 1005 410 0 520829 0
Current children cumulated CPU time: 822.28 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113732 KiB
[startup+851.457 s]
# the end of solver process 28156 was just reported to runsolver
# cumulated CPU time of all completed processes: user=851.301 s, system=0.149998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+832 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 28228
/proc/meminfo: memFree=21710064/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113732 CPUtime=831.99 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 67525 0 0 0 83185 14 0 0 20 0 1 0 409431815 2151858176 28433 33554432000 4194304 5870510 140724462450016 140724462448456 5282609 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28433 1005 410 0 520829 0
Current children cumulated CPU time: 831.99 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113732 KiB
[startup+844.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28229
/proc/meminfo: memFree=21710312/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113732 CPUtime=844.78 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 67525 0 0 0 84464 14 0 0 20 0 1 0 409431815 2151858176 28433 33554432000 4194304 5870510 140724462450016 140724462448456 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28433 1005 410 0 520829 0
Current children cumulated CPU time: 844.78 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113732 KiB
[startup+848 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 28231
/proc/meminfo: memFree=21709832/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113732 CPUtime=847.99 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 67525 0 0 0 84785 14 0 0 20 0 1 0 409431815 2151858176 28433 33554432000 4194304 5870510 140724462450016 140724462448456 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28433 1005 410 0 520829 0
Current children cumulated CPU time: 847.99 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113732 KiB
[startup+849.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28231
/proc/meminfo: memFree=21710128/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113732 CPUtime=849.58 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 67525 0 0 0 84944 14 0 0 20 0 1 0 409431815 2151858176 28433 33554432000 4194304 5870510 140724462450016 140724462448456 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28433 1005 410 0 520829 0
Current children cumulated CPU time: 849.58 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113732 KiB
[startup+850.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28231
/proc/meminfo: memFree=21710128/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113732 CPUtime=850.38 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 67525 0 0 0 85024 14 0 0 20 0 1 0 409431815 2151858176 28433 33554432000 4194304 5870510 140724462450016 140724462448456 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28433 1005 410 0 520829 0
Current children cumulated CPU time: 850.38 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113732 KiB
[startup+851.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28231
/proc/meminfo: memFree=21710128/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113732 CPUtime=851.18 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 67525 0 0 0 85104 14 0 0 20 0 1 0 409431815 2151858176 28433 33554432000 4194304 5870510 140724462450016 140724462448456 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28433 1005 410 0 520829 0
Current children cumulated CPU time: 851.18 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113732 KiB
[startup+851.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28231
/proc/meminfo: memFree=21710128/32770624 swapFree=66999200/67108860
[pid=28156] ppid=28153 vsize=2101424 memory=113732 CPUtime=851.38 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 24179 0 -1 4202496 67525 0 0 0 85124 14 0 0 20 0 1 0 409431815 2151858176 28433 33554432000 4194304 5870510 140724462450016 140724462448456 5282767 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32550912 140724462457887 140724462457965 140724462457965 140724462460874 0
/proc/28156/statm: 525356 28433 1005 410 0 520829 0
Current children cumulated CPU time: 851.38 s
Current children cumulated vsize: 2101424 KiB
Current children cumulated memory: 113732 KiB
Child status: 0
Real time (s): 851.457
CPU time (s): 851.451
CPU user time (s): 851.301
CPU system time (s): 0.149998
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 2124992
Max. memory (cumulated for all children) (KiB): 137072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 851.301
system time used= 0.149998
maximum resident set size= 137072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67563
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= 506
# summary of solver processes directly reported to runsolver:
# pid: 28156
# total CPU time (s): 851.451
# total CPU user time (s): 851.301
# total CPU system time (s): 0.149998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.18371 second user time and 6.34351 second system time
The end