2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-24	SAT	22.8051	15.1418
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 (9632 MiB free)
  memory of node 1: 16384 MiB (11690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405869-1569408164/watcher-4405869-1569408164 -o /var/tmp/evaluation-result-4405869-1569408164/solver-4405869-1569408164 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25937 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1962001178 HOME/instance-4405869-1569408164.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=28638, runsolver pid=28635

[startup+0.100058 s]*
/proc/loadavg: 1.67 1.77 1.85 5/230 28654
/proc/meminfo: memFree=21817444/32770624 swapFree=66953520/67108860
[pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0
[pid=28640] ppid=28638 vsize=15144776 memory=29932 CPUtime=0.13 cores=1,3,5,7
/proc/28640/stat : 28640 (java) S 28638 28638 25905 0 -1 1077944320 5911 0 0 0 12 1 0 0 20 0 15 0 516731157 15508250624 7483 33554432000 4194304 4196468 140723761691152 140723761673696 140577911488247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
/proc/28640/statm: 3786194 7483 3150 1 0 3748377 0
[pid=28640/tid=28641] ppid=28638 vsize=15144776 memory=8108032331684915787 CPUtime=0.08 cores=1,3,5,7
/proc/28640/task/28641/stat : 28641 (java) R 28638 28638 25905 0 -1 4202560 3844 0 0 0 8 0 0 0 20 0 15 0 516731157 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577915718432 140577895568734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28642] ppid=28638 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28642/stat : 28642 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577839529104 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28643] ppid=28638 vsize=15144776 memory=140037211874944 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28643/stat : 28643 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577838476304 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28644] ppid=28638 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28644/stat : 28644 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577837423504 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28645] ppid=28638 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28645/stat : 28645 (java) S 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731158 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577501211408 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28646] ppid=28638 vsize=15144776 memory=140037211874944 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28646/stat : 28646 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731160 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577054128496 140577911499394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28647] ppid=28638 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28647/stat : 28647 (java) S 28638 28638 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516731160 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577053074464 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28648] ppid=28638 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28648/stat : 28648 (java) S 28638 28638 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516731160 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577052021616 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28649] ppid=28638 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28649/stat : 28649 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577050969936 140577911506843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28650] ppid=28638 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28650/stat : 28650 (java) R 28638 28638 25905 0 -1 4202560 466 0 0 0 0 0 0 0 20 0 15 0 516731163 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577049918320 140577889321104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28651] ppid=28638 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28651/stat : 28651 (java) R 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731163 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577048865520 140577911499394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28652] ppid=28638 vsize=15144776 memory=140037211874944 CPUtime=0.02 cores=1,3,5,7
/proc/28640/task/28652/stat : 28652 (java) R 28638 28638 25905 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 516731163 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577047808744 140577911500182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28653] ppid=28638 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28653/stat : 28653 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577046760160 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28654] ppid=28638 vsize=15144776 memory=140037211874944 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28654/stat : 28654 (java) S 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731163 15508250624 7615 33554432000 4194304 4196468 140723761691152 140577045707440 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31384 KiB

