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 (13463 MiB free)
memory of node 1: 16384 MiB (11928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407744-1569512346/watcher-4407744-1569512346 -o /var/tmp/evaluation-result-4407744-1569512346/solver-4407744-1569512346 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569505940-32388 --watchdog 2560 xcsp_picat HOME/instance-4407744-1569512346.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1219, runsolver pid=1216
[startup+0.100221 s]*
/proc/loadavg: 1.99 2.00 1.89 3/198 1220
/proc/meminfo: memFree=25973116/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2036812 memory=32176 CPUtime=0.1 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 2096 0 0 0 10 0 0 0 20 0 1 0 527492305 2085695488 8044 33554432000 4194304 5870510 140724394972768 140724394969912 4515461 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 509203 8044 872 410 0 504676 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 32176 KiB
[startup+0.209928 s]*
/proc/loadavg: 1.99 2.00 1.89 3/198 1220
/proc/meminfo: memFree=25967372/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2036504 memory=36076 CPUtime=0.2 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 3744 0 0 0 20 0 0 0 20 0 1 0 527492305 2085380096 9019 33554432000 4194304 5870510 140724394972768 140724394969912 5298780 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 509126 9019 917 410 0 504599 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2036504 KiB
Current children cumulated memory: 36076 KiB
[startup+0.309803 s]*
/proc/loadavg: 1.99 2.00 1.89 3/198 1220
/proc/meminfo: memFree=25967000/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2037532 memory=36864 CPUtime=0.3 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 3953 0 0 0 30 0 0 0 20 0 1 0 527492305 2086432768 9216 33554432000 4194304 5870510 140724394972768 140724394969912 5298780 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 509383 9216 937 410 0 504856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2037532 KiB
Current children cumulated memory: 36864 KiB
[startup+0.700345 s]
/proc/loadavg: 1.99 2.00 1.89 3/198 1220
/proc/meminfo: memFree=25966132/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2041928 memory=39920 CPUtime=0.69 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 4669 0 0 0 68 1 0 0 20 0 1 0 527492305 2090934272 9980 33554432000 4194304 5870510 140724394972768 140724394971720 5267764 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 510482 9980 937 410 0 505955 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041928 KiB
Current children cumulated memory: 39920 KiB
[startup+1.50036 s]
/proc/loadavg: 1.99 2.00 1.89 3/198 1220
/proc/meminfo: memFree=25962096/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2046748 memory=45124 CPUtime=1.49 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 5511 0 0 0 148 1 0 0 20 0 1 0 527492305 2095869952 11281 33554432000 4194304 5870510 140724394972768 140724394971128 5282694 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 511687 11281 937 410 0 507160 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2046748 KiB
Current children cumulated memory: 45124 KiB
[startup+3.10966 s]
/proc/loadavg: 1.91 1.99 1.88 3/198 1220
/proc/meminfo: memFree=25954520/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2055164 memory=49940 CPUtime=3.1 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 10691 0 0 0 309 1 0 0 20 0 1 0 527492305 2104487936 12485 33554432000 4194304 5870510 140724394972768 140724394971128 5282590 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 513791 12485 938 410 0 509264 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2055164 KiB
Current children cumulated memory: 49940 KiB
[startup+6.30039 s]
/proc/loadavg: 1.91 1.99 1.88 3/198 1220
/proc/meminfo: memFree=25935268/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2067912 memory=67752 CPUtime=6.29 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 12522 0 0 0 627 2 0 0 20 0 1 0 527492305 2117541888 16938 33554432000 4194304 5870510 140724394972768 140724394971208 5283064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 516978 16938 938 410 0 512451 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2067912 KiB
Current children cumulated memory: 67752 KiB
[startup+12.7004 s]
/proc/loadavg: 1.92 1.99 1.88 3/198 1220
/proc/meminfo: memFree=25910692/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2098260 memory=94900 CPUtime=12.69 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 16620 0 0 0 1266 3 0 0 20 0 1 0 527492305 2148618240 23725 33554432000 4194304 5870510 140724394972768 140724394971208 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 524565 23725 938 410 0 520038 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2098260 KiB
Current children cumulated memory: 94900 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 1.99 1.88 3/198 1222
/proc/meminfo: memFree=25907948/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2098260 memory=94904 CPUtime=25.49 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 20867 0 0 0 2545 4 0 0 20 0 1 0 527492305 2148618240 23726 33554432000 4194304 5870510 140724394972768 140724394971208 5272433 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 524565 23726 938 410 0 520038 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2098260 KiB
Current children cumulated memory: 94904 KiB
[startup+51.1097 s]
/proc/loadavg: 1.96 1.99 1.89 3/198 1222
/proc/meminfo: memFree=25907948/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2098260 memory=94904 CPUtime=51.1 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 23243 0 0 0 5106 4 0 0 20 0 1 0 527492305 2148618240 23726 33554432000 4194304 5870510 140724394972768 140724394971208 5272555 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 524565 23726 938 410 0 520038 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2098260 KiB
Current children cumulated memory: 94904 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.89 3/198 1226
/proc/meminfo: memFree=25920352/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2117464 memory=115380 CPUtime=102.29 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 26515 0 0 0 10225 4 0 0 20 0 1 0 527492305 2168283136 28845 33554432000 4194304 5870510 140724394972768 140724394971880 5272427 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 529366 28845 938 410 0 524839 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2117464 KiB
Current children cumulated memory: 115380 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.90 3/200 1240
/proc/meminfo: memFree=25913748/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2117464 memory=115380 CPUtime=162.28 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 29187 0 0 0 16224 4 0 0 20 0 1 0 527492305 2168283136 28845 33554432000 4194304 5870510 140724394972768 140724394971880 5282680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 529366 28845 938 410 0 524839 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2117464 KiB
Current children cumulated memory: 115380 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/199 1244
/proc/meminfo: memFree=25901904/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2117464 memory=115380 CPUtime=222.28 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 29282 0 0 0 22224 4 0 0 20 0 1 0 527492305 2168283136 28845 33554432000 4194304 5870510 140724394972768 140724394971880 5282574 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 529366 28845 938 410 0 524839 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2117464 KiB
Current children cumulated memory: 115380 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 1.97 1.90 3/199 1248
/proc/meminfo: memFree=25892276/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2131376 memory=125624 CPUtime=282.28 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 31925 0 0 0 28224 4 0 0 20 0 1 0 527492305 2182529024 31406 33554432000 4194304 5870510 140724394972768 140724394971208 5274936 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 532844 31406 938 410 0 528317 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2131376 KiB
Current children cumulated memory: 125624 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/200 1254
/proc/meminfo: memFree=25884284/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2131376 memory=125624 CPUtime=342.29 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 31977 0 0 0 34225 4 0 0 20 0 1 0 527492305 2182529024 31406 33554432000 4194304 5870510 140724394972768 140724394971208 5283072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 532844 31406 938 410 0 528317 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2131376 KiB
Current children cumulated memory: 125624 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.92 3/199 1258
/proc/meminfo: memFree=25882452/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2131376 memory=127672 CPUtime=402.29 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 32050 0 0 0 40225 4 0 0 20 0 1 0 527492305 2182529024 31918 33554432000 4194304 5870510 140724394972768 140724394971208 5282590 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 532844 31918 938 410 0 528317 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2131376 KiB
Current children cumulated memory: 127672 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/199 1262
/proc/meminfo: memFree=25877820/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2131376 memory=127672 CPUtime=462.3 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 32055 0 0 0 46226 4 0 0 20 0 1 0 527492305 2182529024 31918 33554432000 4194304 5870510 140724394972768 140724394971208 5272658 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 532844 31918 938 410 0 528317 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2131376 KiB
Current children cumulated memory: 127672 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/199 1268
/proc/meminfo: memFree=25867688/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138428 CPUtime=522.31 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35412 0 0 0 52226 5 0 0 20 0 1 0 527492305 2190057472 34607 33554432000 4194304 5870510 140724394972768 140724394971336 5283048 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34607 938 410 0 530155 0
Current children cumulated CPU time: 522.31 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138428 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/198 1272
/proc/meminfo: memFree=25867696/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138572 CPUtime=582.31 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35449 0 0 0 58226 5 0 0 20 0 1 0 527492305 2190057472 34643 33554432000 4194304 5870510 140724394972768 140724394971336 5278096 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34643 938 410 0 530155 0
Current children cumulated CPU time: 582.31 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138572 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/198 1276
/proc/meminfo: memFree=25867288/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138572 CPUtime=642.32 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35524 0 0 0 64227 5 0 0 20 0 1 0 527492305 2190057472 34643 33554432000 4194304 5870510 140724394972768 140724394971336 5288720 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34643 938 410 0 530155 0
Current children cumulated CPU time: 642.32 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138572 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 1282
/proc/meminfo: memFree=25861212/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138572 CPUtime=702.32 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35537 0 0 0 70227 5 0 0 20 0 1 0 527492305 2190057472 34643 33554432000 4194304 5870510 140724394972768 140724394971336 5310294 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34643 938 410 0 530155 0
Current children cumulated CPU time: 702.32 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138572 KiB
[startup+704.376 s]
# the end of solver process 1219 was just reported to runsolver
# cumulated CPU time of all completed processes: user=704.352 s, system=0.053002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+702.4 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 1282
/proc/meminfo: memFree=25861212/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138572 CPUtime=702.42 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35537 0 0 0 70237 5 0 0 20 0 1 0 527492305 2190057472 34643 33554432000 4194304 5870510 140724394972768 140724394971336 5283052 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34643 938 410 0 530155 0
Current children cumulated CPU time: 702.42 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138572 KiB
[startup+703.2 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 1282
/proc/meminfo: memFree=25861212/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138572 CPUtime=703.22 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35537 0 0 0 70317 5 0 0 20 0 1 0 527492305 2190057472 34643 33554432000 4194304 5870510 140724394972768 140724394971336 5262594 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34643 938 410 0 530155 0
Current children cumulated CPU time: 703.22 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138572 KiB
[startup+704 s]*
/proc/loadavg: 2.00 1.99 1.95 3/199 1282
/proc/meminfo: memFree=25861212/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138572 CPUtime=704.03 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35537 0 0 0 70398 5 0 0 20 0 1 0 527492305 2190057472 34643 33554432000 4194304 5870510 140724394972768 140724394971336 5282588 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34643 938 410 0 530155 0
Current children cumulated CPU time: 704.03 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138572 KiB
[startup+704.2 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 1282
/proc/meminfo: memFree=25861212/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138572 CPUtime=704.22 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35537 0 0 0 70417 5 0 0 20 0 1 0 527492305 2190057472 34643 33554432000 4194304 5870510 140724394972768 140724394971336 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34643 938 410 0 530155 0
Current children cumulated CPU time: 704.22 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138572 KiB
[startup+704.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 1282
/proc/meminfo: memFree=25861212/32770624 swapFree=66957812/67108860
[pid=1219] ppid=1216 vsize=2138728 memory=138572 CPUtime=704.32 cores=0,2,4,6
/proc/1219/stat : 1219 (xcsp_picat) R 1216 1219 32357 0 -1 4202496 35537 0 0 0 70427 5 0 0 20 0 1 0 527492305 2190057472 34643 33554432000 4194304 5870510 140724394972768 140724394971336 5282738 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29622272 140724394980359 140724394980441 140724394980441 140724394983366 0
/proc/1219/statm: 534682 34643 938 410 0 530155 0
Current children cumulated CPU time: 704.32 s
Current children cumulated vsize: 2138728 KiB
Current children cumulated memory: 138572 KiB
Child status: 0
Real time (s): 704.376
CPU time (s): 704.404
CPU user time (s): 704.352
CPU system time (s): 0.053002
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2138728
Max. memory (cumulated for all children) (KiB): 138572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 704.352
system time used= 0.053002
maximum resident set size= 138600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35600
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= 854
# summary of solver processes directly reported to runsolver:
# pid: 1219
# total CPU time (s): 704.404
# total CPU user time (s): 704.352
# total CPU system time (s): 0.053002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.82104 second user time and 5.20133 second system time
The end