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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	OPT	331	2207.94	554.998
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 (7731 MiB free)
  memory of node 1: 16384 MiB (7022 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403807-1568992229/watcher-4403807-1568992229 -o /tmp/evaluation-result-4403807-1568992229/solver-4403807-1568992229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 993832701 HOME/instance-4403807-1568992229.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
Current StackSize limit: 8192 KiB

solver pid=4717, runsolver pid=4714

[startup+0.100389 s]*
/proc/loadavg: 8.83 8.87 8.59 7/232 4733
/proc/meminfo: memFree=15092972/32770624 swapFree=66938964/67108860
[pid=4717] ppid=4714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475492639 115843072 362 33554432000 4194304 5098028 140732078064128 140732078062232 140353112162940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14614528 140732078068603 140732078068845 140732078068845 140732078071754 0
/proc/4717/statm: 28282 362 304 221 0 87 0
[pid=4719] ppid=4717 vsize=15144776 memory=28912 CPUtime=0.12 cores=0,2,4,6
/proc/4719/stat : 4719 (java) S 4717 4717 30846 0 -1 1077944320 5649 0 0 0 11 1 0 0 20 0 15 0 475492639 15508250624 7228 33554432000 4194304 4196468 140724948285248 140724948267792 140323549175543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
/proc/4719/statm: 3786194 7228 3147 1 0 3748377 0
[pid=4719/tid=4720] ppid=4717 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/4719/task/4720/stat : 4720 (java) R 4717 4717 30846 0 -1 4202560 3572 0 0 0 8 1 0 0 20 0 15 0 475492639 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323553406864 140323533219173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4721] ppid=4717 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4721/stat : 4721 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323501795600 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4722] ppid=4717 vsize=15144776 memory=139716627707520 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4722/stat : 4722 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323500743056 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4723] ppid=4717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4723/stat : 4723 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323499690512 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4724] ppid=4717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4724/stat : 4724 (java) S 4717 4717 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475492640 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323498637968 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4725] ppid=4717 vsize=15144776 memory=139716627707520 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4725/stat : 4725 (java) S 4717 4717 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475492641 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323017689584 140323549186690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4726] ppid=4717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4726/stat : 4726 (java) S 4717 4717 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475492642 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323016635808 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4727] ppid=4717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4727/stat : 4727 (java) S 4717 4717 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475492642 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323015583216 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4728] ppid=4717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4728/stat : 4728 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475492644 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323014531792 140323549194139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4729] ppid=4717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4729/stat : 4729 (java) R 4717 4717 30846 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 475492645 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323013478384 140323549186690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4730] ppid=4717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4730/stat : 4730 (java) R 4717 4717 30846 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 475492645 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323012425840 140323527008400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4731] ppid=4717 vsize=15144776 memory=139716627707520 CPUtime=0.02 cores=0,2,4,6
/proc/4719/task/4731/stat : 4731 (java) R 4717 4717 30846 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 475492645 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323011373296 140323533256030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4732] ppid=4717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4732/stat : 4732 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475492645 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323010320992 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4733] ppid=4717 vsize=15144776 memory=139716627707520 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4733/stat : 4733 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492645 15508250624 7228 33554432000 4194304 4196468 140724948285248 140323009268528 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30360 KiB

