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	159.641	152.923
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 (9582 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-4405861-1569408181/watcher-4405861-1569408181 -o /var/tmp/evaluation-result-4405861-1569408181/solver-4405861-1569408181 -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 853557945 HOME/instance-4405861-1569408181.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=28719, runsolver pid=28716

[startup+0.100115 s]*
/proc/loadavg: 1.79 1.79 1.86 4/230 28735
/proc/meminfo: memFree=21766428/32770624 swapFree=66953520/67108860
[pid=28719] ppid=28716 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0
[pid=28721] ppid=28719 vsize=15144776 memory=30300 CPUtime=0.13 cores=1,3,5,7
/proc/28721/stat : 28721 (java) S 28719 28719 25905 0 -1 1077944320 5472 0 0 0 12 1 0 0 20 0 15 0 516732887 15508250624 7575 33554432000 4194304 4196468 140722698612432 140722698594976 140714780045047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
/proc/28721/statm: 3786194 7575 3186 1 0 3748377 0
[pid=28721/tid=28722] ppid=28719 vsize=15144776 memory=8108032331684915787 CPUtime=0.09 cores=1,3,5,7
/proc/28721/task/28722/stat : 28722 (java) R 28719 28719 25905 0 -1 4202560 3364 0 0 0 9 0 0 0 20 0 15 0 516732887 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714784274872 140714780056982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28723] ppid=28719 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28723/stat : 28723 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714372574224 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28724] ppid=28719 vsize=15144776 memory=140313041241728 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28724/stat : 28724 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714371521680 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28725] ppid=28719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28725/stat : 28725 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714370468624 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28726] ppid=28719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28726/stat : 28726 (java) S 28719 28719 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516732888 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714369416080 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28727] ppid=28719 vsize=15144776 memory=140313041241728 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28727/stat : 28727 (java) S 28719 28719 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516732889 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714248579312 140714780056194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28728] ppid=28719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28728/stat : 28728 (java) S 28719 28719 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516732890 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714247525536 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28729] ppid=28719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28729/stat : 28729 (java) S 28719 28719 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516732890 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714246472432 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28730] ppid=28719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28730/stat : 28730 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732892 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714245421008 140714780063643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28731] ppid=28719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28731/stat : 28731 (java) S 28719 28719 25905 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 516732892 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714244369136 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28732] ppid=28719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28732/stat : 28732 (java) S 28719 28719 25905 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 516732893 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714243316592 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28733] ppid=28719 vsize=15144776 memory=140313041241728 CPUtime=0.02 cores=1,3,5,7
/proc/28721/task/28733/stat : 28733 (java) R 28719 28719 25905 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 516732893 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714242257888 140714758742013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28734] ppid=28719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28734/stat : 28734 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732893 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714241211232 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28735] ppid=28719 vsize=15144776 memory=140313041241728 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28735/stat : 28735 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732893 15508250624 7575 33554432000 4194304 4196468 140722698612432 140714240158256 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31752 KiB

