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-16	SAT	92.4275	27.7445
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 (15288 MiB free)
  memory of node 1: 16384 MiB (15501 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398969-1568698209/watcher-4398969-1568698209 -o /tmp/evaluation-result-4398969-1568698209/solver-4398969-1568698209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 77890735 HOME/instance-4398969-1568698209.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25046, runsolver pid=25043
Current StackSize limit: 8192 KiB


[startup+0.100127 s]*
/proc/loadavg: 8.87 8.77 8.39 7/233 25062
/proc/meminfo: memFree=31512384/32770624 swapFree=66977040/67108860
[pid=25046] ppid=25043 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (xcsp3-exec) S 25043 25046 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446083495 115843072 362 33554432000 4194304 5098028 140720542138960 140720542137064 140591004533372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140720542143356 140720542143597 140720542143597 140720542146506 0
/proc/25046/statm: 28282 362 304 221 0 87 0
[pid=25048] ppid=25046 vsize=15144776 memory=29184 CPUtime=0.13 cores=0,2,4,6
/proc/25048/stat : 25048 (java) S 25046 25046 21506 0 -1 1077944320 5722 0 0 0 13 0 0 0 20 0 15 0 446083495 15508250624 7296 33554432000 4194304 4196468 140724139584352 140724139566896 140467180371703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
/proc/25048/statm: 3786194 7296 3154 1 0 3748377 0
[pid=25048/tid=25049] ppid=25046 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=0,2,4,6
/proc/25048/task/25049/stat : 25049 (java) R 25046 25046 21506 0 -1 4202560 3628 0 0 0 9 0 0 0 20 0 15 0 446083495 15508250624 7296 33554432000 4194304 4196468 140724139584352 140467184603880 140467180393629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25050] ppid=25046 vsize=15144776 memory=3472467813516469456 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25050/stat : 25050 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083496 15508250624 7296 33554432000 4194304 4196468 140724139584352 140467108412560 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25051] ppid=25046 vsize=15144776 memory=139684621317760 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25051/stat : 25051 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083496 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466771586064 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25052] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25052/stat : 25052 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083496 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466770533264 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25053] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25053/stat : 25053 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083496 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466769480464 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25054] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25054/stat : 25054 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083497 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466716232048 140467180382850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25055] ppid=25046 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25055/stat : 25055 (java) S 25046 25046 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446083498 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466715178016 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25056] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25056/stat : 25056 (java) S 25046 25046 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446083498 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466714125168 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25057] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25057/stat : 25057 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446083500 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466713073488 140467180390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25058] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25058/stat : 25058 (java) R 25046 25046 21506 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 446083500 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466712021872 140467180382850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25059] ppid=25046 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25059/stat : 25059 (java) R 25046 25046 21506 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 446083500 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466710969072 140467158204560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25060] ppid=25046 vsize=15144776 memory=139684621317760 CPUtime=0.02 cores=0,2,4,6
/proc/25048/task/25060/stat : 25060 (java) R 25046 25046 21506 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 446083501 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466709916272 140467164611901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25061] ppid=25046 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25061/stat : 25061 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446083501 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466708863712 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25062] ppid=25046 vsize=15144776 memory=139684621317760 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25062/stat : 25062 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083501 15508250624 7296 33554432000 4194304 4196468 140724139584352 140466707810992 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30632 KiB