[startup+0.210705 s]*
/proc/loadavg: 8.83 8.87 8.59 8/232 4733
/proc/meminfo: memFree=15079616/32770624 swapFree=66938964/67108860
[pid=4717] ppid=4714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475492639 115843072 362 33554432000 4194304 5098028 140732078064128 140732078062232 140353112162940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14614528 140732078068603 140732078068845 140732078068845 140732078071754 0
/proc/4717/statm: 28282 362 304 221 0 87 0
[pid=4719] ppid=4717 vsize=15144776 memory=40160 CPUtime=0.34 cores=0,2,4,6
/proc/4719/stat : 4719 (java) S 4717 4717 30846 0 -1 1077944320 9299 0 0 0 31 3 0 0 20 0 15 0 475492639 15508250624 10040 33554432000 4194304 4196468 140724948285248 140724948267792 140323549175543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
/proc/4719/statm: 3786194 10040 3264 1 0 3748377 0
[pid=4719/tid=4720] ppid=4717 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/4719/task/4720/stat : 4720 (java) R 4717 4717 30846 0 -1 4202560 6552 0 0 0 17 3 0 0 20 0 15 0 475492639 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323553413856 140323533256030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4721] ppid=4717 vsize=15144776 memory=4294979937 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4721/stat : 4721 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323501795600 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4722] ppid=4717 vsize=15144776 memory=139716631184739 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4722/stat : 4722 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323500743056 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4723] ppid=4717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4723/stat : 4723 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323499690512 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4724] ppid=4717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4724/stat : 4724 (java) S 4717 4717 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475492640 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323498637968 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4725] ppid=4717 vsize=15144776 memory=139716627707520 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4725/stat : 4725 (java) S 4717 4717 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475492641 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323017689584 140323549186690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4726] ppid=4717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4726/stat : 4726 (java) S 4717 4717 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475492642 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323016635808 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4727] ppid=4717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4727/stat : 4727 (java) S 4717 4717 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475492642 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323015583216 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4728] ppid=4717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4728/stat : 4728 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475492644 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323014531792 140323549194139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4729] ppid=4717 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4719/task/4729/stat : 4729 (java) S 4717 4717 30846 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 475492645 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323013478384 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4730] ppid=4717 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4719/task/4730/stat : 4730 (java) S 4717 4717 30846 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 15 0 475492645 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323012425840 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4731] ppid=4717 vsize=15144776 memory=139716627707520 CPUtime=0.08 cores=0,2,4,6
/proc/4719/task/4731/stat : 4731 (java) R 4717 4717 30846 0 -1 4202560 807 0 0 0 8 0 0 0 20 0 15 0 475492645 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323011373296 140323533256030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4732] ppid=4717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4732/stat : 4732 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475492645 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323010320992 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4733] ppid=4717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4733/stat : 4733 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492645 15508250624 10040 33554432000 4194304 4196468 140724948285248 140323009268528 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41608 KiB

[startup+0.311268 s]*
/proc/loadavg: 8.83 8.87 8.59 9/232 4733
/proc/meminfo: memFree=15072240/32770624 swapFree=66938964/67108860
[pid=4717] ppid=4714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475492639 115843072 362 33554432000 4194304 5098028 140732078064128 140732078062232 140353112162940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14614528 140732078068603 140732078068845 140732078068845 140732078071754 0
/proc/4717/statm: 28282 362 304 221 0 87 0
[pid=4719] ppid=4717 vsize=15149032 memory=49664 CPUtime=0.53 cores=0,2,4,6
/proc/4719/stat : 4719 (java) S 4717 4717 30846 0 -1 1077944320 10799 0 0 0 49 4 0 0 20 0 15 0 475492639 15512608768 12416 33554432000 4194304 4196468 140724948285248 140724948267792 140323549175543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
/proc/4719/statm: 3787258 12416 3366 1 0 3748377 0
[pid=4719/tid=4720] ppid=4717 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/4719/task/4720/stat : 4720 (java) R 4717 4717 30846 0 -1 4202560 7734 0 0 0 26 4 0 0 20 0 15 0 475492639 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323553400352 140323549199133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4721] ppid=4717 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4721/stat : 4721 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323501795600 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4722] ppid=4717 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4722/stat : 4722 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323500743056 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4723] ppid=4717 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4723/stat : 4723 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323499690512 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4724] ppid=4717 vsize=15149032 memory=46849 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4724/stat : 4724 (java) S 4717 4717 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475492640 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323498637968 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4725] ppid=4717 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4725/stat : 4725 (java) S 4717 4717 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475492641 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323017689584 140323549186690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4726] ppid=4717 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4726/stat : 4726 (java) S 4717 4717 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475492642 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323016635808 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4727] ppid=4717 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4727/stat : 4727 (java) S 4717 4717 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475492642 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323015583216 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4728] ppid=4717 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4728/stat : 4728 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475492644 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323014531792 140323549194139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4729] ppid=4717 vsize=15149032 memory=6944652177228980320 CPUtime=0.05 cores=0,2,4,6
/proc/4719/task/4729/stat : 4729 (java) R 4717 4717 30846 0 -1 4202560 646 0 0 0 5 0 0 0 20 0 15 0 475492645 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323013478384 140323534096618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4730] ppid=4717 vsize=15149032 memory=-6654736624941490777 CPUtime=0.03 cores=0,2,4,6
/proc/4719/task/4730/stat : 4730 (java) S 4717 4717 30846 0 -1 1077944384 176 0 0 0 3 0 0 0 20 0 15 0 475492645 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323012425840 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4731] ppid=4717 vsize=15149032 memory=5792585022635482273 CPUtime=0.13 cores=0,2,4,6
/proc/4719/task/4731/stat : 4731 (java) S 4717 4717 30846 0 -1 1077944384 973 0 0 0 13 0 0 0 20 0 15 0 475492645 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323011373296 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4732] ppid=4717 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4732/stat : 4732 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475492645 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323010320992 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4733] ppid=4717 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4733/stat : 4733 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492645 15512608768 12485 33554432000 4194304 4196468 140724948285248 140323009268528 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51112 KiB