[startup+0.210867 s]*
/proc/loadavg: 1.79 1.79 1.86 4/230 28735
/proc/meminfo: memFree=21753436/32770624 swapFree=66953520/67108860
[pid=28719] ppid=28716 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0
[pid=28721] ppid=28719 vsize=15144776 memory=41344 CPUtime=0.35 cores=1,3,5,7
/proc/28721/stat : 28721 (java) S 28719 28719 25905 0 -1 1077944320 9032 0 0 0 32 3 0 0 20 0 15 0 516732887 15508250624 10336 33554432000 4194304 4196468 140722698612432 140722698594976 140714780045047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
/proc/28721/statm: 3786194 10336 3303 1 0 3748377 0
[pid=28721/tid=28722] ppid=28719 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28721/task/28722/stat : 28722 (java) R 28719 28719 25905 0 -1 4202560 6190 0 0 0 19 1 0 0 20 0 15 0 516732887 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714784276320 140714780066973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28723] ppid=28719 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28723/stat : 28723 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714372574224 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28724] ppid=28719 vsize=15144776 memory=3690192153025473891 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28724/stat : 28724 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714371521680 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28725] ppid=28719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28725/stat : 28725 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714370468624 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28726] ppid=28719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28726/stat : 28726 (java) S 28719 28719 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516732888 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714369416080 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28727] ppid=28719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28727/stat : 28727 (java) S 28719 28719 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516732889 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714248579312 140714780056194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28728] ppid=28719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28728/stat : 28728 (java) S 28719 28719 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516732890 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714247525536 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28729] ppid=28719 vsize=15144776 memory=140313041241728 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28729/stat : 28729 (java) S 28719 28719 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516732890 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714246472432 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28730] ppid=28719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28730/stat : 28730 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732892 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714245421008 140714780063643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28731] ppid=28719 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28721/task/28731/stat : 28731 (java) S 28719 28719 25905 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 15 0 516732892 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714244369136 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28732] ppid=28719 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28721/task/28732/stat : 28732 (java) S 28719 28719 25905 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 15 0 516732893 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714243316592 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28733] ppid=28719 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28721/task/28733/stat : 28733 (java) S 28719 28719 25905 0 -1 1077944384 752 0 0 0 8 0 0 0 20 0 15 0 516732893 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714242263536 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28734] ppid=28719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28734/stat : 28734 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732893 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714241211232 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28735] ppid=28719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28735/stat : 28735 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732893 15508250624 10336 33554432000 4194304 4196468 140722698612432 140714240158256 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42796 KiB

[startup+0.315921 s]*
/proc/loadavg: 1.79 1.79 1.86 4/230 28735
/proc/meminfo: memFree=21746276/32770624 swapFree=66953520/67108860
[pid=28719] ppid=28716 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0
[pid=28721] ppid=28719 vsize=15149032 memory=50576 CPUtime=0.55 cores=1,3,5,7
/proc/28721/stat : 28721 (java) S 28719 28719 25905 0 -1 1077944320 10398 0 0 0 51 4 0 0 20 0 15 0 516732887 15512608768 12644 33554432000 4194304 4196468 140722698612432 140722698594976 140714780045047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
/proc/28721/statm: 3787258 12644 3364 1 0 3748377 0
[pid=28721/tid=28722] ppid=28719 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/28721/task/28722/stat : 28722 (java) R 28719 28719 25905 0 -1 4202560 7412 0 0 0 28 2 0 0 20 0 15 0 516732887 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714784276160 140714764125534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28723] ppid=28719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28723/stat : 28723 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714372574224 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28724] ppid=28719 vsize=15149032 memory=3905528202495551090 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28724/stat : 28724 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714371521680 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28725] ppid=28719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28725/stat : 28725 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714370468624 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28726] ppid=28719 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28726/stat : 28726 (java) S 28719 28719 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516732888 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714369416080 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28727] ppid=28719 vsize=15149032 memory=140313041241728 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28727/stat : 28727 (java) S 28719 28719 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516732889 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714248579312 140714780056194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28728] ppid=28719 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28728/stat : 28728 (java) S 28719 28719 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516732890 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714247525536 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28729] ppid=28719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28729/stat : 28729 (java) S 28719 28719 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516732890 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714246472432 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28730] ppid=28719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28730/stat : 28730 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732892 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714245421008 140714780063643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28731] ppid=28719 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28721/task/28731/stat : 28731 (java) S 28719 28719 25905 0 -1 1077944384 601 0 0 0 5 0 0 0 20 0 15 0 516732892 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714244369136 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28732] ppid=28719 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28721/task/28732/stat : 28732 (java) S 28719 28719 25905 0 -1 1077944384 283 0 0 0 4 0 0 0 20 0 15 0 516732893 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714243316592 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28733] ppid=28719 vsize=15149032 memory=140313041241728 CPUtime=0.12 cores=1,3,5,7
/proc/28721/task/28733/stat : 28733 (java) S 28719 28719 25905 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 15 0 516732893 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714242263536 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28734] ppid=28719 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28734/stat : 28734 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732893 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714241211232 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28735] ppid=28719 vsize=15149032 memory=140313041241728 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28735/stat : 28735 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732893 15512608768 12644 33554432000 4194304 4196468 140722698612432 140714240158256 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52028 KiB