[startup+0.21075 s]*
/proc/loadavg: 8.87 8.77 8.39 7/233 25062
/proc/meminfo: memFree=31498320/32770624 swapFree=66977040/67108860
[pid=25046] ppid=25043 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (xcsp3-exec) S 25043 25046 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446083495 115843072 362 33554432000 4194304 5098028 140720542138960 140720542137064 140591004533372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140720542143356 140720542143597 140720542143597 140720542146506 0
/proc/25046/statm: 28282 362 304 221 0 87 0
[pid=25048] ppid=25046 vsize=15144776 memory=41040 CPUtime=0.34 cores=0,2,4,6
/proc/25048/stat : 25048 (java) S 25046 25046 21506 0 -1 1077944320 9462 0 0 0 32 2 0 0 20 0 15 0 446083495 15508250624 10260 33554432000 4194304 4196468 140724139584352 140724139566896 140467180371703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
/proc/25048/statm: 3786194 10260 3287 1 0 3748377 0
[pid=25048/tid=25049] ppid=25046 vsize=15144776 memory=7682489639022458387 CPUtime=0.19 cores=0,2,4,6
/proc/25048/task/25049/stat : 25049 (java) R 25046 25046 21506 0 -1 4202560 6612 0 0 0 18 1 0 0 20 0 15 0 446083495 15508250624 10260 33554432000 4194304 4196468 140724139584352 140467184602944 140467180383638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25050] ppid=25046 vsize=15144776 memory=3472467813516469456 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25050/stat : 25050 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083496 15508250624 10260 33554432000 4194304 4196468 140724139584352 140467108412560 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25051] ppid=25046 vsize=15144776 memory=139684621317760 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25051/stat : 25051 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083496 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466771586064 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25052] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25052/stat : 25052 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083496 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466770533264 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25053] ppid=25046 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25053/stat : 25053 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083496 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466769480464 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25054] ppid=25046 vsize=15144776 memory=139684621317760 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25054/stat : 25054 (java) S 25046 25046 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446083497 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466716232048 140467180382850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25055] ppid=25046 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25055/stat : 25055 (java) S 25046 25046 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446083498 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466715178016 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25056] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25056/stat : 25056 (java) S 25046 25046 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446083498 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466714125168 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25057] ppid=25046 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25057/stat : 25057 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446083500 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466713073488 140467180390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25058] ppid=25046 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25048/task/25058/stat : 25058 (java) S 25046 25046 21506 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 446083500 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466712021872 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25059] ppid=25046 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25048/task/25059/stat : 25059 (java) S 25046 25046 21506 0 -1 1077944384 370 0 0 0 3 0 0 0 20 0 15 0 446083500 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466710969072 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25060] ppid=25046 vsize=15144776 memory=139684621317760 CPUtime=0.07 cores=0,2,4,6
/proc/25048/task/25060/stat : 25060 (java) R 25046 25046 21506 0 -1 4202560 733 0 0 0 7 0 0 0 20 0 15 0 446083501 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466709916272 140467172608830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25061] ppid=25046 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25061/stat : 25061 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446083501 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466708863712 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25062] ppid=25046 vsize=15144776 memory=139684621317760 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25062/stat : 25062 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083501 15508250624 10260 33554432000 4194304 4196468 140724139584352 140466707810992 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42488 KiB