[startup+0.700788 s]
/proc/loadavg: 8.83 8.87 8.59 7/232 4733
/proc/meminfo: memFree=15050032/32770624 swapFree=66938964/67108860
[pid=4717] ppid=4714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475492639 115843072 362 33554432000 4194304 5098028 140732078064128 140732078062232 140353112162940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14614528 140732078068603 140732078068845 140732078068845 140732078071754 0
/proc/4717/statm: 28282 362 304 221 0 87 0
[pid=4719] ppid=4717 vsize=15151156 memory=124352 CPUtime=1.75 cores=0,2,4,6
/proc/4719/stat : 4719 (java) S 4717 4717 30846 0 -1 1077944320 14082 0 0 0 169 6 0 0 20 0 15 0 475492639 15514783744 31088 33554432000 4194304 4196468 140724948285248 140724948267792 140323549175543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
/proc/4719/statm: 3787789 31088 3451 1 0 3748889 0
[pid=4719/tid=4720] ppid=4717 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/4719/task/4720/stat : 4720 (java) R 4717 4717 30846 0 -1 4202560 8325 0 0 0 63 5 0 0 20 0 15 0 475492639 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323553410672 140323533256030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4721] ppid=4717 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4721/stat : 4721 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323501795600 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4722] ppid=4717 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4722/stat : 4722 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323500743056 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4723] ppid=4717 vsize=15151156 memory=221 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4723/stat : 4723 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492640 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323499690512 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4724] ppid=4717 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4724/stat : 4724 (java) S 4717 4717 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475492640 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323498637968 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4725] ppid=4717 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4725/stat : 4725 (java) S 4717 4717 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475492641 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323017689584 140323549186690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4726] ppid=4717 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4726/stat : 4726 (java) S 4717 4717 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475492642 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323016635808 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4727] ppid=4717 vsize=15151156 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4727/stat : 4727 (java) S 4717 4717 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475492642 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323015583216 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4728] ppid=4717 vsize=15151156 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4728/stat : 4728 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475492644 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323014531792 140323549194139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4729] ppid=4717 vsize=15151156 memory=1188 CPUtime=0.38 cores=0,2,4,6
/proc/4719/task/4729/stat : 4729 (java) R 4717 4717 30846 0 -1 4202560 1542 0 0 0 38 0 0 0 20 0 15 0 475492645 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323013461040 140323528868643 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4730] ppid=4717 vsize=15151156 memory=6112 CPUtime=0.36 cores=0,2,4,6
/proc/4719/task/4730/stat : 4730 (java) R 4717 4717 30846 0 -1 4202560 1112 0 0 0 36 0 0 0 20 0 15 0 475492645 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323012425024 140323534778256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4731] ppid=4717 vsize=15151156 memory=780 CPUtime=0.31 cores=0,2,4,6
/proc/4719/task/4731/stat : 4731 (java) S 4717 4717 30846 0 -1 1077944384 1797 0 0 0 31 0 0 0 20 0 15 0 475492645 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323011373296 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4732] ppid=4717 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4732/stat : 4732 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475492645 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323010320992 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4733] ppid=4717 vsize=15151156 memory=28144 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4733/stat : 4733 (java) S 4717 4717 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475492645 15514783744 31088 33554432000 4194304 4196468 140724948285248 140323009268528 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 125800 KiB