[startup+0.211281 s]*
/proc/loadavg: 1.67 1.77 1.85 4/230 28654
/proc/meminfo: memFree=21804824/32770624 swapFree=66953520/67108860
[pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0
[pid=28640] ppid=28638 vsize=15144776 memory=40748 CPUtime=0.34 cores=1,3,5,7
/proc/28640/stat : 28640 (java) S 28638 28638 25905 0 -1 1077944320 9458 0 0 0 31 3 0 0 20 0 15 0 516731157 15508250624 10187 33554432000 4194304 4196468 140723761691152 140723761673696 140577911488247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
/proc/28640/statm: 3786194 10187 3277 1 0 3748377 0
[pid=28640/tid=28641] ppid=28638 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28640/task/28641/stat : 28641 (java) R 28638 28638 25905 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 516731157 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577915717920 140577911509594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28642] ppid=28638 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28642/stat : 28642 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577839529104 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28643] ppid=28638 vsize=15144776 memory=3690192153025473891 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28643/stat : 28643 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577838476304 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28644] ppid=28638 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28644/stat : 28644 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577837423504 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28645] ppid=28638 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28645/stat : 28645 (java) S 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731158 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577501211408 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28646] ppid=28638 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28646/stat : 28646 (java) S 28638 28638 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516731160 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577054128496 140577911499394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28647] ppid=28638 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28647/stat : 28647 (java) S 28638 28638 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516731160 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577053074464 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28648] ppid=28638 vsize=15144776 memory=140037211874944 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28648/stat : 28648 (java) S 28638 28638 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516731160 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577052021616 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28649] ppid=28638 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28649/stat : 28649 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577050969936 140577911506843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28650] ppid=28638 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28640/task/28650/stat : 28650 (java) S 28638 28638 25905 0 -1 1077944384 585 0 0 0 3 0 0 0 20 0 15 0 516731163 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577049918320 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28651] ppid=28638 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28640/task/28651/stat : 28651 (java) S 28638 28638 25905 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 516731163 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577048865520 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28652] ppid=28638 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28640/task/28652/stat : 28652 (java) S 28638 28638 25905 0 -1 1077944384 692 0 0 0 8 0 0 0 20 0 15 0 516731163 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577047812720 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28653] ppid=28638 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28653/stat : 28653 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577046760160 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28654] ppid=28638 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28654/stat : 28654 (java) S 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731163 15508250624 10187 33554432000 4194304 4196468 140723761691152 140577045707440 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42200 KiB

[startup+0.311286 s]*
/proc/loadavg: 1.67 1.77 1.85 4/230 28654
/proc/meminfo: memFree=21797812/32770624 swapFree=66953520/67108860
[pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0
[pid=28640] ppid=28638 vsize=15149032 memory=49712 CPUtime=0.53 cores=1,3,5,7
/proc/28640/stat : 28640 (java) S 28638 28638 25905 0 -1 1077944320 10802 0 0 0 50 3 0 0 20 0 15 0 516731157 15512608768 12428 33554432000 4194304 4196468 140723761691152 140723761673696 140577911488247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
/proc/28640/statm: 3787258 12428 3338 1 0 3748377 0
[pid=28640/tid=28641] ppid=28638 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/28640/task/28641/stat : 28641 (java) R 28638 28638 25905 0 -1 4202560 7767 0 0 0 27 3 0 0 20 0 15 0 516731157 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577915725408 140577895568734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28642] ppid=28638 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28642/stat : 28642 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577839529104 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28643] ppid=28638 vsize=15149032 memory=3905528202495551090 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28643/stat : 28643 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577838476304 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28644] ppid=28638 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28644/stat : 28644 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577837423504 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28645] ppid=28638 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28645/stat : 28645 (java) S 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731158 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577501211408 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28646] ppid=28638 vsize=15149032 memory=140037211874944 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28646/stat : 28646 (java) S 28638 28638 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516731160 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577054128496 140577911499394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28647] ppid=28638 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28647/stat : 28647 (java) S 28638 28638 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516731160 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577053074464 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28648] ppid=28638 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28648/stat : 28648 (java) S 28638 28638 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516731160 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577052021616 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28649] ppid=28638 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28649/stat : 28649 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577050969936 140577911506843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28650] ppid=28638 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28640/task/28650/stat : 28650 (java) S 28638 28638 25905 0 -1 1077944384 592 0 0 0 4 0 0 0 20 0 15 0 516731163 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577049918320 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28651] ppid=28638 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28640/task/28651/stat : 28651 (java) R 28638 28638 25905 0 -1 4202560 364 0 0 0 4 0 0 0 20 0 15 0 516731163 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577048865520 140577888749504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28652] ppid=28638 vsize=15149032 memory=140037211874944 CPUtime=0.12 cores=1,3,5,7
/proc/28640/task/28652/stat : 28652 (java) S 28638 28638 25905 0 -1 1077944384 776 0 0 0 12 0 0 0 20 0 15 0 516731163 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577047812720 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28653] ppid=28638 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28653/stat : 28653 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577046760160 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28654] ppid=28638 vsize=15149032 memory=140037211874944 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28654/stat : 28654 (java) S 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731163 15512608768 12428 33554432000 4194304 4196468 140723761691152 140577045707440 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51164 KiB