[startup+0.310548 s]*
/proc/loadavg: 8.87 8.77 8.39 8/233 25062
/proc/meminfo: memFree=31491668/32770624 swapFree=66977040/67108860
[pid=25046] ppid=25043 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (xcsp3-exec) S 25043 25046 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446083495 115843072 362 33554432000 4194304 5098028 140720542138960 140720542137064 140591004533372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140720542143356 140720542143597 140720542143597 140720542146506 0
/proc/25046/statm: 28282 362 304 221 0 87 0
[pid=25048] ppid=25046 vsize=15149032 memory=50040 CPUtime=0.53 cores=0,2,4,6
/proc/25048/stat : 25048 (java) S 25046 25046 21506 0 -1 1077944320 10972 0 0 0 50 3 0 0 20 0 15 0 446083495 15512608768 12510 33554432000 4194304 4196468 140724139584352 140724139566896 140467180371703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
/proc/25048/statm: 3787258 12510 3354 1 0 3748377 0
[pid=25048/tid=25049] ppid=25046 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=0,2,4,6
/proc/25048/task/25049/stat : 25049 (java) R 25046 25046 21506 0 -1 4202560 7881 0 0 0 28 2 0 0 20 0 15 0 446083495 15512608768 12510 33554432000 4194304 4196468 140724139584352 140467184605008 140467180393629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25050] ppid=25046 vsize=15149032 memory=3472467813516469456 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25050/stat : 25050 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083496 15512608768 12510 33554432000 4194304 4196468 140724139584352 140467108412560 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25051] ppid=25046 vsize=15149032 memory=279369104599424 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25051/stat : 25051 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083496 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466771586064 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25052] ppid=25046 vsize=15149032 memory=279368966595616 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25052/stat : 25052 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083496 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466770533264 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25053] ppid=25046 vsize=15149032 memory=139684483281679 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25053/stat : 25053 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083496 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466769480464 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25054] ppid=25046 vsize=15149032 memory=279369104606336 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25054/stat : 25054 (java) S 25046 25046 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446083497 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466716232048 140467180382850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25055] ppid=25046 vsize=15149032 memory=139684483286287 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25055/stat : 25055 (java) S 25046 25046 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446083498 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466715178016 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25056] ppid=25046 vsize=15149032 memory=139684483310130 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25056/stat : 25056 (java) S 25046 25046 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446083498 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466714125168 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25057] ppid=25046 vsize=15149032 memory=139684483315838 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25057/stat : 25057 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446083500 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466713073488 140467180390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25058] ppid=25046 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25048/task/25058/stat : 25058 (java) R 25046 25046 21506 0 -1 4202560 564 0 0 0 4 0 0 0 20 0 15 0 446083500 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466712012256 140467161894593 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25059] ppid=25046 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/25048/task/25059/stat : 25059 (java) S 25046 25046 21506 0 -1 1077944384 392 0 0 0 4 0 0 0 20 0 15 0 446083500 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466710969072 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25060] ppid=25046 vsize=15149032 memory=139684621317760 CPUtime=0.12 cores=0,2,4,6
/proc/25048/task/25060/stat : 25060 (java) S 25046 25046 21506 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 15 0 446083501 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466709916272 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25061] ppid=25046 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25061/stat : 25061 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446083501 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466708863712 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25062] ppid=25046 vsize=15149032 memory=139684621319208 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25062/stat : 25062 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083501 15512608768 12510 33554432000 4194304 4196468 140724139584352 140466707810992 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51488 KiB

[startup+0.700733 s]
/proc/loadavg: 8.87 8.77 8.39 9/233 25062
/proc/meminfo: memFree=31475592/32770624 swapFree=66977040/67108860
[pid=25046] ppid=25043 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (xcsp3-exec) S 25043 25046 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446083495 115843072 362 33554432000 4194304 5098028 140720542138960 140720542137064 140591004533372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140720542143356 140720542143597 140720542143597 140720542146506 0
/proc/25046/statm: 28282 362 304 221 0 87 0
[pid=25048] ppid=25046 vsize=15151156 memory=94344 CPUtime=1.74 cores=0,2,4,6
/proc/25048/stat : 25048 (java) S 25046 25046 21506 0 -1 1077944320 14701 0 0 0 169 5 0 0 20 0 15 0 446083495 15514783744 23586 33554432000 4194304 4196468 140724139584352 140724139566896 140467180371703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
/proc/25048/statm: 3787789 23586 3441 1 0 3748889 0
[pid=25048/tid=25049] ppid=25046 vsize=15151156 memory=7882800638288482663 CPUtime=0.67 cores=0,2,4,6
/proc/25048/task/25049/stat : 25049 (java) R 25046 25046 21506 0 -1 4202560 8999 0 0 0 64 3 0 0 20 0 15 0 446083495 15514783744 23586 33554432000 4194304 4196468 140724139584352 140467184607536 140467180383638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25050] ppid=25046 vsize=15151156 memory=7740951466249179473 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25050/stat : 25050 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083496 15514783744 23586 33554432000 4194304 4196468 140724139584352 140467108412560 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25051] ppid=25046 vsize=15151156 memory=7453282923495516522 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25051/stat : 25051 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083496 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466771586064 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25052] ppid=25046 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25052/stat : 25052 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083496 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466770533264 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25053] ppid=25046 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25053/stat : 25053 (java) S 25046 25046 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446083496 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466769480464 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25054] ppid=25046 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25054/stat : 25054 (java) S 25046 25046 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446083497 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466716232048 140467180382850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25055] ppid=25046 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25055/stat : 25055 (java) S 25046 25046 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446083498 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466715178016 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25056] ppid=25046 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25056/stat : 25056 (java) S 25046 25046 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446083498 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466714125168 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25057] ppid=25046 vsize=15151156 memory=7872 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25057/stat : 25057 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446083500 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466713073488 140467180390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25058] ppid=25046 vsize=15151156 memory=1164 CPUtime=0.31 cores=0,2,4,6
/proc/25048/task/25058/stat : 25058 (java) S 25046 25046 21506 0 -1 1077944384 1287 0 0 0 31 0 0 0 20 0 15 0 446083500 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466712021872 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25059] ppid=25046 vsize=15151156 memory=9448 CPUtime=0.33 cores=0,2,4,6
/proc/25048/task/25059/stat : 25059 (java) S 25046 25046 21506 0 -1 1077944384 1318 0 0 0 33 0 0 0 20 0 15 0 446083500 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466710969072 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25060] ppid=25046 vsize=15151156 memory=14008 CPUtime=0.39 cores=0,2,4,6
/proc/25048/task/25060/stat : 25060 (java) R 25046 25046 21506 0 -1 4202560 1790 0 0 0 39 0 0 0 20 0 15 0 446083501 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466709916272 140467158360059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25061] ppid=25046 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25061/stat : 25061 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446083501 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466708863712 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25062] ppid=25046 vsize=15151156 memory=11976 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25062/stat : 25062 (java) S 25046 25046 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446083501 15514783744 23586 33554432000 4194304 4196468 140724139584352 140466707810992 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95792 KiB