[startup+1.50138 s]
/proc/loadavg: 8.83 8.87 8.59 9/232 4733
/proc/meminfo: memFree=14921104/32770624 swapFree=66938964/67108860
[pid=4717] ppid=4714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475492639 115843072 362 33554432000 4194304 5098028 140732078064128 140732078062232 140353112162940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14614528 140732078068603 140732078068845 140732078068845 140732078071754 0
/proc/4717/statm: 28282 362 304 221 0 87 0

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

/proc/4719/task/4733/stat : 4733 (java) S 4717 4717 30846 0 -1 1077944384 952 0 0 0 0 18 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323009268528 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4794] ppid=4717 vsize=15618132 memory=1552 CPUtime=546.2 cores=0,2,4,6
/proc/4719/task/4794/stat : 4794 (java) R 4717 4717 30846 0 -1 4202560 999 0 0 0 54620 0 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322996890440 140323181828127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4795] ppid=4717 vsize=15618132 memory=279432988559552 CPUtime=544.45 cores=0,2,4,6
/proc/4719/task/4795/stat : 4795 (java) R 4717 4717 30846 0 -1 4202560 10171 0 0 0 54435 10 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322998999520 140323181842736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4796] ppid=4717 vsize=15618132 memory=6944656592455359580 CPUtime=543.71 cores=0,2,4,6
/proc/4719/task/4796/stat : 4796 (java) R 4717 4717 30846 0 -1 4202560 978 0 0 0 54371 0 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322993733424 140323181842946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4797] ppid=4717 vsize=15618132 memory=7681905605394137875 CPUtime=543.87 cores=0,2,4,6
/proc/4719/task/4797/stat : 4797 (java) R 4717 4717 30846 0 -1 4202560 3459 0 0 0 54379 8 0 0 20 0 19 0 475493246 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322992681080 140323181843035 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 961724 KiB