[startup+0.700812 s]
/proc/loadavg: 1.67 1.77 1.85 4/230 28654
/proc/meminfo: memFree=21778364/32770624 swapFree=66953520/67108860
[pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0
[pid=28640] ppid=28638 vsize=15151156 memory=99144 CPUtime=1.71 cores=1,3,5,7
/proc/28640/stat : 28640 (java) S 28638 28638 25905 0 -1 1077944320 14849 0 0 0 166 5 0 0 20 0 15 0 516731157 15514783744 24786 33554432000 4194304 4196468 140723761691152 140723761673696 140577911488247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
/proc/28640/statm: 3787789 24786 3445 1 0 3748889 0
[pid=28640/tid=28641] ppid=28638 vsize=15151156 memory=2116 CPUtime=0.67 cores=1,3,5,7
/proc/28640/task/28641/stat : 28641 (java) R 28638 28638 25905 0 -1 4202560 8999 0 0 0 64 3 0 0 20 0 15 0 516731157 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577915702912 140577517697616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28642] ppid=28638 vsize=15151156 memory=520 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28642/stat : 28642 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577839529104 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28643] ppid=28638 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28643/stat : 28643 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577838476304 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28644] ppid=28638 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28644/stat : 28644 (java) S 28638 28638 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516731158 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577837423504 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28645] ppid=28638 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28645/stat : 28645 (java) S 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731158 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577501211408 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28646] ppid=28638 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28646/stat : 28646 (java) S 28638 28638 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577054128496 140577911499394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28647] ppid=28638 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28647/stat : 28647 (java) S 28638 28638 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577053074464 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28648] ppid=28638 vsize=15151156 memory=808 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28648/stat : 28648 (java) S 28638 28638 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577052021616 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28649] ppid=28638 vsize=15151156 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28649/stat : 28649 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577050969936 140577911506843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28650] ppid=28638 vsize=15151156 memory=7302135314614015848 CPUtime=0.28 cores=1,3,5,7
/proc/28640/task/28650/stat : 28650 (java) R 28638 28638 25905 0 -1 4202560 1416 0 0 0 28 0 0 0 20 0 15 0 516731163 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577049918320 140577911500182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28651] ppid=28638 vsize=15151156 memory=7523384585114641744 CPUtime=0.32 cores=1,3,5,7
/proc/28640/task/28651/stat : 28651 (java) R 28638 28638 25905 0 -1 1077944384 1214 0 0 0 32 0 0 0 20 0 15 0 516731163 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577048865520 140577911499394 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28652] ppid=28638 vsize=15151156 memory=7223887401239728208 CPUtime=0.39 cores=1,3,5,7
/proc/28640/task/28652/stat : 28652 (java) R 28638 28638 25905 0 -1 4202560 1911 0 0 0 39 0 0 0 20 0 15 0 516731163 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577047812720 140577904585083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28653] ppid=28638 vsize=15151156 memory=7440060183353512016 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28653/stat : 28653 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577046760160 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28654] ppid=28638 vsize=15151156 memory=7453012555186398805 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28654/stat : 28654 (java) S 28638 28638 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 24786 33554432000 4194304 4196468 140723761691152 140577045707440 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 100596 KiB