[startup+1.50127 s]
/proc/loadavg: 8.87 8.77 8.39 9/233 25062
/proc/meminfo: memFree=31280624/32770624 swapFree=66977040/67108860
[pid=25046] ppid=25043 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (xcsp3-exec) S 25043 25046 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446083495 115843072 362 33554432000 4194304 5098028 140720542138960 140720542137064 140591004533372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140720542143356 140720542143597 140720542143597 140720542146506 0
/proc/25046/statm: 28282 362 304 221 0 87 0

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

/proc/25048/task/25062/stat : 25062 (java) S 25046 25046 21506 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466707810992 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25063] ppid=25046 vsize=15417412 memory=24337 CPUtime=10.75 cores=0,2,4,6
/proc/25048/task/25063/stat : 25063 (java) S 25046 25046 21506 0 -1 1077944384 3106 0 0 0 1075 0 0 0 20 0 19 0 446084893 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466630516208 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25064] ppid=25046 vsize=15417412 memory=4420 CPUtime=11.72 cores=0,2,4,6
/proc/25048/task/25064/stat : 25064 (java) R 25046 25046 21506 0 -1 4202560 3142 0 0 0 1172 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466629459376 140466795808993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25065] ppid=25046 vsize=15417412 memory=6628 CPUtime=11.3 cores=0,2,4,6
/proc/25048/task/25065/stat : 25065 (java) S 25046 25046 21506 0 -1 1077944384 1874 0 0 0 1130 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466628412112 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25066] ppid=25046 vsize=15417412 memory=8836 CPUtime=11.22 cores=0,2,4,6
/proc/25048/task/25066/stat : 25066 (java) S 25046 25046 21506 0 -1 1077944384 28658 0 0 0 1122 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466627360336 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
Current children cumulated CPU time: 91.07 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7004604 KiB