[startup+554.401 s]
/proc/loadavg: 7.07 8.11 8.39 6/233 5886
/proc/meminfo: memFree=9149056/32770624 swapFree=66938972/67108860
[pid=4717] ppid=4714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475492639 115843072 362 33554432000 4194304 5098028 140732078064128 140732078062232 140353112162940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14614528 140732078068603 140732078068845 140732078068845 140732078071754 0
/proc/4717/statm: 28282 362 304 221 0 87 0
[pid=4719] ppid=4717 vsize=15618132 memory=960276 CPUtime=2205.63 cores=0,2,4,6
/proc/4719/stat : 4719 (java) S 4717 4717 30846 0 -1 1077944320 73215 0 0 0 220513 50 0 0 20 0 19 0 475492639 15992967168 240069 33554432000 4194304 4196468 140724948285248 140724948267792 140323549175543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
/proc/4719/statm: 3904533 240069 3525 1 0 3865633 0
[pid=4719/tid=4720] ppid=4717 vsize=15618132 memory=1188 CPUtime=1.42 cores=0,2,4,6
/proc/4719/task/4720/stat : 4720 (java) S 4717 4717 30846 0 -1 1077944384 9183 0 0 0 136 6 0 0 20 0 19 0 475492639 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323553416320 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4721] ppid=4717 vsize=15618132 memory=8112282956445269571 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4721/stat : 4721 (java) S 4717 4717 30846 0 -1 1077944384 1538 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323501795600 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4722] ppid=4717 vsize=15618132 memory=7595718135111773034 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4722/stat : 4722 (java) S 4717 4717 30846 0 -1 1077944384 2547 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323500743056 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4723] ppid=4717 vsize=15618132 memory=7667211704647575636 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4723/stat : 4723 (java) S 4717 4717 30846 0 -1 1077944384 2350 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323499690512 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4724] ppid=4717 vsize=15618132 memory=68 CPUtime=0.13 cores=0,2,4,6
/proc/4719/task/4724/stat : 4724 (java) S 4717 4717 30846 0 -1 1077944384 1777 0 0 0 10 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323498637968 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4725] ppid=4717 vsize=15618132 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/4719/task/4725/stat : 4725 (java) S 4717 4717 30846 0 -1 1077944384 2480 0 0 0 3 1 0 0 20 0 19 0 475492641 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323017689584 140323549186690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4726] ppid=4717 vsize=15618132 memory=985412 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4726/stat : 4726 (java) S 4717 4717 30846 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475492642 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323016635872 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4727] ppid=4717 vsize=15618132 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4727/stat : 4727 (java) S 4717 4717 30846 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475492642 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323015583232 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4728] ppid=4717 vsize=15618132 memory=808 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4728/stat : 4728 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475492644 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323014531792 140323549194139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4729] ppid=4717 vsize=15618132 memory=1412 CPUtime=2.5 cores=0,2,4,6
/proc/4719/task/4729/stat : 4729 (java) S 4717 4717 30846 0 -1 1077944384 13631 0 0 0 246 4 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323013478384 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4730] ppid=4717 vsize=15618132 memory=8112282956445269571 CPUtime=2.46 cores=0,2,4,6
/proc/4719/task/4730/stat : 4730 (java) S 4717 4717 30846 0 -1 1077944384 12104 0 0 0 245 1 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323012425840 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4731] ppid=4717 vsize=15618132 memory=960276 CPUtime=0.76 cores=0,2,4,6
/proc/4719/task/4731/stat : 4731 (java) S 4717 4717 30846 0 -1 1077944384 8316 0 0 0 75 1 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323011373296 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4732] ppid=4717 vsize=15618132 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4732/stat : 4732 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323010320992 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4733] ppid=4717 vsize=15618132 memory=8112282956445269571 CPUtime=0.18 cores=0,2,4,6
/proc/4719/task/4733/stat : 4733 (java) S 4717 4717 30846 0 -1 1077944384 952 0 0 0 0 18 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323009268528 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4794] ppid=4717 vsize=15618132 memory=1452 CPUtime=547 cores=0,2,4,6
/proc/4719/task/4794/stat : 4794 (java) R 4717 4717 30846 0 -1 4202560 1000 0 0 0 54700 0 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322996890440 140323181547717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4795] ppid=4717 vsize=15618132 memory=5119836 CPUtime=545.24 cores=0,2,4,6
/proc/4719/task/4795/stat : 4795 (java) R 4717 4717 30846 0 -1 4202560 10175 0 0 0 54514 10 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322998999520 140323182074260 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4796] ppid=4717 vsize=15618132 memory=1748 CPUtime=544.51 cores=0,2,4,6
/proc/4719/task/4796/stat : 4796 (java) R 4717 4717 30846 0 -1 4202560 978 0 0 0 54451 0 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322993733424 140323181842872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4797] ppid=4717 vsize=15618132 memory=111632 CPUtime=544.67 cores=0,2,4,6
/proc/4719/task/4797/stat : 4797 (java) R 4717 4717 30846 0 -1 4202560 3595 0 0 0 54459 8 0 0 20 0 19 0 475493246 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322992681080 140323181842972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
Current children cumulated CPU time: 2205.63 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 961724 KiB