[startup+1.50084 s]
/proc/loadavg: 1.67 1.77 1.85 4/230 28654
/proc/meminfo: memFree=21604104/32770624 swapFree=66953520/67108860
[pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0

################
# More data... #
################

/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0
[pid=28640] ppid=28638 vsize=15151156 memory=1733904 CPUtime=21.89 cores=1,3,5,7
/proc/28640/stat : 28640 (java) S 28638 28638 25905 0 -1 1077944320 67808 0 0 0 2033 156 0 0 20 0 15 0 516731157 15514783744 433476 33554432000 4194304 4196468 140723761691152 140723761673696 140577911488247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
/proc/28640/statm: 3787789 433476 3519 1 0 3748889 0
[pid=28640/tid=28641] ppid=28638 vsize=15151156 memory=1727 CPUtime=12.7 cores=1,3,5,7
/proc/28640/task/28641/stat : 28641 (java) R 28638 28638 25905 0 -1 4202560 22941 0 0 0 1260 10 0 0 20 0 15 0 516731157 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577915724928 140577524099515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28642] ppid=28638 vsize=15151156 memory=35037 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28642/stat : 28642 (java) S 28638 28638 25905 0 -1 1077944384 7690 0 0 0 125 35 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577839529104 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28643] ppid=28638 vsize=15151156 memory=988 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28643/stat : 28643 (java) S 28638 28638 25905 0 -1 1077944384 7667 0 0 0 124 36 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577838476304 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28644] ppid=28638 vsize=15151156 memory=2008 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28644/stat : 28644 (java) S 28638 28638 25905 0 -1 1077944384 7439 0 0 0 126 34 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577837423504 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28645] ppid=28638 vsize=15151156 memory=1424 CPUtime=1.59 cores=1,3,5,7
/proc/28640/task/28645/stat : 28645 (java) S 28638 28638 25905 0 -1 1077944384 8001 0 0 0 124 35 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577501211408 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28646] ppid=28638 vsize=15151156 memory=3640 CPUtime=0.03 cores=1,3,5,7
/proc/28640/task/28646/stat : 28646 (java) S 28638 28638 25905 0 -1 1077944384 1636 0 0 0 3 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577054128496 140577911499394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28647] ppid=28638 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28647/stat : 28647 (java) S 28638 28638 25905 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577053074528 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28648] ppid=28638 vsize=15151156 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28648/stat : 28648 (java) S 28638 28638 25905 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577052021632 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28649] ppid=28638 vsize=15151156 memory=8212 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28649/stat : 28649 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577050969936 140577911506843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28650] ppid=28638 vsize=15151156 memory=9580 CPUtime=0.93 cores=1,3,5,7
/proc/28640/task/28650/stat : 28650 (java) S 28638 28638 25905 0 -1 1077944384 3609 0 0 0 93 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577049918320 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28651] ppid=28638 vsize=15151156 memory=1052 CPUtime=1.15 cores=1,3,5,7
/proc/28640/task/28651/stat : 28651 (java) S 28638 28638 25905 0 -1 1077944384 3858 0 0 0 115 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577048865520 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28652] ppid=28638 vsize=15151156 memory=776 CPUtime=0.58 cores=1,3,5,7
/proc/28640/task/28652/stat : 28652 (java) S 28638 28638 25905 0 -1 1077944384 3627 0 0 0 58 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577047812720 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28653] ppid=28638 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28653/stat : 28653 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577046760160 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28654] ppid=28638 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28654/stat : 28654 (java) S 28638 28638 25905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577045707440 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
Current children cumulated CPU time: 21.89 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1735356 KiB