[startup+0.700919 s]
/proc/loadavg: 1.79 1.79 1.86 6/230 28735
/proc/meminfo: memFree=21736156/32770624 swapFree=66953520/67108860
[pid=28719] ppid=28716 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0
[pid=28721] ppid=28719 vsize=15151156 memory=89980 CPUtime=1.66 cores=1,3,5,7
/proc/28721/stat : 28721 (java) S 28719 28719 25905 0 -1 1077944320 14017 0 0 0 160 6 0 0 20 0 15 0 516732887 15514783744 22495 33554432000 4194304 4196468 140722698612432 140722698594976 140714780045047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
/proc/28721/statm: 3787789 22495 3442 1 0 3748889 0
[pid=28721/tid=28722] ppid=28719 vsize=15151156 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/28721/task/28722/stat : 28722 (java) R 28719 28719 25905 0 -1 4202560 8392 0 0 0 65 3 0 0 20 0 15 0 516732887 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714784276480 140714417575016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28723] ppid=28719 vsize=15151156 memory=520 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28723/stat : 28723 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714372574224 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28724] ppid=28719 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28724/stat : 28724 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714371521680 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28725] ppid=28719 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28725/stat : 28725 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732888 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714370468624 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28726] ppid=28719 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28726/stat : 28726 (java) S 28719 28719 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516732888 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714369416080 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28727] ppid=28719 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28727/stat : 28727 (java) S 28719 28719 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516732889 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714248579312 140714780056194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28728] ppid=28719 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28728/stat : 28728 (java) S 28719 28719 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714247525536 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28729] ppid=28719 vsize=15151156 memory=808 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28729/stat : 28729 (java) S 28719 28719 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714246472432 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28730] ppid=28719 vsize=15151156 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28730/stat : 28730 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732892 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714245421008 140714780063643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28731] ppid=28719 vsize=15151156 memory=7302135314614015848 CPUtime=0.29 cores=1,3,5,7
/proc/28721/task/28731/stat : 28731 (java) R 28719 28719 25905 0 -1 4202560 1508 0 0 0 29 0 0 0 20 0 15 0 516732892 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714244369136 140714761566229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28732] ppid=28719 vsize=15151156 memory=7523384585114641744 CPUtime=0.26 cores=1,3,5,7
/proc/28721/task/28732/stat : 28732 (java) R 28719 28719 25905 0 -1 4202560 945 0 0 0 26 0 0 0 20 0 15 0 516732893 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714243315728 140714764288880 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28733] ppid=28719 vsize=15151156 memory=7223887401239728208 CPUtime=0.39 cores=1,3,5,7
/proc/28721/task/28733/stat : 28733 (java) R 28719 28719 25905 0 -1 4202560 1864 0 0 0 39 0 0 0 20 0 15 0 516732893 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714242261328 140714765175918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28734] ppid=28719 vsize=15151156 memory=7440060183353512016 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28734/stat : 28734 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732893 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714241211232 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28735] ppid=28719 vsize=15151156 memory=7453012555186398805 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28735/stat : 28735 (java) S 28719 28719 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516732893 15514783744 22495 33554432000 4194304 4196468 140722698612432 140714240158256 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91432 KiB

[startup+1.50093 s]
/proc/loadavg: 1.79 1.79 1.86 6/230 28735
/proc/meminfo: memFree=21187564/32770624 swapFree=66953520/67108860
[pid=28719] ppid=28716 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0

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