[startup+27.2009 s]
/proc/loadavg: 8.70 8.73 8.39 6/237 25066
/proc/meminfo: memFree=24530120/32770624 swapFree=66977040/67108860
[pid=25046] ppid=25043 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (xcsp3-exec) S 25043 25046 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446083495 115843072 362 33554432000 4194304 5098028 140720542138960 140720542137064 140591004533372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140720542143356 140720542143597 140720542143597 140720542146506 0
/proc/25046/statm: 28282 362 304 221 0 87 0
[pid=25048] ppid=25046 vsize=15417412 memory=7003156 CPUtime=91.87 cores=0,2,4,6
/proc/25048/stat : 25048 (java) S 25046 25046 21506 0 -1 1077944320 147389 0 0 0 8509 678 0 0 20 0 19 0 446083495 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140724139566896 140467180371703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
/proc/25048/statm: 3854353 1750789 3525 1 0 3815453 0
[pid=25048/tid=25049] ppid=25046 vsize=15417412 memory=2004 CPUtime=5.09 cores=0,2,4,6
/proc/25048/task/25049/stat : 25049 (java) S 25046 25046 21506 0 -1 1077944384 12379 0 0 0 498 11 0 0 20 0 19 0 446083495 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140467184612480 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25050] ppid=25046 vsize=15417412 memory=6791534058613427641 CPUtime=8.63 cores=0,2,4,6
/proc/25048/task/25050/stat : 25050 (java) S 25046 25046 21506 0 -1 1077944384 15445 0 0 0 698 165 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140467108412560 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25051] ppid=25046 vsize=15417412 memory=2664 CPUtime=8.57 cores=0,2,4,6
/proc/25048/task/25051/stat : 25051 (java) S 25046 25046 21506 0 -1 1077944384 16170 0 0 0 695 162 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466771586064 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25052] ppid=25046 vsize=15417412 memory=1412 CPUtime=8.7 cores=0,2,4,6
/proc/25048/task/25052/stat : 25052 (java) S 25046 25046 21506 0 -1 1077944384 16547 0 0 0 710 160 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466770533264 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25053] ppid=25046 vsize=15417412 memory=3260 CPUtime=8.68 cores=0,2,4,6
/proc/25048/task/25053/stat : 25053 (java) S 25046 25046 21506 0 -1 1077944384 16205 0 0 0 699 169 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466769480464 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25054] ppid=25046 vsize=15417412 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/25048/task/25054/stat : 25054 (java) S 25046 25046 21506 0 -1 1077944384 8598 0 0 0 12 1 0 0 20 0 19 0 446083497 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466716232048 140467180382850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25055] ppid=25046 vsize=15417412 memory=177964 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25055/stat : 25055 (java) S 25046 25046 21506 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446083498 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466715178080 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25056] ppid=25046 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25056/stat : 25056 (java) S 25046 25046 21506 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446083498 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466714125184 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25057] ppid=25046 vsize=15417412 memory=7003156 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25057/stat : 25057 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466713073488 140467180390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25058] ppid=25046 vsize=15417412 memory=15460 CPUtime=2.73 cores=0,2,4,6
/proc/25048/task/25058/stat : 25058 (java) S 25046 25046 21506 0 -1 1077944384 9502 0 0 0 272 1 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466712021872 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25059] ppid=25046 vsize=15417412 memory=6791534058613427641 CPUtime=2.75 cores=0,2,4,6
/proc/25048/task/25059/stat : 25059 (java) S 25046 25046 21506 0 -1 1077944384 10869 0 0 0 274 1 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466710969072 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25060] ppid=25046 vsize=15417412 memory=19876 CPUtime=0.66 cores=0,2,4,6
/proc/25048/task/25060/stat : 25060 (java) S 25046 25046 21506 0 -1 1077944384 3084 0 0 0 65 1 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466709916272 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25061] ppid=25046 vsize=15417412 memory=22084 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25061/stat : 25061 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466708863712 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25062] ppid=25046 vsize=15417412 memory=24292 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25062/stat : 25062 (java) S 25046 25046 21506 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466707810992 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25063] ppid=25046 vsize=15417412 memory=0 CPUtime=10.75 cores=0,2,4,6
/proc/25048/task/25063/stat : 25063 (java) S 25046 25046 21506 0 -1 1077944384 3106 0 0 0 1075 0 0 0 20 0 19 0 446084893 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466630516208 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25064] ppid=25046 vsize=15417412 memory=4420 CPUtime=12.52 cores=0,2,4,6
/proc/25048/task/25064/stat : 25064 (java) R 25046 25046 21506 0 -1 4202560 3224 0 0 0 1252 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466629459376 140466795809707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25065] ppid=25046 vsize=15417412 memory=6628 CPUtime=11.3 cores=0,2,4,6
/proc/25048/task/25065/stat : 25065 (java) S 25046 25046 21506 0 -1 1077944384 1874 0 0 0 1130 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466628412112 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25066] ppid=25046 vsize=15417412 memory=46369 CPUtime=11.22 cores=0,2,4,6
/proc/25048/task/25066/stat : 25066 (java) S 25046 25046 21506 0 -1 1077944384 28658 0 0 0 1122 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466627360336 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
Current children cumulated CPU time: 91.87 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7004604 KiB