[startup+14.8008 s]
/proc/loadavg: 1.60 1.75 1.85 3/231 28656
/proc/meminfo: memFree=20060160/32770624 swapFree=66953520/67108860
[pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0
[pid=28640] ppid=28638 vsize=15151156 memory=1733904 CPUtime=22.29 cores=1,3,5,7
/proc/28640/stat : 28640 (java) S 28638 28638 25905 0 -1 1077944320 68607 0 0 0 2073 156 0 0 20 0 15 0 516731157 15514783744 433476 33554432000 4194304 4196468 140723761691152 140723761673696 140577911488247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
/proc/28640/statm: 3787789 433476 3519 1 0 3748889 0
[pid=28640/tid=28641] ppid=28638 vsize=15151156 memory=2 CPUtime=13.1 cores=1,3,5,7
/proc/28640/task/28641/stat : 28641 (java) R 28638 28638 25905 0 -1 4202560 23740 0 0 0 1300 10 0 0 20 0 15 0 516731157 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577915724928 140577524082555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28642] ppid=28638 vsize=15151156 memory=-6942671969624570711 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28642/stat : 28642 (java) S 28638 28638 25905 0 -1 1077944384 7690 0 0 0 125 35 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577839529104 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28643] ppid=28638 vsize=15151156 memory=122054380643633 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28643/stat : 28643 (java) S 28638 28638 25905 0 -1 1077944384 7667 0 0 0 124 36 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577838476304 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28644] ppid=28638 vsize=15151156 memory=122058675613446 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28644/stat : 28644 (java) S 28638 28638 25905 0 -1 1077944384 7439 0 0 0 126 34 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577837423504 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28645] ppid=28638 vsize=15151156 memory=280074146504512 CPUtime=1.59 cores=1,3,5,7
/proc/28640/task/28645/stat : 28645 (java) S 28638 28638 25905 0 -1 1077944384 8001 0 0 0 124 35 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577501211408 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28646] ppid=28638 vsize=15151156 memory=140037073176928 CPUtime=0.03 cores=1,3,5,7
/proc/28640/task/28646/stat : 28646 (java) S 28638 28638 25905 0 -1 1077944384 1636 0 0 0 3 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577054128496 140577911499394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28647] ppid=28638 vsize=15151156 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28647/stat : 28647 (java) S 28638 28638 25905 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577053074528 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28648] ppid=28638 vsize=15151156 memory=7595991844822346346 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28648/stat : 28648 (java) S 28638 28638 25905 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577052021632 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28649] ppid=28638 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28649/stat : 28649 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577050969936 140577911506843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28650] ppid=28638 vsize=15151156 memory=1733840 CPUtime=0.93 cores=1,3,5,7
/proc/28640/task/28650/stat : 28650 (java) S 28638 28638 25905 0 -1 1077944384 3609 0 0 0 93 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577049918320 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28651] ppid=28638 vsize=15151156 memory=14131130454511009 CPUtime=1.15 cores=1,3,5,7
/proc/28640/task/28651/stat : 28651 (java) S 28638 28638 25905 0 -1 1077944384 3858 0 0 0 115 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577048865520 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28652] ppid=28638 vsize=15151156 memory=1733696 CPUtime=0.58 cores=1,3,5,7
/proc/28640/task/28652/stat : 28652 (java) S 28638 28638 25905 0 -1 1077944384 3627 0 0 0 58 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577047812720 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28653] ppid=28638 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28653/stat : 28653 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577046760160 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28654] ppid=28638 vsize=15151156 memory=1732632 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28654/stat : 28654 (java) S 28638 28638 25905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577045707440 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
Current children cumulated CPU time: 22.29 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1735356 KiB