/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0
[pid=28721] ppid=28719 vsize=15151156 memory=1166728 CPUtime=157.39 cores=1,3,5,7
/proc/28721/stat : 28721 (java) S 28719 28719 25905 0 -1 1077944320 53579 0 0 0 15638 101 0 0 20 0 15 0 516732887 15514783744 291682 33554432000 4194304 4196468 140722698612432 140722698594976 140714780045047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
/proc/28721/statm: 3787789 291682 3516 1 0 3748889 0
[pid=28721/tid=28722] ppid=28719 vsize=15151156 memory=14131130454511009 CPUtime=149.63 cores=1,3,5,7
/proc/28721/task/28722/stat : 28722 (java) R 28719 28719 25905 0 -1 4202560 17715 0 0 0 14955 8 0 0 20 0 15 0 516732887 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714784282008 140714424076451 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28723] ppid=28719 vsize=15151156 memory=1728 CPUtime=0.98 cores=1,3,5,7
/proc/28721/task/28723/stat : 28723 (java) S 28719 28719 25905 0 -1 1077944384 1068 0 0 0 78 20 0 0 20 0 15 0 516732888 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714372574224 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28724] ppid=28719 vsize=15151156 memory=3504 CPUtime=0.99 cores=1,3,5,7
/proc/28721/task/28724/stat : 28724 (java) S 28719 28719 25905 0 -1 1077944384 773 0 0 0 79 20 0 0 20 0 15 0 516732888 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714371521680 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28725] ppid=28719 vsize=15151156 memory=65968 CPUtime=1 cores=1,3,5,7
/proc/28721/task/28725/stat : 28725 (java) S 28719 28719 25905 0 -1 1077944384 1076 0 0 0 79 21 0 0 20 0 15 0 516732888 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714370468624 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28726] ppid=28719 vsize=15151156 memory=988 CPUtime=0.98 cores=1,3,5,7
/proc/28721/task/28726/stat : 28726 (java) S 28719 28719 25905 0 -1 1077944384 1625 0 0 0 78 20 0 0 20 0 15 0 516732888 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714369416080 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28727] ppid=28719 vsize=15151156 memory=2008 CPUtime=0.03 cores=1,3,5,7
/proc/28721/task/28727/stat : 28727 (java) S 28719 28719 25905 0 -1 1077944384 4473 0 0 0 3 0 0 0 20 0 15 0 516732889 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714248579312 140714780056194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28728] ppid=28719 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28728/stat : 28728 (java) S 28719 28719 25905 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714247525600 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28729] ppid=28719 vsize=15151156 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28729/stat : 28729 (java) S 28719 28719 25905 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714246472448 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28730] ppid=28719 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28730/stat : 28730 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732892 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714245421008 140714780063643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28731] ppid=28719 vsize=15151156 memory=1728 CPUtime=1.51 cores=1,3,5,7
/proc/28721/task/28731/stat : 28731 (java) S 28719 28719 25905 0 -1 1077944384 10035 0 0 0 149 2 0 0 20 0 15 0 516732892 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714244369136 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28732] ppid=28719 vsize=15151156 memory=8212 CPUtime=1.48 cores=1,3,5,7
/proc/28721/task/28732/stat : 28732 (java) S 28719 28719 25905 0 -1 1077944384 7891 0 0 0 147 1 0 0 20 0 15 0 516732893 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714243316592 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28733] ppid=28719 vsize=15151156 memory=9580 CPUtime=0.62 cores=1,3,5,7
/proc/28721/task/28733/stat : 28733 (java) S 28719 28719 25905 0 -1 1077944384 6939 0 0 0 61 1 0 0 20 0 15 0 516732893 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714242263536 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28734] ppid=28719 vsize=15151156 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28734/stat : 28734 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732893 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714241211232 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28735] ppid=28719 vsize=15151156 memory=65968 CPUtime=0.06 cores=1,3,5,7
/proc/28721/task/28735/stat : 28735 (java) S 28719 28719 25905 0 -1 1077944384 658 0 0 0 2 4 0 0 20 0 15 0 516732893 15514783744 291682 33554432000 4194304 4196468 140722698612432 140714240158256 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
Current children cumulated CPU time: 157.39 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1168180 KiB

