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 (15241 MiB free)
memory of node 1: 16384 MiB (13430 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400455-1568691907/watcher-4400455-1568691907 -o /tmp/evaluation-result-4400455-1568691907/solver-4400455-1568691907 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1713916392 HOME/instance-4400455-1568691907.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24676, runsolver pid=24673
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 8.04 7.95 7.88 6/234 24692
/proc/meminfo: memFree=29341848/32770624 swapFree=66997372/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445443811 115843072 362 33554432000 4194304 5098028 140732005470992 140732005469096 139711901774460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12898304 140732005479290 140732005479533 140732005479533 140732005482442 0
/proc/24676/statm: 28282 362 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15144776 memory=30232 CPUtime=0.11 cores=0,2,4,6
/proc/24678/stat : 24678 (java) S 24676 24676 24272 0 -1 1077944320 5937 0 0 0 10 1 0 0 20 0 15 0 445443812 15508250624 7558 33554432000 4194304 4196468 140722840544176 140722840526720 140247061716727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
/proc/24678/statm: 3786194 7558 3158 1 0 3748377 0
[pid=24678/tid=24679] ppid=24676 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=0,2,4,6
/proc/24678/task/24679/stat : 24679 (java) R 24676 24676 24272 0 -1 4202560 3872 0 0 0 8 0 0 0 20 0 15 0 445443812 15508250624 7558 33554432000 4194304 4196468 140722840544176 140247065948656 140246671036463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24680] ppid=24676 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246654511504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24681] ppid=24676 vsize=15144776 memory=140574346196608 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246653458704 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24682] ppid=24676 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246652406416 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24683] ppid=24676 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445443813 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246651353616 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24684] ppid=24676 vsize=15144776 memory=140574346196608 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445443814 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246597487216 140247061727874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24685] ppid=24676 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445443815 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246596433184 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24686] ppid=24676 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 24272 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445443815 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246595380848 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24687] ppid=24676 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443817 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246594329168 140247061735323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24688] ppid=24676 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 24272 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 445443817 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246593276016 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24689] ppid=24676 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443817 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246592223216 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24690] ppid=24676 vsize=15144776 memory=140574346196608 CPUtime=0.01 cores=0,2,4,6
/proc/24678/task/24690/stat : 24690 (java) R 24676 24676 24272 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 15 0 445443818 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246591170928 140247041115040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24691] ppid=24676 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443818 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246590118368 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24692] ppid=24676 vsize=15144776 memory=140574346196608 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443818 15508250624 7558 33554432000 4194304 4196468 140722840544176 140246589066160 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31680 KiB
[startup+0.212234 s]*
/proc/loadavg: 8.04 7.95 7.88 6/234 24692
/proc/meminfo: memFree=29329280/32770624 swapFree=66997372/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445443811 115843072 362 33554432000 4194304 5098028 140732005470992 140732005469096 139711901774460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12898304 140732005479290 140732005479533 140732005479533 140732005482442 0
/proc/24676/statm: 28282 362 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15144776 memory=41360 CPUtime=0.34 cores=0,2,4,6
/proc/24678/stat : 24678 (java) S 24676 24676 24272 0 -1 1077944320 9491 0 0 0 31 3 0 0 20 0 15 0 445443812 15508250624 10340 33554432000 4194304 4196468 140722840544176 140722840526720 140247061716727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
/proc/24678/statm: 3786194 10340 3317 1 0 3748377 0
[pid=24678/tid=24679] ppid=24676 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/24678/task/24679/stat : 24679 (java) R 24676 24676 24272 0 -1 4202560 6681 0 0 0 18 2 0 0 20 0 15 0 445443812 15508250624 10340 33554432000 4194304 4196468 140722840544176 140247065949456 140247061728662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24680] ppid=24676 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246654511504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24681] ppid=24676 vsize=15144776 memory=288370950497908352 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246653458704 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24682] ppid=24676 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246652406416 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24683] ppid=24676 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445443813 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246651353616 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24684] ppid=24676 vsize=15144776 memory=140574346196608 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445443814 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246597487216 140247061727874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24685] ppid=24676 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445443815 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246596433184 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24686] ppid=24676 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 24272 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445443815 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246595380848 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24687] ppid=24676 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443817 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246594329168 140247061735323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24688] ppid=24676 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 24272 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 15 0 445443817 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246593276016 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24689] ppid=24676 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 24272 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 445443817 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246592223216 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24690] ppid=24676 vsize=15144776 memory=140574346196608 CPUtime=0.07 cores=0,2,4,6
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 24272 0 -1 1077944384 742 0 0 0 7 0 0 0 20 0 15 0 445443818 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246591170928 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24691] ppid=24676 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443818 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246590118368 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24692] ppid=24676 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443818 15508250624 10340 33554432000 4194304 4196468 140722840544176 140246589066160 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42808 KiB
[startup+0.312585 s]*
/proc/loadavg: 8.04 7.95 7.88 7/234 24692
/proc/meminfo: memFree=29324556/32770624 swapFree=66997372/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445443811 115843072 362 33554432000 4194304 5098028 140732005470992 140732005469096 139711901774460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12898304 140732005479290 140732005479533 140732005479533 140732005482442 0
/proc/24676/statm: 28282 362 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15149032 memory=49512 CPUtime=0.52 cores=0,2,4,6
/proc/24678/stat : 24678 (java) S 24676 24676 24272 0 -1 1077944320 10679 0 0 0 48 4 0 0 20 0 15 0 445443812 15512608768 12378 33554432000 4194304 4196468 140722840544176 140722840526720 140247061716727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
/proc/24678/statm: 3787258 12378 3351 1 0 3748377 0
[pid=24678/tid=24679] ppid=24676 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/24678/task/24679/stat : 24679 (java) R 24676 24676 24272 0 -1 4202560 7744 0 0 0 27 3 0 0 20 0 15 0 445443812 15512608768 12384 33554432000 4194304 4196468 140722840544176 140247065947840 140247045797244 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24680] ppid=24676 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246654511504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24681] ppid=24676 vsize=15149032 memory=288230376155276957 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246653458704 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24682] ppid=24676 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246652406416 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24683] ppid=24676 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445443813 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246651353616 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24684] ppid=24676 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445443814 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246597487216 140247061727874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24685] ppid=24676 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445443815 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246596433184 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24686] ppid=24676 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 24272 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445443815 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246595380848 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24687] ppid=24676 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443817 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246594329168 140247061735323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24688] ppid=24676 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 24272 0 -1 1077944384 566 0 0 0 4 0 0 0 20 0 15 0 445443817 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246593276016 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24689] ppid=24676 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 24272 0 -1 1077944384 217 0 0 0 3 0 0 0 20 0 15 0 445443817 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246592223216 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24690] ppid=24676 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 24272 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 15 0 445443818 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246591170928 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24691] ppid=24676 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443818 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246590118368 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24692] ppid=24676 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443818 15512608768 12384 33554432000 4194304 4196468 140722840544176 140246589066160 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50960 KiB
[startup+0.701145 s]
/proc/loadavg: 8.04 7.95 7.88 6/234 24692
/proc/meminfo: memFree=29310492/32770624 swapFree=66997372/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445443811 115843072 362 33554432000 4194304 5098028 140732005470992 140732005469096 139711901774460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12898304 140732005479290 140732005479533 140732005479533 140732005482442 0
/proc/24676/statm: 28282 362 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15151156 memory=88992 CPUtime=1.58 cores=0,2,4,6
/proc/24678/stat : 24678 (java) S 24676 24676 24272 0 -1 1077944320 14913 0 0 0 152 6 0 0 20 0 15 0 445443812 15514783744 22248 33554432000 4194304 4196468 140722840544176 140722840526720 140247061716727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
/proc/24678/statm: 3787789 22248 3454 1 0 3748889 0
[pid=24678/tid=24679] ppid=24676 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/24678/task/24679/stat : 24679 (java) R 24676 24676 24272 0 -1 4202560 9144 0 0 0 63 4 0 0 20 0 15 0 445443812 15514783744 22248 33554432000 4194304 4196468 140722840544176 140247065955128 140246671001633 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24680] ppid=24676 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246654511504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24681] ppid=24676 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246653458704 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24682] ppid=24676 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443813 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246652406416 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24683] ppid=24676 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445443813 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246651353616 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24684] ppid=24676 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445443814 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246597487216 140247061727874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24685] ppid=24676 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445443815 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246596433184 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24686] ppid=24676 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 24272 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445443815 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246595380848 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24687] ppid=24676 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443817 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246594329168 140247061735323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24688] ppid=24676 vsize=15151156 memory=1764 CPUtime=0.24 cores=0,2,4,6
/proc/24678/task/24688/stat : 24688 (java) R 24676 24676 24272 0 -1 4202560 1370 0 0 0 24 0 0 0 20 0 15 0 445443817 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246593262912 140247046113837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24689] ppid=24676 vsize=15151156 memory=111628 CPUtime=0.21 cores=0,2,4,6
/proc/24678/task/24689/stat : 24689 (java) R 24676 24676 24272 0 -1 4202560 789 0 0 0 21 0 0 0 20 0 15 0 445443817 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246592210384 140247061738074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24690] ppid=24676 vsize=15151156 memory=796 CPUtime=0.42 cores=0,2,4,6
/proc/24678/task/24690/stat : 24690 (java) R 24676 24676 24272 0 -1 4202560 2303 0 0 0 42 0 0 0 20 0 15 0 445443818 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246591166656 140247061728662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24691] ppid=24676 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445443818 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246590118368 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24692] ppid=24676 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445443818 15514783744 22248 33554432000 4194304 4196468 140722840544176 140246589066160 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90440 KiB
[startup+1.50614 s]
/proc/loadavg: 8.04 7.95 7.88 9/234 24692
/proc/meminfo: memFree=29206668/32770624 swapFree=66997372/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445443811 115843072 362 33554432000 4194304 5098028 140732005470992 140732005469096 139711901774460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12898304 140732005479290 140732005479533 140732005479533 140732005482442 0
/proc/24676/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 24272 0 -1 1077944384 482 0 0 0 4 0 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246589066160 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24811] ppid=24676 vsize=15419460 memory=386452 CPUtime=91.22 cores=0,2,4,6
/proc/24678/task/24811/stat : 24811 (java) R 24676 24676 24272 0 -1 4202560 743 0 0 0 9120 2 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246509865376 140246678617339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24812] ppid=24676 vsize=15419460 memory=1756 CPUtime=91.01 cores=0,2,4,6
/proc/24678/task/24812/stat : 24812 (java) R 24676 24676 24272 0 -1 4202560 2529 0 0 0 9101 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246511972304 140246678956487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24813] ppid=24676 vsize=15419460 memory=8317482817917895235 CPUtime=91.08 cores=0,2,4,6
/proc/24678/task/24813/stat : 24813 (java) R 24676 24676 24272 0 -1 4202560 2902 0 0 0 9108 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246510921736 140246677396432 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24814] ppid=24676 vsize=15419460 memory=4872558044660077418 CPUtime=91.32 cores=0,2,4,6
/proc/24678/task/24814/stat : 24814 (java) R 24676 24676 24272 0 -1 4202560 1295 0 0 0 9132 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246508814128 140246678834428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
Current children cumulated CPU time: 424.66 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 355068 KiB
[startup+111.201 s]
/proc/loadavg: 8.35 8.05 7.92 12/237 25079
/proc/meminfo: memFree=30949764/32770624 swapFree=66997372/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445443811 115843072 362 33554432000 4194304 5098028 140732005470992 140732005469096 139711901774460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12898304 140732005479290 140732005479533 140732005479533 140732005482442 0
/proc/24676/statm: 28282 362 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15419460 memory=353620 CPUtime=427.85 cores=0,2,4,6
/proc/24678/stat : 24678 (java) S 24676 24676 24272 0 -1 1077944320 84000 0 0 0 42746 39 0 0 20 0 19 0 445443812 15789527040 88405 33554432000 4194304 4196468 140722840544176 140722840526720 140247061716727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
/proc/24678/statm: 3854865 88405 3534 1 0 3815965 0
[pid=24678/tid=24679] ppid=24676 vsize=15419460 memory=6791534058613427641 CPUtime=1.04 cores=0,2,4,6
/proc/24678/task/24679/stat : 24679 (java) S 24676 24676 24272 0 -1 1077944384 11303 0 0 0 98 6 0 0 20 0 19 0 445443812 15789527040 88405 33554432000 4194304 4196468 140722840544176 140247065957504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24680] ppid=24676 vsize=15419460 memory=1448 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 24272 0 -1 1077944384 2554 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246654511504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24681] ppid=24676 vsize=15419460 memory=3504 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 24272 0 -1 1077944384 2062 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246653458704 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24682] ppid=24676 vsize=15419460 memory=48196 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 24272 0 -1 1077944384 2685 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246652406416 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24683] ppid=24676 vsize=15419460 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 24272 0 -1 1077944384 1603 0 0 0 11 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246651353616 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24684] ppid=24676 vsize=15419460 memory=353620 CPUtime=0.03 cores=0,2,4,6
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 24272 0 -1 1077944384 2369 0 0 0 3 0 0 0 20 0 19 0 445443814 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246597487216 140247061727874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24685] ppid=24676 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445443815 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246596433248 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24686] ppid=24676 vsize=15419460 memory=376648 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 24272 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 445443815 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246595380864 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24687] ppid=24676 vsize=15419460 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246594329168 140247061735323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24688] ppid=24676 vsize=15419460 memory=2012 CPUtime=3.22 cores=0,2,4,6
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 24272 0 -1 1077944384 17782 0 0 0 320 2 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246593276016 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24689] ppid=24676 vsize=15419460 memory=1388 CPUtime=3.23 cores=0,2,4,6
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 24272 0 -1 1077944384 16831 0 0 0 322 1 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246592223216 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24690] ppid=24676 vsize=15419460 memory=776 CPUtime=0.9 cores=0,2,4,6
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 24272 0 -1 1077944384 12229 0 0 0 89 1 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246591170928 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 60 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24691] ppid=24676 vsize=15419460 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246590118368 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24692] ppid=24676 vsize=15419460 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 24272 0 -1 1077944384 482 0 0 0 4 0 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246589066160 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24811] ppid=24676 vsize=15419460 memory=6944656592387989600 CPUtime=92.02 cores=0,2,4,6
/proc/24678/task/24811/stat : 24811 (java) R 24676 24676 24272 0 -1 4202560 743 0 0 0 9200 2 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246509865512 140246678834390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24812] ppid=24676 vsize=15419460 memory=6655300316396806240 CPUtime=91.81 cores=0,2,4,6
/proc/24678/task/24812/stat : 24812 (java) R 24676 24676 24272 0 -1 4202560 2537 0 0 0 9181 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246511972440 140246677930645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24813] ppid=24676 vsize=15419460 memory=6944656592387989600 CPUtime=91.86 cores=0,2,4,6
/proc/24678/task/24813/stat : 24813 (java) R 24676 24676 24272 0 -1 4202560 2902 0 0 0 9186 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246510921736 140246677930253 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24814] ppid=24676 vsize=15419460 memory=8128038100524242582 CPUtime=92.12 cores=0,2,4,6
/proc/24678/task/24814/stat : 24814 (java) R 24676 24676 24272 0 -1 4202560 1295 0 0 0 9212 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246508814128 140246678835099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
Current children cumulated CPU time: 427.85 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 355068 KiB
[startup+112.001 s]*
/proc/loadavg: 8.35 8.05 7.92 6/231 25108
/proc/meminfo: memFree=31099348/32770624 swapFree=66997372/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445443811 115843072 362 33554432000 4194304 5098028 140732005470992 140732005469096 139711901774460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12898304 140732005479290 140732005479533 140732005479533 140732005482442 0
/proc/24676/statm: 28282 362 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15419460 memory=353620 CPUtime=429.77 cores=0,2,4,6
/proc/24678/stat : 24678 (java) S 24676 24676 24272 0 -1 1077944320 84024 0 0 0 42938 39 0 0 20 0 19 0 445443812 15789527040 88405 33554432000 4194304 4196468 140722840544176 140722840526720 140247061716727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
/proc/24678/statm: 3854865 88405 3534 1 0 3815965 0
[pid=24678/tid=24679] ppid=24676 vsize=15419460 memory=8317482817917895235 CPUtime=1.04 cores=0,2,4,6
/proc/24678/task/24679/stat : 24679 (java) S 24676 24676 24272 0 -1 1077944384 11303 0 0 0 98 6 0 0 20 0 19 0 445443812 15789527040 88405 33554432000 4194304 4196468 140722840544176 140247065957504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24680] ppid=24676 vsize=15419460 memory=4872558044660077418 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 24272 0 -1 1077944384 2554 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246654511504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24681] ppid=24676 vsize=15419460 memory=776 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 24272 0 -1 1077944384 2062 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246653458704 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24682] ppid=24676 vsize=15419460 memory=3992 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 24272 0 -1 1077944384 2685 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246652406416 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24683] ppid=24676 vsize=15419460 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 24272 0 -1 1077944384 1603 0 0 0 11 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246651353616 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24684] ppid=24676 vsize=15419460 memory=353620 CPUtime=0.03 cores=0,2,4,6
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 24272 0 -1 1077944384 2369 0 0 0 3 0 0 0 20 0 19 0 445443814 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246597487216 140247061727874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24685] ppid=24676 vsize=15419460 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445443815 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246596433248 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24686] ppid=24676 vsize=15419460 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 24272 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 445443815 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246595380864 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24687] ppid=24676 vsize=15419460 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246594329168 140247061735323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24688] ppid=24676 vsize=15419460 memory=1004 CPUtime=3.22 cores=0,2,4,6
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 24272 0 -1 1077944384 17782 0 0 0 320 2 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246593276016 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24689] ppid=24676 vsize=15419460 memory=6036 CPUtime=3.23 cores=0,2,4,6
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 24272 0 -1 1077944384 16831 0 0 0 322 1 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246592223216 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24690] ppid=24676 vsize=15419460 memory=14008 CPUtime=0.9 cores=0,2,4,6
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 24272 0 -1 1077944384 12229 0 0 0 89 1 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246591170928 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 60 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24691] ppid=24676 vsize=15419460 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246590118368 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24692] ppid=24676 vsize=15419460 memory=26164 CPUtime=0.04 cores=0,2,4,6
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 24272 0 -1 1077944384 482 0 0 0 4 0 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246589066160 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24811] ppid=24676 vsize=15419460 memory=12024 CPUtime=92.39 cores=0,2,4,6
/proc/24678/task/24811/stat : 24811 (java) S 24676 24676 24272 0 -1 1077944384 746 0 0 0 9237 2 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246509870320 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24812] ppid=24676 vsize=15419460 memory=500 CPUtime=92.18 cores=0,2,4,6
/proc/24678/task/24812/stat : 24812 (java) S 24676 24676 24272 0 -1 1077944384 2556 0 0 0 9218 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246511977552 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24813] ppid=24676 vsize=15419460 memory=1560 CPUtime=92.67 cores=0,2,4,6
/proc/24678/task/24813/stat : 24813 (java) R 24676 24676 24272 0 -1 4202560 2902 0 0 0 9267 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246510919048 140246678617611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24814] ppid=24676 vsize=15419460 memory=140574213307760 CPUtime=92.5 cores=0,2,4,6
/proc/24678/task/24814/stat : 24814 (java) S 24676 24676 24272 0 -1 1077944384 1297 0 0 0 9250 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246508819792 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
Current children cumulated CPU time: 429.77 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 355068 KiB
[startup+112.201 s]
/proc/loadavg: 8.35 8.05 7.92 6/231 25108
/proc/meminfo: memFree=31099348/32770624 swapFree=66997372/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445443811 115843072 362 33554432000 4194304 5098028 140732005470992 140732005469096 139711901774460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12898304 140732005479290 140732005479533 140732005479533 140732005482442 0
/proc/24676/statm: 28282 362 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15419460 memory=353620 CPUtime=429.96 cores=0,2,4,6
/proc/24678/stat : 24678 (java) S 24676 24676 24272 0 -1 1077944320 84024 0 0 0 42957 39 0 0 20 0 19 0 445443812 15789527040 88405 33554432000 4194304 4196468 140722840544176 140722840526720 140247061716727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
/proc/24678/statm: 3854865 88405 3534 1 0 3815965 0
[pid=24678/tid=24679] ppid=24676 vsize=15419460 memory=-2247047206207641111 CPUtime=1.04 cores=0,2,4,6
/proc/24678/task/24679/stat : 24679 (java) S 24676 24676 24272 0 -1 1077944384 11303 0 0 0 98 6 0 0 20 0 19 0 445443812 15789527040 88405 33554432000 4194304 4196468 140722840544176 140247065957504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24680] ppid=24676 vsize=15419460 memory=610519724167621938 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 24272 0 -1 1077944384 2554 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246654511504 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24681] ppid=24676 vsize=15419460 memory=288288891675607911 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 24272 0 -1 1077944384 2062 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246653458704 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24682] ppid=24676 vsize=15419460 memory=8387223549236478041 CPUtime=0.16 cores=0,2,4,6
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 24272 0 -1 1077944384 2685 0 0 0 12 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246652406416 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24683] ppid=24676 vsize=15419460 memory=8387223549236478041 CPUtime=0.15 cores=0,2,4,6
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 24272 0 -1 1077944384 1603 0 0 0 11 4 0 0 20 0 19 0 445443813 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246651353616 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24684] ppid=24676 vsize=15419460 memory=288288857382978724 CPUtime=0.03 cores=0,2,4,6
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 24272 0 -1 1077944384 2369 0 0 0 3 0 0 0 20 0 19 0 445443814 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246597487216 140247061727874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24685] ppid=24676 vsize=15419460 memory=592786800634850610 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445443815 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246596433248 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24686] ppid=24676 vsize=15419460 memory=288288891675607911 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 24272 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 445443815 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246595380864 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24687] ppid=24676 vsize=15419460 memory=3474581229943418989 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246594329168 140247061735323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24688] ppid=24676 vsize=15419460 memory=-7094132109863559211 CPUtime=3.22 cores=0,2,4,6
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 24272 0 -1 1077944384 17782 0 0 0 320 2 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246593276016 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24689] ppid=24676 vsize=15419460 memory=7307478885558740585 CPUtime=3.23 cores=0,2,4,6
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 24272 0 -1 1077944384 16831 0 0 0 322 1 0 0 20 0 19 0 445443817 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246592223216 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24690] ppid=24676 vsize=15419460 memory=303430223234596890 CPUtime=0.9 cores=0,2,4,6
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 24272 0 -1 1077944384 12229 0 0 0 89 1 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246591170928 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 60 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24691] ppid=24676 vsize=15419460 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246590118368 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24692] ppid=24676 vsize=15419460 memory=14410423571057304 CPUtime=0.04 cores=0,2,4,6
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 24272 0 -1 1077944384 482 0 0 0 4 0 0 0 20 0 19 0 445443818 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246589066160 140247061727874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24811] ppid=24676 vsize=15419460 memory=812 CPUtime=92.39 cores=0,2,4,6
/proc/24678/task/24811/stat : 24811 (java) S 24676 24676 24272 0 -1 1077944384 746 0 0 0 9237 2 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246509870320 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24812] ppid=24676 vsize=15419460 memory=1764 CPUtime=92.18 cores=0,2,4,6
/proc/24678/task/24812/stat : 24812 (java) S 24676 24676 24272 0 -1 1077944384 2556 0 0 0 9218 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246511977552 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24813] ppid=24676 vsize=15419460 memory=111628 CPUtime=92.86 cores=0,2,4,6
/proc/24678/task/24813/stat : 24813 (java) R 24676 24676 24272 0 -1 4202560 2902 0 0 0 9286 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246510919048 140246679957048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
[pid=24678/tid=24814] ppid=24676 vsize=15419460 memory=796 CPUtime=92.5 cores=0,2,4,6
/proc/24678/task/24814/stat : 24814 (java) S 24676 24676 24272 0 -1 1077944384 1297 0 0 0 9250 0 0 0 20 0 19 0 445445666 15789527040 88405 33554432000 4194304 4196468 140722840544176 140246508819792 140247061726933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38592512 140722840552431 140722840552602 140722840552602 140722840555471 0
Current children cumulated CPU time: 429.96 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 355068 KiB
Child status: 0
Real time (s): 112.239
CPU time (s): 430.016
CPU user time (s): 429.607
CPU system time (s): 0.408575
CPU usage (%): 383.125
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 453352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 429.607
system time used= 0.408575
maximum resident set size= 453952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6645
involuntary context switches= 7479
# summary of solver processes directly reported to runsolver:
# pid: 24676
# total CPU time (s): 430.016
# total CPU user time (s): 429.607
# total CPU system time (s): 0.408575
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.739111 second user time and 1.32098 second system time
The end