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 (14416 MiB free)
memory of node 1: 16384 MiB (15606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395020-1568330481/watcher-4395020-1568330481 -o /tmp/evaluation-result-4395020-1568330481/solver-4395020-1568330481 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4395020-1568330481.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
solver pid=18230, runsolver pid=18227
Current StackSize limit: 8192 KiB
[startup+0.10068 s]*
/proc/loadavg: 2.07 2.01 2.05 3/200 18231
/proc/meminfo: memFree=30711604/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2031716 memory=18356 CPUtime=0.1 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 1736 0 0 0 10 0 0 0 20 0 1 0 409299635 2080477184 4589 33554432000 4194304 5870510 140725678007552 140725678006856 140626533215232 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 507929 4589 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 18356 KiB
[startup+0.209594 s]*
/proc/loadavg: 2.07 2.01 2.05 3/200 18231
/proc/meminfo: memFree=30695076/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2031716 memory=24752 CPUtime=0.2 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 1743 0 0 0 20 0 0 0 20 0 1 0 409299635 2080477184 6188 33554432000 4194304 5870510 140725678007552 140725678006856 140626533215232 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 507929 6188 836 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24752 KiB
[startup+0.309542 s]*
/proc/loadavg: 2.07 2.01 2.05 3/200 18231
/proc/meminfo: memFree=30676520/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2031716 memory=28848 CPUtime=0.3 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 1746 0 0 0 30 0 0 0 20 0 1 0 409299635 2080477184 7212 33554432000 4194304 5870510 140725678007552 140725678006856 4460426 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 507929 7212 836 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 28848 KiB
[startup+0.700341 s]
/proc/loadavg: 2.07 2.01 2.05 3/200 18231
/proc/meminfo: memFree=30645668/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2031716 memory=49328 CPUtime=0.68 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 1756 0 0 0 68 0 0 0 20 0 1 0 409299635 2080477184 12332 33554432000 4194304 5870510 140725678007552 140725678006856 140626533215232 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 507929 12332 836 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 49328 KiB
[startup+1.50033 s]
/proc/loadavg: 2.07 2.01 2.05 3/200 18231
/proc/meminfo: memFree=30446580/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2031716 memory=94384 CPUtime=1.48 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 1778 0 0 0 147 1 0 0 20 0 1 0 409299635 2080477184 23596 33554432000 4194304 5870510 140725678007552 140725678006856 140626533215232 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 507929 23596 836 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 94384 KiB
[startup+3.10938 s]
/proc/loadavg: 2.06 2.01 2.05 3/200 18231
/proc/meminfo: memFree=29988140/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2031716 memory=182460 CPUtime=3.1 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 1866 0 0 0 307 3 0 0 20 0 1 0 409299635 2080477184 45615 33554432000 4194304 5870510 140725678007552 140725678006856 140626533215232 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 507929 45615 839 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 182460 KiB
[startup+6.30029 s]
/proc/loadavg: 2.06 2.01 2.05 3/200 18231
/proc/meminfo: memFree=29823176/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2031716 memory=356540 CPUtime=6.28 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 1959 0 0 0 623 5 0 0 20 0 1 0 409299635 2080477184 89135 33554432000 4194304 5870510 140725678007552 140725678006856 140626533215232 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 507929 89135 839 410 0 503402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 356540 KiB
[startup+12.7004 s]
/proc/loadavg: 2.06 2.01 2.05 3/200 18231
/proc/meminfo: memFree=29169308/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2614032 memory=1209228 CPUtime=12.69 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 3879 0 0 0 1249 20 0 0 20 0 1 0 409299635 2676768768 302307 33554432000 4194304 5870510 140725678007552 140725678006920 5246343 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 653508 302307 861 410 0 648981 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2614032 KiB
Current children cumulated memory: 1209228 KiB
[startup+25.5004 s]
/proc/loadavg: 2.05 2.01 2.05 3/201 18234
/proc/meminfo: memFree=28640836/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2738680 memory=1518840 CPUtime=25.49 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 21663 0 0 0 2523 26 0 0 20 0 1 0 409299635 2804408320 379710 33554432000 4194304 5870510 140725678007552 140725678006280 5337357 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 684670 379710 876 410 0 680143 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2738680 KiB
Current children cumulated memory: 1518840 KiB
[startup+51.1096 s]
/proc/loadavg: 1.95 2.00 2.04 3/200 18234
/proc/meminfo: memFree=28640396/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2738680 memory=1518840 CPUtime=51.1 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 26482 0 0 0 5084 26 0 0 20 0 1 0 409299635 2804408320 379710 33554432000 4194304 5870510 140725678007552 140725678006280 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 684670 379710 876 410 0 680143 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2738680 KiB
Current children cumulated memory: 1518840 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 18238
/proc/meminfo: memFree=28640280/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2738680 memory=1518840 CPUtime=102.3 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 42966 0 0 0 10203 27 0 0 20 0 1 0 409299635 2804408320 379710 33554432000 4194304 5870510 140725678007552 140725678006280 5337536 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 684670 379710 876 410 0 680143 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2738680 KiB
Current children cumulated memory: 1518840 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/201 18244
/proc/meminfo: memFree=28639900/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2738680 memory=1518840 CPUtime=162.3 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 60902 0 0 0 16203 27 0 0 20 0 1 0 409299635 2804408320 379710 33554432000 4194304 5870510 140725678007552 140725678006280 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 684670 379710 876 410 0 680143 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2738680 KiB
Current children cumulated memory: 1518840 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18248
/proc/meminfo: memFree=28640564/32770624 swapFree=66993776/67108860
[pid=18230] ppid=18227 vsize=2738680 memory=1518840 CPUtime=222.3 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 77735 0 0 0 22203 27 0 0 20 0 1 0 409299635 2804408320 379710 33554432000 4194304 5870510 140725678007552 140725678006280 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 684670 379710 876 410 0 680143 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2738680 KiB
Current children cumulated memory: 1518840 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18253
/proc/meminfo: memFree=28638292/32770624 swapFree=66993788/67108860
[pid=18230] ppid=18227 vsize=2739000 memory=1521988 CPUtime=282.31 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 106069 0 0 0 28201 30 0 0 20 0 1 0 409299635 2804736000 380497 33554432000 4194304 5870510 140725678007552 140725678006808 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 684750 380497 899 410 0 680223 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2739000 KiB
Current children cumulated memory: 1521988 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18259
/proc/meminfo: memFree=28627312/32770624 swapFree=66993788/67108860
[pid=18230] ppid=18227 vsize=2739000 memory=1525368 CPUtime=342.32 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 131122 0 0 0 34197 35 0 0 20 0 1 0 409299635 2804736000 381342 33554432000 4194304 5870510 140725678007552 140725678006568 5272646 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 684750 381342 899 410 0 680223 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2739000 KiB
Current children cumulated memory: 1525368 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18327
/proc/meminfo: memFree=30126916/32770624 swapFree=66993788/67108860
[pid=18230] ppid=18227 vsize=2739000 memory=1522808 CPUtime=402.31 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 163581 0 0 0 40190 41 0 0 20 0 1 0 409299635 2804736000 380702 33554432000 4194304 5870510 140725678007552 140725678006568 5272443 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 684750 380702 899 410 0 680223 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2739000 KiB
Current children cumulated memory: 1522808 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18332
/proc/meminfo: memFree=30092060/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2744580 memory=1534120 CPUtime=462.31 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 169625 0 0 0 46187 44 0 0 20 0 1 0 409299635 2810449920 383530 33554432000 4194304 5870510 140725678007552 140725678006568 5272968 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 686145 383530 899 410 0 681618 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2744580 KiB
Current children cumulated memory: 1534120 KiB
[startup+519.622 s]
# the end of solver process 18230 was just reported to runsolver
# cumulated CPU time of all completed processes: user=519.154 s, system=0.496046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 1.94 1.98 2.03 3/199 18334
/proc/meminfo: memFree=30095800/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2744580 memory=1531096 CPUtime=486.42 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 182960 0 0 0 48595 47 0 0 20 0 1 0 409299635 2810449920 382774 33554432000 4194304 5870510 140725678007552 140725678006568 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 686145 382774 899 410 0 681618 0
Current children cumulated CPU time: 486.42 s
Current children cumulated vsize: 2744580 KiB
Current children cumulated memory: 1531096 KiB
[startup+499.2 s]
/proc/loadavg: 1.95 1.98 2.03 3/199 18335
/proc/meminfo: memFree=30093288/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2744580 memory=1533144 CPUtime=499.22 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 183522 0 0 0 49875 47 0 0 20 0 1 0 409299635 2810449920 383286 33554432000 4194304 5870510 140725678007552 140725678006568 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 686145 383286 899 410 0 681618 0
Current children cumulated CPU time: 499.22 s
Current children cumulated vsize: 2744580 KiB
Current children cumulated memory: 1533144 KiB
[startup+512 s]*
/proc/loadavg: 1.96 1.99 2.03 3/199 18336
/proc/meminfo: memFree=30092108/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2775400 memory=1535348 CPUtime=512.02 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 184184 0 0 0 51155 47 0 0 20 0 1 0 409299635 2842009600 383837 33554432000 4194304 5870510 140725678007552 140725678006504 5272433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 693850 383837 899 410 0 689323 0
Current children cumulated CPU time: 512.02 s
Current children cumulated vsize: 2775400 KiB
Current children cumulated memory: 1535348 KiB
[startup+515.2 s]
/proc/loadavg: 1.96 1.99 2.03 3/199 18336
/proc/meminfo: memFree=30099880/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2744580 memory=1527000 CPUtime=515.21 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 184568 0 0 0 51473 48 0 0 20 0 1 0 409299635 2810449920 381750 33554432000 4194304 5870510 140725678007552 140725678006504 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 686145 381750 899 410 0 681618 0
Current children cumulated CPU time: 515.21 s
Current children cumulated vsize: 2744580 KiB
Current children cumulated memory: 1527000 KiB
[startup+516.8 s]
/proc/loadavg: 1.96 1.99 2.03 3/199 18336
/proc/meminfo: memFree=30100128/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2744580 memory=1527000 CPUtime=516.81 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 184578 0 0 0 51633 48 0 0 20 0 1 0 409299635 2810449920 381750 33554432000 4194304 5870510 140725678007552 140725678006568 5283072 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 686145 381750 899 410 0 681618 0
Current children cumulated CPU time: 516.81 s
Current children cumulated vsize: 2744580 KiB
Current children cumulated memory: 1527000 KiB
[startup+518.4 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 18338
/proc/meminfo: memFree=30099364/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2744580 memory=1529048 CPUtime=518.42 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 184579 0 0 0 51793 49 0 0 20 0 1 0 409299635 2810449920 382262 33554432000 4194304 5870510 140725678007552 140725678006568 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 686145 382262 899 410 0 681618 0
Current children cumulated CPU time: 518.42 s
Current children cumulated vsize: 2744580 KiB
Current children cumulated memory: 1529048 KiB
[startup+519.2 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 18338
/proc/meminfo: memFree=30097536/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2744580 memory=1529048 CPUtime=519.22 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 184579 0 0 0 51873 49 0 0 20 0 1 0 409299635 2810449920 382262 33554432000 4194304 5870510 140725678007552 140725678006568 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 686145 382262 899 410 0 681618 0
Current children cumulated CPU time: 519.22 s
Current children cumulated vsize: 2744580 KiB
Current children cumulated memory: 1529048 KiB
[startup+519.6 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 18338
/proc/meminfo: memFree=30097536/32770624 swapFree=66993792/67108860
[pid=18230] ppid=18227 vsize=2744580 memory=1529048 CPUtime=519.62 cores=1,3,5,7
/proc/18230/stat : 18230 (xcsp_picat) R 18227 18230 15976 0 -1 4202496 184579 0 0 0 51913 49 0 0 20 0 1 0 409299635 2810449920 382262 33554432000 4194304 5870510 140725678007552 140725678006568 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 19001344 140725678011423 140725678011501 140725678011501 140725678014410 0
/proc/18230/statm: 686145 382262 899 410 0 681618 0
Current children cumulated CPU time: 519.62 s
Current children cumulated vsize: 2744580 KiB
Current children cumulated memory: 1529048 KiB
Child status: 0
Real time (s): 519.622
CPU time (s): 519.65
CPU user time (s): 519.154
CPU system time (s): 0.496046
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2824720
Max. memory (cumulated for all children) (KiB): 1577520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 519.154
system time used= 0.496046
maximum resident set size= 1579708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184662
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= 28
involuntary context switches= 168
# summary of solver processes directly reported to runsolver:
# pid: 18230
# total CPU time (s): 519.65
# total CPU user time (s): 519.154
# total CPU system time (s): 0.496046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.99306 second user time and 3.93972 second system time
The end