[startup+152.301 s]*
/proc/loadavg: 1.50 1.66 1.80 3/230 28746
/proc/meminfo: memFree=20614776/32770624 swapFree=66953520/67108860
[pid=28719] ppid=28716 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0
[pid=28721] ppid=28719 vsize=15151156 memory=1166748 CPUtime=159.01 cores=1,3,5,7
/proc/28721/stat : 28721 (java) S 28719 28719 25905 0 -1 1077944320 53775 0 0 0 15800 101 0 0 20 0 15 0 516732887 15514783744 291687 33554432000 4194304 4196468 140722698612432 140722698594976 140714780045047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
/proc/28721/statm: 3787789 291687 3516 1 0 3748889 0
[pid=28721/tid=28722] ppid=28719 vsize=15151156 memory=1398722017469774279 CPUtime=151.24 cores=1,3,5,7
/proc/28721/task/28722/stat : 28722 (java) R 28719 28719 25905 0 -1 4202560 17844 0 0 0 15116 8 0 0 20 0 15 0 516732887 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714784283816 140714423884508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28723] ppid=28719 vsize=15151156 memory=4872558044660077418 CPUtime=0.98 cores=1,3,5,7
/proc/28721/task/28723/stat : 28723 (java) S 28719 28719 25905 0 -1 1077944384 1068 0 0 0 78 20 0 0 20 0 15 0 516732888 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714372574224 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28724] ppid=28719 vsize=15151156 memory=-6519613052471072158 CPUtime=0.99 cores=1,3,5,7
/proc/28721/task/28724/stat : 28724 (java) S 28719 28719 25905 0 -1 1077944384 773 0 0 0 79 20 0 0 20 0 15 0 516732888 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714371521680 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28725] ppid=28719 vsize=15151156 memory=7667758149766048353 CPUtime=1 cores=1,3,5,7
/proc/28721/task/28725/stat : 28725 (java) S 28719 28719 25905 0 -1 1077944384 1076 0 0 0 79 21 0 0 20 0 15 0 516732888 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714370468624 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28726] ppid=28719 vsize=15151156 memory=6081667529592890985 CPUtime=0.98 cores=1,3,5,7
/proc/28721/task/28726/stat : 28726 (java) S 28719 28719 25905 0 -1 1077944384 1625 0 0 0 78 20 0 0 20 0 15 0 516732888 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714369416080 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28727] ppid=28719 vsize=15151156 memory=6004536818935490918 CPUtime=0.03 cores=1,3,5,7
/proc/28721/task/28727/stat : 28727 (java) S 28719 28719 25905 0 -1 1077944384 4473 0 0 0 3 0 0 0 20 0 15 0 516732889 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714248579312 140714780056194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28728] ppid=28719 vsize=15151156 memory=6081667529592890985 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28728/stat : 28728 (java) S 28719 28719 25905 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714247525600 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28729] ppid=28719 vsize=15151156 memory=6081667529592890985 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28729/stat : 28729 (java) S 28719 28719 25905 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714246472448 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28730] ppid=28719 vsize=15151156 memory=7301272219779688297 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28730/stat : 28730 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732892 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714245421008 140714780063643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28731] ppid=28719 vsize=15151156 memory=7161960715998620773 CPUtime=1.53 cores=1,3,5,7
/proc/28721/task/28731/stat : 28731 (java) S 28719 28719 25905 0 -1 1077944384 10088 0 0 0 151 2 0 0 20 0 15 0 516732892 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714244369136 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28732] ppid=28719 vsize=15151156 memory=7161960715998620773 CPUtime=1.48 cores=1,3,5,7
/proc/28721/task/28732/stat : 28732 (java) S 28719 28719 25905 0 -1 1077944384 7891 0 0 0 147 1 0 0 20 0 15 0 516732893 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714243316592 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28733] ppid=28719 vsize=15151156 memory=7666081377067230828 CPUtime=0.63 cores=1,3,5,7
/proc/28721/task/28733/stat : 28733 (java) S 28719 28719 25905 0 -1 1077944384 6953 0 0 0 62 1 0 0 20 0 15 0 516732893 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714242263536 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28734] ppid=28719 vsize=15151156 memory=7380385384177756480 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28734/stat : 28734 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732893 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714241211232 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28735] ppid=28719 vsize=15151156 memory=6081667529592890985 CPUtime=0.06 cores=1,3,5,7
/proc/28721/task/28735/stat : 28735 (java) S 28719 28719 25905 0 -1 1077944384 658 0 0 0 2 4 0 0 20 0 15 0 516732893 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714240158256 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
Current children cumulated CPU time: 159.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1168200 KiB