[startup+554.801 s]
/proc/loadavg: 7.07 8.11 8.39 6/233 5886
/proc/meminfo: memFree=9149056/32770624 swapFree=66938972/67108860
[pid=4717] ppid=4714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475492639 115843072 362 33554432000 4194304 5098028 140732078064128 140732078062232 140353112162940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14614528 140732078068603 140732078068845 140732078068845 140732078071754 0
/proc/4717/statm: 28282 362 304 221 0 87 0
[pid=4719] ppid=4717 vsize=15618132 memory=960276 CPUtime=2207.22 cores=0,2,4,6
/proc/4719/stat : 4719 (java) S 4717 4717 30846 0 -1 1077944320 73218 0 0 0 220672 50 0 0 20 0 19 0 475492639 15992967168 240069 33554432000 4194304 4196468 140724948285248 140724948267792 140323549175543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
/proc/4719/statm: 3904533 240069 3525 1 0 3865633 0
[pid=4719/tid=4720] ppid=4717 vsize=15618132 memory=15823283127847325 CPUtime=1.42 cores=0,2,4,6
/proc/4719/task/4720/stat : 4720 (java) S 4717 4717 30846 0 -1 1077944384 9183 0 0 0 136 6 0 0 20 0 19 0 475492639 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323553416320 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4721] ppid=4717 vsize=15618132 memory=1188 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4721/stat : 4721 (java) S 4717 4717 30846 0 -1 1077944384 1538 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323501795600 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4722] ppid=4717 vsize=15618132 memory=6112 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4722/stat : 4722 (java) S 4717 4717 30846 0 -1 1077944384 2547 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323500743056 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4723] ppid=4717 vsize=15618132 memory=780 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4723/stat : 4723 (java) S 4717 4717 30846 0 -1 1077944384 2350 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323499690512 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4724] ppid=4717 vsize=15618132 memory=14008 CPUtime=0.13 cores=0,2,4,6
/proc/4719/task/4724/stat : 4724 (java) S 4717 4717 30846 0 -1 1077944384 1777 0 0 0 10 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323498637968 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4725] ppid=4717 vsize=15618132 memory=28152 CPUtime=0.04 cores=0,2,4,6
/proc/4719/task/4725/stat : 4725 (java) S 4717 4717 30846 0 -1 1077944384 2480 0 0 0 3 1 0 0 20 0 19 0 475492641 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323017689584 140323549186690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4726] ppid=4717 vsize=15618132 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4726/stat : 4726 (java) S 4717 4717 30846 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475492642 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323016635872 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4727] ppid=4717 vsize=15618132 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4727/stat : 4727 (java) S 4717 4717 30846 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475492642 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323015583232 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4728] ppid=4717 vsize=15618132 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4728/stat : 4728 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475492644 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323014531792 140323549194139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4729] ppid=4717 vsize=15618132 memory=288230596050944315 CPUtime=2.5 cores=0,2,4,6
/proc/4719/task/4729/stat : 4729 (java) S 4717 4717 30846 0 -1 1077944384 13631 0 0 0 246 4 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323013478384 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4730] ppid=4717 vsize=15618132 memory=15823283127847325 CPUtime=2.46 cores=0,2,4,6
/proc/4719/task/4730/stat : 4730 (java) S 4717 4717 30846 0 -1 1077944384 12104 0 0 0 245 1 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323012425840 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4731] ppid=4717 vsize=15618132 memory=111632 CPUtime=0.76 cores=0,2,4,6
/proc/4719/task/4731/stat : 4731 (java) S 4717 4717 30846 0 -1 1077944384 8316 0 0 0 75 1 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323011373296 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4732] ppid=4717 vsize=15618132 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4732/stat : 4732 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323010320992 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4733] ppid=4717 vsize=15618132 memory=2692 CPUtime=0.18 cores=0,2,4,6
/proc/4719/task/4733/stat : 4733 (java) S 4717 4717 30846 0 -1 1077944384 952 0 0 0 0 18 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323009268528 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4794] ppid=4717 vsize=15618132 memory=6935054825532540783 CPUtime=547.4 cores=0,2,4,6
/proc/4719/task/4794/stat : 4794 (java) R 4717 4717 30846 0 -1 4202560 1001 0 0 0 54740 0 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322996890440 140323181842997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4795] ppid=4717 vsize=15618132 memory=4126316290023845779 CPUtime=545.63 cores=0,2,4,6
/proc/4719/task/4795/stat : 4795 (java) R 4717 4717 30846 0 -1 4202560 10177 0 0 0 54553 10 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322998999520 140323181843072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4796] ppid=4717 vsize=15618132 memory=924 CPUtime=544.91 cores=0,2,4,6
/proc/4719/task/4796/stat : 4796 (java) R 4717 4717 30846 0 -1 4202560 978 0 0 0 54491 0 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322993733424 140323181842946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4797] ppid=4717 vsize=15618132 memory=1448 CPUtime=545.07 cores=0,2,4,6
/proc/4719/task/4797/stat : 4797 (java) R 4717 4717 30846 0 -1 4202560 3595 0 0 0 54499 8 0 0 20 0 19 0 475493246 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322992681080 140323181842822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
Current children cumulated CPU time: 2207.22 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 961724 KiB