[startup+15.0008 s]*
/proc/loadavg: 1.60 1.75 1.85 3/231 28656
/proc/meminfo: memFree=20060160/32770624 swapFree=66953520/67108860
[pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0
[pid=28640] ppid=28638 vsize=15151156 memory=1733904 CPUtime=22.53 cores=1,3,5,7
/proc/28640/stat : 28640 (java) S 28638 28638 25905 0 -1 1077944320 68696 0 0 0 2097 156 0 0 20 0 15 0 516731157 15514783744 433476 33554432000 4194304 4196468 140723761691152 140723761673696 140577911488247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
/proc/28640/statm: 3787789 433476 3519 1 0 3748889 0
[pid=28640/tid=28641] ppid=28638 vsize=15151156 memory=1398722017469774279 CPUtime=13.31 cores=1,3,5,7
/proc/28640/task/28641/stat : 28641 (java) R 28638 28638 25905 0 -1 4202560 23804 0 0 0 1321 10 0 0 20 0 15 0 516731157 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577915724928 140577524310385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28642] ppid=28638 vsize=15151156 memory=4872558044660077418 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28642/stat : 28642 (java) S 28638 28638 25905 0 -1 1077944384 7690 0 0 0 125 35 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577839529104 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28643] ppid=28638 vsize=15151156 memory=0 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28643/stat : 28643 (java) S 28638 28638 25905 0 -1 1077944384 7667 0 0 0 124 36 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577838476304 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28644] ppid=28638 vsize=15151156 memory=0 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28644/stat : 28644 (java) S 28638 28638 25905 0 -1 1077944384 7439 0 0 0 126 34 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577837423504 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28645] ppid=28638 vsize=15151156 memory=0 CPUtime=1.59 cores=1,3,5,7
/proc/28640/task/28645/stat : 28645 (java) S 28638 28638 25905 0 -1 1077944384 8001 0 0 0 124 35 0 0 20 0 15 0 516731158 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577501211408 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28646] ppid=28638 vsize=15151156 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28640/task/28646/stat : 28646 (java) S 28638 28638 25905 0 -1 1077944384 1636 0 0 0 3 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577054128496 140577911499394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28647] ppid=28638 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28647/stat : 28647 (java) S 28638 28638 25905 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577053074528 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28648] ppid=28638 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28648/stat : 28648 (java) S 28638 28638 25905 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577052021632 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28649] ppid=28638 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28649/stat : 28649 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577050969936 140577911506843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28650] ppid=28638 vsize=15151156 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/28640/task/28650/stat : 28650 (java) S 28638 28638 25905 0 -1 1077944384 3610 0 0 0 94 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577049918320 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28651] ppid=28638 vsize=15151156 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/28640/task/28651/stat : 28651 (java) S 28638 28638 25905 0 -1 1077944384 3871 0 0 0 116 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577048865520 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28652] ppid=28638 vsize=15151156 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/28640/task/28652/stat : 28652 (java) S 28638 28638 25905 0 -1 1077944384 3638 0 0 0 59 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577047812720 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28653] ppid=28638 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28653/stat : 28653 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577046760160 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28654] ppid=28638 vsize=15151156 memory=4625243410194776160 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28654/stat : 28654 (java) S 28638 28638 25905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433476 33554432000 4194304 4196468 140723761691152 140577045707440 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
Current children cumulated CPU time: 22.53 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1735356 KiB