[startup+152.701 s]
/proc/loadavg: 1.50 1.66 1.80 3/230 28746
/proc/meminfo: memFree=20614776/32770624 swapFree=66953520/67108860
[pid=28719] ppid=28716 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0
[pid=28721] ppid=28719 vsize=15151156 memory=1166748 CPUtime=159.4 cores=1,3,5,7
/proc/28721/stat : 28721 (java) S 28719 28719 25905 0 -1 1077944320 53775 0 0 0 15839 101 0 0 20 0 15 0 516732887 15514783744 291687 33554432000 4194304 4196468 140722698612432 140722698594976 140714780045047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
/proc/28721/statm: 3787789 291687 3516 1 0 3748889 0
[pid=28721/tid=28722] ppid=28719 vsize=15151156 memory=4096 CPUtime=151.63 cores=1,3,5,7
/proc/28721/task/28722/stat : 28722 (java) R 28719 28719 25905 0 -1 4202560 17844 0 0 0 15155 8 0 0 20 0 15 0 516732887 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714784283816 140714424076443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28723] ppid=28719 vsize=15151156 memory=1412 CPUtime=0.98 cores=1,3,5,7
/proc/28721/task/28723/stat : 28723 (java) S 28719 28719 25905 0 -1 1077944384 1068 0 0 0 78 20 0 0 20 0 15 0 516732888 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714372574224 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28724] ppid=28719 vsize=15151156 memory=3328 CPUtime=0.99 cores=1,3,5,7
/proc/28721/task/28724/stat : 28724 (java) S 28719 28719 25905 0 -1 1077944384 773 0 0 0 79 20 0 0 20 0 15 0 516732888 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714371521680 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28725] ppid=28719 vsize=15151156 memory=1456 CPUtime=1 cores=1,3,5,7
/proc/28721/task/28725/stat : 28725 (java) S 28719 28719 25905 0 -1 1077944384 1076 0 0 0 79 21 0 0 20 0 15 0 516732888 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714370468624 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28726] ppid=28719 vsize=15151156 memory=4426639978525455914 CPUtime=0.98 cores=1,3,5,7
/proc/28721/task/28726/stat : 28726 (java) S 28719 28719 25905 0 -1 1077944384 1625 0 0 0 78 20 0 0 20 0 15 0 516732888 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714369416080 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28727] ppid=28719 vsize=15151156 memory=3047711553219693942 CPUtime=0.03 cores=1,3,5,7
/proc/28721/task/28727/stat : 28727 (java) S 28719 28719 25905 0 -1 1077944384 4473 0 0 0 3 0 0 0 20 0 15 0 516732889 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714248579312 140714780056194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28728] ppid=28719 vsize=15151156 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28728/stat : 28728 (java) S 28719 28719 25905 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714247525600 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28729] ppid=28719 vsize=15151156 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28729/stat : 28729 (java) S 28719 28719 25905 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714246472448 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28730] ppid=28719 vsize=15151156 memory=7897517683652307531 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28730/stat : 28730 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732892 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714245421008 140714780063643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28731] ppid=28719 vsize=15151156 memory=7100839878645619564 CPUtime=1.53 cores=1,3,5,7
/proc/28721/task/28731/stat : 28731 (java) S 28719 28719 25905 0 -1 1077944384 10088 0 0 0 151 2 0 0 20 0 15 0 516732892 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714244369136 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28732] ppid=28719 vsize=15151156 memory=-8634980985311628903 CPUtime=1.48 cores=1,3,5,7
/proc/28721/task/28732/stat : 28732 (java) S 28719 28719 25905 0 -1 1077944384 7891 0 0 0 147 1 0 0 20 0 15 0 516732893 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714243316592 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28733] ppid=28719 vsize=15151156 memory=8514726395715349656 CPUtime=0.63 cores=1,3,5,7
/proc/28721/task/28733/stat : 28733 (java) S 28719 28719 25905 0 -1 1077944384 6953 0 0 0 62 1 0 0 20 0 15 0 516732893 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714242263536 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28734] ppid=28719 vsize=15151156 memory=3047711553320166262 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28734/stat : 28734 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732893 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714241211232 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28735] ppid=28719 vsize=15151156 memory=7824336315716348491 CPUtime=0.06 cores=1,3,5,7
/proc/28721/task/28735/stat : 28735 (java) S 28719 28719 25905 0 -1 1077944384 658 0 0 0 2 4 0 0 20 0 15 0 516732893 15514783744 291687 33554432000 4194304 4196468 140722698612432 140714240158256 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
Current children cumulated CPU time: 159.4 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1168200 KiB