[startup+554.901 s]
/proc/loadavg: 7.07 8.11 8.39 6/233 5886
/proc/meminfo: memFree=9149056/32770624 swapFree=66938972/67108860
[pid=4717] ppid=4714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475492639 115843072 362 33554432000 4194304 5098028 140732078064128 140732078062232 140353112162940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14614528 140732078068603 140732078068845 140732078068845 140732078071754 0
/proc/4717/statm: 28282 362 304 221 0 87 0
[pid=4719] ppid=4717 vsize=15618132 memory=960276 CPUtime=2207.62 cores=0,2,4,6
/proc/4719/stat : 4719 (java) S 4717 4717 30846 0 -1 1077944320 73218 0 0 0 220712 50 0 0 20 0 19 0 475492639 15992967168 240069 33554432000 4194304 4196468 140724948285248 140724948267792 140323549175543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
/proc/4719/statm: 3904533 240069 3525 1 0 3865633 0
[pid=4719/tid=4720] ppid=4717 vsize=15618132 memory=1448 CPUtime=1.42 cores=0,2,4,6
/proc/4719/task/4720/stat : 4720 (java) S 4717 4717 30846 0 -1 1077944384 9183 0 0 0 136 6 0 0 20 0 19 0 475492639 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323553416320 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4721] ppid=4717 vsize=15618132 memory=960276 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4721/stat : 4721 (java) S 4717 4717 30846 0 -1 1077944384 1538 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323501795600 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4722] ppid=4717 vsize=15618132 memory=1448 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4722/stat : 4722 (java) S 4717 4717 30846 0 -1 1077944384 2547 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323500743056 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4723] ppid=4717 vsize=15618132 memory=960276 CPUtime=0.14 cores=0,2,4,6
/proc/4719/task/4723/stat : 4723 (java) S 4717 4717 30846 0 -1 1077944384 2350 0 0 0 11 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323499690512 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4724] ppid=4717 vsize=15618132 memory=960276 CPUtime=0.13 cores=0,2,4,6
/proc/4719/task/4724/stat : 4724 (java) S 4717 4717 30846 0 -1 1077944384 1777 0 0 0 10 3 0 0 20 0 19 0 475492640 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323498637968 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4725] ppid=4717 vsize=15618132 memory=960276 CPUtime=0.04 cores=0,2,4,6
/proc/4719/task/4725/stat : 4725 (java) S 4717 4717 30846 0 -1 1077944384 2480 0 0 0 3 1 0 0 20 0 19 0 475492641 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323017689584 140323549186690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4726] ppid=4717 vsize=15618132 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4726/stat : 4726 (java) S 4717 4717 30846 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475492642 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323016635872 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4727] ppid=4717 vsize=15618132 memory=960276 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4727/stat : 4727 (java) S 4717 4717 30846 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475492642 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323015583232 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4728] ppid=4717 vsize=15618132 memory=960276 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4728/stat : 4728 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475492644 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323014531792 140323549194139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4729] ppid=4717 vsize=15618132 memory=1448 CPUtime=2.5 cores=0,2,4,6
/proc/4719/task/4729/stat : 4729 (java) S 4717 4717 30846 0 -1 1077944384 13631 0 0 0 246 4 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323013478384 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4730] ppid=4717 vsize=15618132 memory=1448 CPUtime=2.46 cores=0,2,4,6
/proc/4719/task/4730/stat : 4730 (java) S 4717 4717 30846 0 -1 1077944384 12104 0 0 0 245 1 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323012425840 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4731] ppid=4717 vsize=15618132 memory=960276 CPUtime=0.76 cores=0,2,4,6
/proc/4719/task/4731/stat : 4731 (java) S 4717 4717 30846 0 -1 1077944384 8316 0 0 0 75 1 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323011373296 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4732] ppid=4717 vsize=15618132 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4719/task/4732/stat : 4732 (java) S 4717 4717 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323010320992 140323549185749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4733] ppid=4717 vsize=15618132 memory=1448 CPUtime=0.18 cores=0,2,4,6
/proc/4719/task/4733/stat : 4733 (java) S 4717 4717 30846 0 -1 1077944384 952 0 0 0 0 18 0 0 20 0 19 0 475492645 15992967168 240069 33554432000 4194304 4196468 140724948285248 140323009268528 140323549186690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4794] ppid=4717 vsize=15618132 memory=1448 CPUtime=547.5 cores=0,2,4,6
/proc/4719/task/4794/stat : 4794 (java) R 4717 4717 30846 0 -1 4202560 1001 0 0 0 54750 0 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322996890440 140323181695536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4795] ppid=4717 vsize=15618132 memory=985412 CPUtime=545.73 cores=0,2,4,6
/proc/4719/task/4795/stat : 4795 (java) R 4717 4717 30846 0 -1 4202560 10177 0 0 0 54563 10 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322998999520 140323181559395 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4796] ppid=4717 vsize=15618132 memory=1448 CPUtime=545.01 cores=0,2,4,6
/proc/4719/task/4796/stat : 4796 (java) R 4717 4717 30846 0 -1 4202560 978 0 0 0 54501 0 0 0 20 0 19 0 475493245 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322993733424 140323181843297 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
[pid=4719/tid=4797] ppid=4717 vsize=15618132 memory=1448 CPUtime=545.17 cores=0,2,4,6
/proc/4719/task/4797/stat : 4797 (java) R 4717 4717 30846 0 -1 4202560 3595 0 0 0 54509 8 0 0 20 0 19 0 475493246 15992967168 240069 33554432000 4194304 4196468 140724948285248 140322992681080 140323181483459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140724948292591 140724948292762 140724948292762 140724948295631 0
Current children cumulated CPU time: 2207.62 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 961724 KiB