[startup+27.6009 s]
/proc/loadavg: 8.70 8.73 8.39 6/237 25066
/proc/meminfo: memFree=24530120/32770624 swapFree=66977040/67108860
[pid=25046] ppid=25043 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (xcsp3-exec) S 25043 25046 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446083495 115843072 362 33554432000 4194304 5098028 140720542138960 140720542137064 140591004533372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140720542143356 140720542143597 140720542143597 140720542146506 0
/proc/25046/statm: 28282 362 304 221 0 87 0
[pid=25048] ppid=25046 vsize=15417412 memory=7003156 CPUtime=92.27 cores=0,2,4,6
/proc/25048/stat : 25048 (java) S 25046 25046 21506 0 -1 1077944320 147390 0 0 0 8549 678 0 0 20 0 19 0 446083495 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140724139566896 140467180371703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
/proc/25048/statm: 3854353 1750789 3525 1 0 3815453 0
[pid=25048/tid=25049] ppid=25046 vsize=15417412 memory=984 CPUtime=5.09 cores=0,2,4,6
/proc/25048/task/25049/stat : 25049 (java) S 25046 25046 21506 0 -1 1077944384 12379 0 0 0 498 11 0 0 20 0 19 0 446083495 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140467184612480 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25050] ppid=25046 vsize=15417412 memory=1324 CPUtime=8.63 cores=0,2,4,6
/proc/25048/task/25050/stat : 25050 (java) S 25046 25046 21506 0 -1 1077944384 15445 0 0 0 698 165 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140467108412560 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25051] ppid=25046 vsize=15417412 memory=780 CPUtime=8.57 cores=0,2,4,6
/proc/25048/task/25051/stat : 25051 (java) S 25046 25046 21506 0 -1 1077944384 16170 0 0 0 695 162 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466771586064 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25052] ppid=25046 vsize=15417412 memory=4088 CPUtime=8.7 cores=0,2,4,6
/proc/25048/task/25052/stat : 25052 (java) S 25046 25046 21506 0 -1 1077944384 16547 0 0 0 710 160 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466770533264 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25053] ppid=25046 vsize=15417412 memory=1580 CPUtime=8.68 cores=0,2,4,6
/proc/25048/task/25053/stat : 25053 (java) S 25046 25046 21506 0 -1 1077944384 16205 0 0 0 699 169 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466769480464 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25054] ppid=25046 vsize=15417412 memory=1028 CPUtime=0.13 cores=0,2,4,6
/proc/25048/task/25054/stat : 25054 (java) S 25046 25046 21506 0 -1 1077944384 8598 0 0 0 12 1 0 0 20 0 19 0 446083497 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466716232048 140467180382850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25055] ppid=25046 vsize=15417412 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25055/stat : 25055 (java) S 25046 25046 21506 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446083498 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466715178080 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25056] ppid=25046 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25056/stat : 25056 (java) S 25046 25046 21506 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446083498 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466714125184 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25057] ppid=25046 vsize=15417412 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25057/stat : 25057 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466713073488 140467180390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25058] ppid=25046 vsize=15417412 memory=928 CPUtime=2.73 cores=0,2,4,6
/proc/25048/task/25058/stat : 25058 (java) S 25046 25046 21506 0 -1 1077944384 9502 0 0 0 272 1 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466712021872 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25059] ppid=25046 vsize=15417412 memory=3784 CPUtime=2.75 cores=0,2,4,6
/proc/25048/task/25059/stat : 25059 (java) S 25046 25046 21506 0 -1 1077944384 10869 0 0 0 274 1 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466710969072 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25060] ppid=25046 vsize=15417412 memory=1440 CPUtime=0.66 cores=0,2,4,6
/proc/25048/task/25060/stat : 25060 (java) S 25046 25046 21506 0 -1 1077944384 3084 0 0 0 65 1 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466709916272 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25061] ppid=25046 vsize=15417412 memory=904 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25061/stat : 25061 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466708863712 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25062] ppid=25046 vsize=15417412 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25062/stat : 25062 (java) S 25046 25046 21506 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466707810992 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25063] ppid=25046 vsize=15417412 memory=2528 CPUtime=10.75 cores=0,2,4,6
/proc/25048/task/25063/stat : 25063 (java) S 25046 25046 21506 0 -1 1077944384 3106 0 0 0 1075 0 0 0 20 0 19 0 446084893 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466630516208 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25064] ppid=25046 vsize=15417412 memory=1764 CPUtime=12.92 cores=0,2,4,6
/proc/25048/task/25064/stat : 25064 (java) R 25046 25046 21506 0 -1 4202560 3225 0 0 0 1292 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466629459376 140466795809741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25065] ppid=25046 vsize=15417412 memory=111632 CPUtime=11.3 cores=0,2,4,6
/proc/25048/task/25065/stat : 25065 (java) S 25046 25046 21506 0 -1 1077944384 1874 0 0 0 1130 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466628412112 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25066] ppid=25046 vsize=15417412 memory=804 CPUtime=11.22 cores=0,2,4,6
/proc/25048/task/25066/stat : 25066 (java) S 25046 25046 21506 0 -1 1077944384 28658 0 0 0 1122 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466627360336 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
Current children cumulated CPU time: 92.27 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7004604 KiB