[startup+152.901 s]
/proc/loadavg: 1.50 1.66 1.80 3/230 28746
/proc/meminfo: memFree=20614776/32770624 swapFree=66953520/67108860
[pid=28719] ppid=28716 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (xcsp3-exec) S 28716 28719 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516732887 115843072 363 33554432000 4194304 5098028 140726360151072 140726360149176 140002333733500 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17498112 140726360154967 140726360155225 140726360155225 140726360158150 0
/proc/28719/statm: 28282 363 304 221 0 87 0
[pid=28721] ppid=28719 vsize=15151156 memory=1166752 CPUtime=159.61 cores=1,3,5,7
/proc/28721/stat : 28721 (java) S 28719 28719 25905 0 -1 1077944320 53819 0 0 0 15860 101 0 0 20 0 15 0 516732887 15514783744 291688 33554432000 4194304 4196468 140722698612432 140722698594976 140714780045047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
/proc/28721/statm: 3787789 291688 3516 1 0 3748889 0
[pid=28721/tid=28722] ppid=28719 vsize=15151156 memory=14131130454511009 CPUtime=151.83 cores=1,3,5,7
/proc/28721/task/28722/stat : 28722 (java) R 28719 28719 25905 0 -1 4202560 17862 0 0 0 15175 8 0 0 20 0 15 0 516732887 15514783744 291688 33554432000 4194304 4196468 140722698612432 140714784283816 140714418507138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28723] ppid=28719 vsize=15151156 memory=7100839861465685612 CPUtime=0.98 cores=1,3,5,7
/proc/28721/task/28723/stat : 28723 (java) S 28719 28719 25905 0 -1 1077944384 1068 0 0 0 78 20 0 0 20 0 15 0 516732888 15514783744 291688 33554432000 4194304 4196468 140722698612432 140714372574224 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28724] ppid=28719 vsize=15151156 memory=-7175204567652784766 CPUtime=0.99 cores=1,3,5,7
/proc/28721/task/28724/stat : 28724 (java) S 28719 28719 25905 0 -1 1077944384 773 0 0 0 79 20 0 0 20 0 15 0 516732888 15514783744 291688 33554432000 4194304 4196468 140722698612432 140714371521680 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28725] ppid=28719 vsize=15151156 memory=3054156605268465310 CPUtime=1 cores=1,3,5,7
/proc/28721/task/28725/stat : 28725 (java) S 28719 28719 25905 0 -1 1077944384 1076 0 0 0 79 21 0 0 20 0 15 0 516732888 15514783744 291688 33554432000 4194304 4196468 140722698612432 140714370468624 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28726] ppid=28719 vsize=15151156 memory=-8341965534556230502 CPUtime=0.98 cores=1,3,5,7
/proc/28721/task/28726/stat : 28726 (java) S 28719 28719 25905 0 -1 1077944384 1625 0 0 0 78 20 0 0 20 0 15 0 516732888 15514783744 291688 33554432000 4194304 4196468 140722698612432 140714369416080 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28727] ppid=28719 vsize=15151156 memory=7822038051842261661 CPUtime=0.03 cores=1,3,5,7
/proc/28721/task/28727/stat : 28727 (java) S 28719 28719 25905 0 -1 1077944384 4473 0 0 0 3 0 0 0 20 0 15 0 516732889 15514783744 291688 33554432000 4194304 4196468 140722698612432 140714248579312 140714780056194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28728] ppid=28719 vsize=15151156 memory=-6520471753822164382 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28728/stat : 28728 (java) S 28719 28719 25905 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 291690 33554432000 4194304 4196468 140722698612432 140714247525600 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28729] ppid=28719 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28729/stat : 28729 (java) S 28719 28719 25905 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 516732890 15514783744 291690 33554432000 4194304 4196468 140722698612432 140714246472448 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28730] ppid=28719 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28730/stat : 28730 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732892 15514783744 291690 33554432000 4194304 4196468 140722698612432 140714245421008 140714780063643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28731] ppid=28719 vsize=15151156 memory=0 CPUtime=1.53 cores=1,3,5,7
/proc/28721/task/28731/stat : 28731 (java) R 28719 28719 25905 0 -1 4202560 10091 0 0 0 151 2 0 0 20 0 15 0 516732892 15514783744 291690 33554432000 4194304 4196468 140722698612432 140714244369136 140714773030089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28732] ppid=28719 vsize=15151156 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/28721/task/28732/stat : 28732 (java) R 28719 28719 25905 0 -1 1077944384 7901 0 0 0 147 1 0 0 20 0 15 0 516732893 15514783744 291690 33554432000 4194304 4196468 140722698612432 140714243316592 140714780056194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28733] ppid=28719 vsize=15151156 memory=280625781145840 CPUtime=0.63 cores=1,3,5,7
/proc/28721/task/28733/stat : 28733 (java) R 28719 28719 25905 0 -1 4202560 6966 0 0 0 62 1 0 0 20 0 15 0 516732893 15514783744 291690 33554432000 4194304 4196468 140722698612432 140714242263536 140714780066394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28734] ppid=28719 vsize=15151156 memory=7667758149766048353 CPUtime=0 cores=1,3,5,7
/proc/28721/task/28734/stat : 28734 (java) S 28719 28719 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516732893 15514783744 291690 33554432000 4194304 4196468 140722698612432 140714241211232 140714780055253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
[pid=28721/tid=28735] ppid=28719 vsize=15151156 memory=-8412656567318647667 CPUtime=0.06 cores=1,3,5,7
/proc/28721/task/28735/stat : 28735 (java) S 28719 28719 25905 0 -1 1077944384 658 0 0 0 2 4 0 0 20 0 15 0 516732893 15514783744 291690 33554432000 4194304 4196468 140722698612432 140714240158256 140714780056194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34033664 140722698613723 140722698613898 140722698613898 140722698616783 0
Current children cumulated CPU time: 159.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1168204 KiB

Child status: 0
Real time (s): 152.923
CPU time (s): 159.641
CPU user time (s): 158.611
CPU system time (s): 1.02945
CPU usage (%): 104.393
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1168204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.611
system time used= 1.02945
maximum resident set size= 1167644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6137
involuntary context switches= 154


# summary of solver processes directly reported to runsolver:
#   pid: 28719
#   total CPU time (s): 159.641
#   total CPU user time (s): 158.611
#   total CPU system time (s): 1.02945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.6793 second user time and 1.79144 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM	880994e2431ab8d90ac30179b2246ea4
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	1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables	518
Number of constraints	1425
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":518}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity	1
Maximum constraint arity	518
Distribution of constraint arities	[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints	1424
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4405861

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