Child status: 0
Real time (s): 554.998
CPU time (s): 2207.94
CPU user time (s): 2207.43
CPU system time (s): 0.513601
CPU usage (%): 397.83
Max. virtual memory (cumulated for all children) (KiB): 15731260
Max. memory (cumulated for all children) (KiB): 1124880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2207.43
system time used= 0.513601
maximum resident set size= 1137340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15414
involuntary context switches= 35660


# summary of solver processes directly reported to runsolver:
#   pid: 4717
#   total CPU time (s): 2207.94
#   total CPU user time (s): 2207.43
#   total CPU system time (s): 0.513601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.52547 second user time and 6.21551 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml
MD5SUM	c1d081b79f1c10e41665328fecc5a7d0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	331
Best CPU time to get the best result obtained on this benchmark	119.032
Satisfiable
(Un)Satisfiability was proved
Number of variables	696
Number of constraints	6082
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":696}]
Minimum variable degree	3
Maximum variable degree	119
Distribution of variable degrees	[{"degree":3,"count":156},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":15},{"degree":24,"count":9},{"degree":25,"count":6},{"degree":26,"count":6},{"degree":27,"count":6},{"degree":28,"count":21},{"degree":29,"count":18},{"degree":30,"count":21},{"degree":31,"count":6},{"degree":32,"count":6},{"degree":33,"count":6},{"degree":34,"count":165},{"degree":35,"count":15},{"degree":36,"count":6},{"degree":37,"count":6},{"degree":40,"count":3},{"degree":42,"count":3},{"degree":43,"count":3},"...",{"degree":86,"count":3}, {"degree":88,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":6}, {"degree":95,"count":6}, {"degree":96,"count":21}, {"degree":97,"count":6}, {"degree":99,"count":15}, {"degree":100,"count":12}, {"degree":101,"count":6}, {"degree":102,"count":12}, {"degree":103,"count":15}, {"degree":105,"count":6}, {"degree":106,"count":21}, {"degree":107,"count":6}, {"degree":108,"count":6}, {"degree":109,"count":3}, {"degree":110,"count":6}, {"degree":111,"count":3}, {"degree":114,"count":3}, {"degree":116,"count":3}, {"degree":118,"count":6}, {"degree":119,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":5436},{"arity":3,"count":52},{"arity":32,"count":594}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":6082}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4403807

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