[startup+27.7009 s]
/proc/loadavg: 8.70 8.73 8.39 6/237 25066
/proc/meminfo: memFree=24530120/32770624 swapFree=66977040/67108860
[pid=25046] ppid=25043 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (xcsp3-exec) S 25043 25046 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446083495 115843072 362 33554432000 4194304 5098028 140720542138960 140720542137064 140591004533372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140720542143356 140720542143597 140720542143597 140720542146506 0
/proc/25046/statm: 28282 362 304 221 0 87 0
[pid=25048] ppid=25046 vsize=15417412 memory=7003156 CPUtime=92.37 cores=0,2,4,6
/proc/25048/stat : 25048 (java) S 25046 25046 21506 0 -1 1077944320 147505 0 0 0 8559 678 0 0 20 0 19 0 446083495 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140724139566896 140467180371703 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
/proc/25048/statm: 3854353 1750789 3525 1 0 3815453 0
[pid=25048/tid=25049] ppid=25046 vsize=15417412 memory=7003156 CPUtime=5.09 cores=0,2,4,6
/proc/25048/task/25049/stat : 25049 (java) S 25046 25046 21506 0 -1 1077944384 12379 0 0 0 498 11 0 0 20 0 19 0 446083495 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140467184612480 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25050] ppid=25046 vsize=15417412 memory=1448 CPUtime=8.63 cores=0,2,4,6
/proc/25048/task/25050/stat : 25050 (java) S 25046 25046 21506 0 -1 1077944384 15445 0 0 0 698 165 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140467108412560 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25051] ppid=25046 vsize=15417412 memory=351 CPUtime=8.57 cores=0,2,4,6
/proc/25048/task/25051/stat : 25051 (java) S 25046 25046 21506 0 -1 1077944384 16170 0 0 0 695 162 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466771586064 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25052] ppid=25046 vsize=15417412 memory=16599 CPUtime=8.7 cores=0,2,4,6
/proc/25048/task/25052/stat : 25052 (java) S 25046 25046 21506 0 -1 1077944384 16547 0 0 0 710 160 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466770533264 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25053] ppid=25046 vsize=15417412 memory=0 CPUtime=8.68 cores=0,2,4,6
/proc/25048/task/25053/stat : 25053 (java) S 25046 25046 21506 0 -1 1077944384 16205 0 0 0 699 169 0 0 20 0 19 0 446083496 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466769480464 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25054] ppid=25046 vsize=15417412 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/25048/task/25054/stat : 25054 (java) S 25046 25046 21506 0 -1 1077944384 8598 0 0 0 12 1 0 0 20 0 19 0 446083497 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466716232048 140467180382850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25055] ppid=25046 vsize=15417412 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25055/stat : 25055 (java) S 25046 25046 21506 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446083498 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466715178080 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25056] ppid=25046 vsize=15417412 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25056/stat : 25056 (java) S 25046 25046 21506 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446083498 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466714125184 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25057] ppid=25046 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25057/stat : 25057 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466713073488 140467180390299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25058] ppid=25046 vsize=15417412 memory=3328976 CPUtime=2.73 cores=0,2,4,6
/proc/25048/task/25058/stat : 25058 (java) S 25046 25046 21506 0 -1 1077944384 9502 0 0 0 272 1 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466712021872 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25059] ppid=25046 vsize=15417412 memory=1580 CPUtime=2.75 cores=0,2,4,6
/proc/25048/task/25059/stat : 25059 (java) S 25046 25046 21506 0 -1 1077944384 10869 0 0 0 274 1 0 0 20 0 19 0 446083500 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466710969072 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25060] ppid=25046 vsize=15417412 memory=1448 CPUtime=0.66 cores=0,2,4,6
/proc/25048/task/25060/stat : 25060 (java) S 25046 25046 21506 0 -1 1077944384 3084 0 0 0 65 1 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466709916272 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25061] ppid=25046 vsize=15417412 memory=7004536 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25061/stat : 25061 (java) S 25046 25046 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466708863712 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25062] ppid=25046 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25048/task/25062/stat : 25062 (java) S 25046 25046 21506 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 19 0 446083501 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466707810992 140467180382850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25063] ppid=25046 vsize=15417412 memory=8647 CPUtime=10.75 cores=0,2,4,6
/proc/25048/task/25063/stat : 25063 (java) S 25046 25046 21506 0 -1 1077944384 3106 0 0 0 1075 0 0 0 20 0 19 0 446084893 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466630516208 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25064] ppid=25046 vsize=15417412 memory=509 CPUtime=13.02 cores=0,2,4,6
/proc/25048/task/25064/stat : 25064 (java) R 25046 25046 21506 0 -1 4202560 3340 0 0 0 1302 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466629459376 140466796285862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25065] ppid=25046 vsize=15417412 memory=863 CPUtime=11.3 cores=0,2,4,6
/proc/25048/task/25065/stat : 25065 (java) S 25046 25046 21506 0 -1 1077944384 1874 0 0 0 1130 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466628412112 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
[pid=25048/tid=25066] ppid=25046 vsize=15417412 memory=1262 CPUtime=11.22 cores=0,2,4,6
/proc/25048/task/25066/stat : 25066 (java) S 25046 25046 21506 0 -1 1077944384 28658 0 0 0 1122 0 0 0 20 0 19 0 446084894 15787429888 1750789 33554432000 4194304 4196468 140724139584352 140466627360336 140467180381909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27172864 140724139590639 140724139590810 140724139590810 140724139593679 0
Current children cumulated CPU time: 92.37 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7004604 KiB

Child status: 0
Real time (s): 27.7445
CPU time (s): 92.4275
CPU user time (s): 85.608
CPU system time (s): 6.81948
CPU usage (%): 333.138
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 7007608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.608
system time used= 6.81948
maximum resident set size= 7006188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150045
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= 4005
involuntary context switches= 2222


# summary of solver processes directly reported to runsolver:
#   pid: 25046
#   total CPU time (s): 92.4275
#   total CPU user time (s): 85.608
#   total CPU system time (s): 6.81948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.212548 second user time and 0.319483 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 4398969

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