[startup+15.11 s]
/proc/loadavg: 1.60 1.75 1.85 3/231 28656
/proc/meminfo: memFree=20060160/32770624 swapFree=66953520/67108860
[pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516731157 115843072 363 33554432000 4194304 5098028 140720409877216 140720409875320 139962105840252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29515776 140720409883478 140720409883737 140720409883737 140720409886662 0
/proc/28638/statm: 28282 363 305 221 0 87 0
[pid=28640] ppid=28638 vsize=15151156 memory=1734080 CPUtime=22.75 cores=1,3,5,7
/proc/28640/stat : 28640 (java) S 28638 28638 25905 0 -1 1077944320 69769 0 0 0 2119 156 0 0 20 0 15 0 516731157 15514783744 433520 33554432000 4194304 4196468 140723761691152 140723761673696 140577911488247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
/proc/28640/statm: 3787789 433520 3519 1 0 3748889 0
[pid=28640/tid=28641] ppid=28638 vsize=15151156 memory=7306916055891837009 CPUtime=13.41 cores=1,3,5,7
/proc/28640/task/28641/stat : 28641 (java) R 28638 28638 25905 0 -1 4202560 24095 0 0 0 1331 10 0 0 20 0 15 0 516731157 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577915728448 140577517751309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28642] ppid=28638 vsize=15151156 memory=0 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28642/stat : 28642 (java) S 28638 28638 25905 0 -1 1077944384 7690 0 0 0 125 35 0 0 20 0 15 0 516731158 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577839529104 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28643] ppid=28638 vsize=15151156 memory=0 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28643/stat : 28643 (java) S 28638 28638 25905 0 -1 1077944384 7667 0 0 0 124 36 0 0 20 0 15 0 516731158 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577838476304 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28644] ppid=28638 vsize=15151156 memory=280074146906048 CPUtime=1.6 cores=1,3,5,7
/proc/28640/task/28644/stat : 28644 (java) S 28638 28638 25905 0 -1 1077944384 7439 0 0 0 126 34 0 0 20 0 15 0 516731158 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577837423504 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28645] ppid=28638 vsize=15151156 memory=0 CPUtime=1.59 cores=1,3,5,7
/proc/28640/task/28645/stat : 28645 (java) S 28638 28638 25905 0 -1 1077944384 8001 0 0 0 124 35 0 0 20 0 15 0 516731158 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577501211408 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28646] ppid=28638 vsize=15151156 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28640/task/28646/stat : 28646 (java) S 28638 28638 25905 0 -1 1077944384 1666 0 0 0 3 0 0 0 20 0 15 0 516731160 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577054128496 140577911499394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28647] ppid=28638 vsize=15151156 memory=884 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28647/stat : 28647 (java) S 28638 28638 25905 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577053074528 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28648] ppid=28638 vsize=15151156 memory=175 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28648/stat : 28648 (java) S 28638 28638 25905 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516731160 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577052021632 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28649] ppid=28638 vsize=15151156 memory=1733332 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28649/stat : 28649 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577050969936 140577911506843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28650] ppid=28638 vsize=15151156 memory=1452 CPUtime=0.98 cores=1,3,5,7
/proc/28640/task/28650/stat : 28650 (java) R 28638 28638 25905 0 -1 4202560 3715 0 0 0 98 0 0 0 20 0 15 0 516731163 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577049918320 140577893031608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28651] ppid=28638 vsize=15151156 memory=3504 CPUtime=1.23 cores=1,3,5,7
/proc/28640/task/28651/stat : 28651 (java) R 28638 28638 25905 0 -1 4202560 4280 0 0 0 123 0 0 0 20 0 15 0 516731163 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577048847680 140577894988339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28652] ppid=28638 vsize=15151156 memory=65968 CPUtime=0.6 cores=1,3,5,7
/proc/28640/task/28652/stat : 28652 (java) S 28638 28638 25905 0 -1 1077944384 3871 0 0 0 60 0 0 0 20 0 15 0 516731163 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577047812720 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28653] ppid=28638 vsize=15151156 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28653/stat : 28653 (java) S 28638 28638 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577046760160 140577911498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
[pid=28640/tid=28654] ppid=28638 vsize=15151156 memory=65968 CPUtime=0 cores=1,3,5,7
/proc/28640/task/28654/stat : 28654 (java) S 28638 28638 25905 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 516731163 15514783744 433520 33554432000 4194304 4196468 140723761691152 140577045707440 140577911499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140723761693659 140723761693834 140723761693834 140723761696719 0
Current children cumulated CPU time: 22.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1735532 KiB

Child status: 0
Real time (s): 15.1418
CPU time (s): 22.8051
CPU user time (s): 21.2202
CPU system time (s): 1.58492
CPU usage (%): 150.611
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1735532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.2202
system time used= 1.58492
maximum resident set size= 1734804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3419
involuntary context switches= 86


# summary of solver processes directly reported to runsolver:
#   pid: 28638
#   total CPU time (s): 22.8051
#   total CPU user time (s): 21.2202
#   total CPU system time (s): 1.58492

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.118135 second user time and 0.191051 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr2-m1296-05.xml
MD5SUM	3130b580259b5cb9fe6f555a4358f6cc
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.886751
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2559
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}]
Number of extensional constraints	2558
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2558},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4405869

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
