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 (13182 MiB free)
memory of node 1: 16384 MiB (11286 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406362-1569397095/watcher-4406362-1569397095 -o /tmp/evaluation-result-4406362-1569397095/solver-4406362-1569397095 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569396805-3342 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406362-1569397095.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=3582, runsolver pid=3579
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.44 1.06 0.55 4/228 3598
/proc/meminfo: memFree=25040408/32770624 swapFree=66941100/67108860
[pid=3582] ppid=3579 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
[pid=3584] ppid=3582 vsize=15144776 memory=29012 CPUtime=0.13 cores=0,2,4,6
/proc/3584/stat : 3584 (java) S 3582 3582 3311 0 -1 1077944320 5678 0 0 0 12 1 0 0 20 0 15 0 515980411 15508250624 7253 33554432000 4194304 4196468 140723451773152 140723451755696 140657874849527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
/proc/3584/statm: 3786194 7253 3146 1 0 3748377 0
[pid=3584/tid=3585] ppid=3582 vsize=15144776 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/3584/task/3585/stat : 3585 (java) R 3582 3582 3311 0 -1 4202560 3582 0 0 0 8 0 0 0 20 0 15 0 515980411 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657879082304 140657867086654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3586] ppid=3582 vsize=15144776 memory=3472468373232927952 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3586/stat : 3586 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657831402640 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3587] ppid=3582 vsize=15144776 memory=140244337776256 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3587/stat : 3587 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657466465296 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3588] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3588/stat : 3588 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657465412496 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3589] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3589/stat : 3589 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980412 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657464359696 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3590] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3590/stat : 3590 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980413 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657343420784 140657874860674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3591] ppid=3582 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3591/stat : 3591 (java) S 3582 3582 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515980414 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657342366752 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3592] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3592/stat : 3592 (java) S 3582 3582 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515980414 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657341313904 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3593] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3593/stat : 3593 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657340262224 140657874868123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3594] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3594/stat : 3594 (java) S 3582 3582 3311 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 15 0 515980416 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657339210608 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3595] ppid=3582 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3595/stat : 3595 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657338157808 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3596] ppid=3582 vsize=15144776 memory=140244337776256 CPUtime=0.02 cores=0,2,4,6
/proc/3584/task/3596/stat : 3596 (java) R 3582 3582 3311 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 515980416 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657337105008 140657858930014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3597] ppid=3582 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3597/stat : 3597 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657336052448 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3598] ppid=3582 vsize=15144776 memory=140244337776256 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3598/stat : 3598 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980417 15508250624 7253 33554432000 4194304 4196468 140723451773152 140657334999728 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30460 KiB
[startup+0.210787 s]*
/proc/loadavg: 1.44 1.06 0.55 5/228 3598
/proc/meminfo: memFree=25027280/32770624 swapFree=66941100/67108860
[pid=3582] ppid=3579 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
[pid=3584] ppid=3582 vsize=15144776 memory=40556 CPUtime=0.35 cores=0,2,4,6
/proc/3584/stat : 3584 (java) S 3582 3582 3311 0 -1 1077944320 9342 0 0 0 31 4 0 0 20 0 15 0 515980411 15508250624 10139 33554432000 4194304 4196468 140723451773152 140723451755696 140657874849527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
/proc/3584/statm: 3786194 10139 3308 1 0 3748377 0
[pid=3584/tid=3585] ppid=3582 vsize=15144776 memory=4500116723524083353 CPUtime=0.19 cores=0,2,4,6
/proc/3584/task/3585/stat : 3585 (java) R 3582 3582 3311 0 -1 4202560 6593 0 0 0 17 2 0 0 20 0 15 0 515980411 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657879086224 140657874871453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3586] ppid=3582 vsize=15144776 memory=3472468373232927952 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3586/stat : 3586 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657831402640 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3587] ppid=3582 vsize=15144776 memory=140244337776256 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3587/stat : 3587 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657466465296 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3588] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3588/stat : 3588 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657465412496 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3589] ppid=3582 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3589/stat : 3589 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980412 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657464359696 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3590] ppid=3582 vsize=15144776 memory=140244337776256 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3590/stat : 3590 (java) S 3582 3582 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515980413 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657343420784 140657874860674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3591] ppid=3582 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3591/stat : 3591 (java) S 3582 3582 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515980414 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657342366752 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3592] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3592/stat : 3592 (java) S 3582 3582 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515980414 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657341313904 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3593] ppid=3582 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3593/stat : 3593 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657340262224 140657874868123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3594] ppid=3582 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3584/task/3594/stat : 3594 (java) S 3582 3582 3311 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 515980416 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657339210608 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3595] ppid=3582 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3584/task/3595/stat : 3595 (java) S 3582 3582 3311 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 515980416 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657338157808 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3596] ppid=3582 vsize=15144776 memory=140244337776256 CPUtime=0.08 cores=0,2,4,6
/proc/3584/task/3596/stat : 3596 (java) R 3582 3582 3311 0 -1 4202560 799 0 0 0 8 0 0 0 20 0 15 0 515980416 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657337105008 140657859158721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3597] ppid=3582 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3597/stat : 3597 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657336052448 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3598] ppid=3582 vsize=15144776 memory=140244337776256 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3598/stat : 3598 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980417 15508250624 10139 33554432000 4194304 4196468 140723451773152 140657334999728 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42004 KiB
[startup+0.310926 s]*
/proc/loadavg: 1.44 1.06 0.55 4/228 3598
/proc/meminfo: memFree=25019512/32770624 swapFree=66941100/67108860
[pid=3582] ppid=3579 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
[pid=3584] ppid=3582 vsize=15149032 memory=49840 CPUtime=0.53 cores=0,2,4,6
/proc/3584/stat : 3584 (java) S 3582 3582 3311 0 -1 1077944320 10854 0 0 0 48 5 0 0 20 0 15 0 515980411 15512608768 12460 33554432000 4194304 4196468 140723451773152 140723451755696 140657874849527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
/proc/3584/statm: 3787258 12460 3369 1 0 3748377 0
[pid=3584/tid=3585] ppid=3582 vsize=15149032 memory=4572174317528259473 CPUtime=0.3 cores=0,2,4,6
/proc/3584/task/3585/stat : 3585 (java) R 3582 3582 3311 0 -1 4202560 7777 0 0 0 27 3 0 0 20 0 15 0 515980411 15512608768 12525 33554432000 4194304 4196468 140723451773152 140657879076144 140657874871453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3586] ppid=3582 vsize=15149032 memory=3472468540565456560 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3586/stat : 3586 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15512608768 12525 33554432000 4194304 4196468 140723451773152 140657831402640 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3587] ppid=3582 vsize=15149032 memory=140244337776256 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3587/stat : 3587 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15512608768 12525 33554432000 4194304 4196468 140723451773152 140657466465296 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3588] ppid=3582 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3588/stat : 3588 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657465412496 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3589] ppid=3582 vsize=15149032 memory=140244238343967 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3589/stat : 3589 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980412 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657464359696 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3590] ppid=3582 vsize=15149032 memory=280488476667168 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3590/stat : 3590 (java) S 3582 3582 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515980413 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657343420784 140657874860674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3591] ppid=3582 vsize=15149032 memory=140244238320911 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3591/stat : 3591 (java) S 3582 3582 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515980414 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657342366752 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3592] ppid=3582 vsize=15149032 memory=280488576106336 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3592/stat : 3592 (java) S 3582 3582 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515980414 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657341313904 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3593] ppid=3582 vsize=15149032 memory=140244238325519 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3593/stat : 3593 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657340262224 140657874868123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3594] ppid=3582 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3584/task/3594/stat : 3594 (java) S 3582 3582 3311 0 -1 1077944384 567 0 0 0 3 0 0 0 20 0 15 0 515980416 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657339210608 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3595] ppid=3582 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/3584/task/3595/stat : 3595 (java) R 3582 3582 3311 0 -1 4202560 252 0 0 0 4 0 0 0 20 0 15 0 515980416 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657338148192 140657852110784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3596] ppid=3582 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3584/task/3596/stat : 3596 (java) S 3582 3582 3311 0 -1 1077944384 975 0 0 0 12 0 0 0 20 0 15 0 515980416 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657337105008 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3597] ppid=3582 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3597/stat : 3597 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657336052448 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3598] ppid=3582 vsize=15149032 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3598/stat : 3598 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980417 15512608768 12529 33554432000 4194304 4196468 140723451773152 140657334999728 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51288 KiB
[startup+0.700774 s]
/proc/loadavg: 1.44 1.06 0.55 5/228 3598
/proc/meminfo: memFree=25002632/32770624 swapFree=66941100/67108860
[pid=3582] ppid=3579 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
[pid=3584] ppid=3582 vsize=15151156 memory=71964 CPUtime=1.63 cores=0,2,4,6
/proc/3584/stat : 3584 (java) S 3582 3582 3311 0 -1 1077944320 14256 0 0 0 156 7 0 0 20 0 15 0 515980411 15514783744 17991 33554432000 4194304 4196468 140723451773152 140723451755696 140657874849527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
/proc/3584/statm: 3787789 17991 3458 1 0 3748889 0
[pid=3584/tid=3585] ppid=3582 vsize=15151156 memory=6153395287087403600 CPUtime=0.68 cores=0,2,4,6
/proc/3584/task/3585/stat : 3585 (java) R 3582 3582 3311 0 -1 4202560 9147 0 0 0 63 5 0 0 20 0 15 0 515980411 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657879083584 140657874861462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3586] ppid=3582 vsize=15151156 memory=7883644968863624293 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3586/stat : 3586 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657831402640 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3587] ppid=3582 vsize=15151156 memory=8099279071866868838 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3587/stat : 3587 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657466465296 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3588] ppid=3582 vsize=15151156 memory=667680 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3588/stat : 3588 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657465412496 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3589] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3589/stat : 3589 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657464359696 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3590] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3590/stat : 3590 (java) S 3582 3582 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515980413 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657343420784 140657874860674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3591] ppid=3582 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3591/stat : 3591 (java) S 3582 3582 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657342366752 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3592] ppid=3582 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3592/stat : 3592 (java) S 3582 3582 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657341313904 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3593] ppid=3582 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3593/stat : 3593 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657340262224 140657874868123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3594] ppid=3582 vsize=15151156 memory=1096 CPUtime=0.3 cores=0,2,4,6
/proc/3584/task/3594/stat : 3594 (java) R 3582 3582 3311 0 -1 4202560 1393 0 0 0 30 0 0 0 20 0 15 0 515980416 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657339210736 140657874870874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3595] ppid=3582 vsize=15151156 memory=1228 CPUtime=0.29 cores=0,2,4,6
/proc/3584/task/3595/stat : 3595 (java) R 3582 3582 3311 0 -1 4202560 713 0 0 0 29 0 0 0 20 0 15 0 515980416 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657338150832 140657874870874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3596] ppid=3582 vsize=15151156 memory=6152 CPUtime=0.33 cores=0,2,4,6
/proc/3584/task/3596/stat : 3596 (java) R 3582 3582 3311 0 -1 1077944384 1697 0 0 0 33 0 0 0 20 0 15 0 515980416 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657337105008 140657874860674 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3597] ppid=3582 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3597/stat : 3597 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657336052448 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3598] ppid=3582 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3598/stat : 3598 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980417 15514783744 17991 33554432000 4194304 4196468 140723451773152 140657334999728 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 73412 KiB
[startup+1.50154 s]
/proc/loadavg: 1.44 1.06 0.55 5/228 3598
/proc/meminfo: memFree=24983536/32770624 swapFree=66941100/67108860
[pid=3582] ppid=3579 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
[pid=3584] ppid=3582 vsize=15151156 memory=125872 CPUtime=22.9 cores=0,2,4,6
/proc/3584/stat : 3584 (java) S 3582 3582 3311 0 -1 1077944320 35554 0 0 0 2279 11 0 0 20 0 15 0 515980411 15514783744 31468 33554432000 4194304 4196468 140723451773152 140723451755696 140657874849527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
/proc/3584/statm: 3787789 31468 3478 1 0 3748889 0
[pid=3584/tid=3585] ppid=3582 vsize=15151156 memory=123824 CPUtime=19.17 cores=0,2,4,6
/proc/3584/task/3585/stat : 3585 (java) R 3582 3582 3311 0 -1 4202560 10992 0 0 0 1912 5 0 0 20 0 15 0 515980411 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657879086096 140657515122159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3586] ppid=3582 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3586/stat : 3586 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657831402640 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3587] ppid=3582 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3587/stat : 3587 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657466465296 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3588] ppid=3582 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3588/stat : 3588 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657465412496 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3589] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3589/stat : 3589 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657464359696 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3590] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3590/stat : 3590 (java) S 3582 3582 3311 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 515980413 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657343420784 140657874860674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3591] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3591/stat : 3591 (java) S 3582 3582 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657342366752 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3592] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3592/stat : 3592 (java) S 3582 3582 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657341313904 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3593] ppid=3582 vsize=15151156 memory=159 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3593/stat : 3593 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657340262224 140657874868123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3594] ppid=3582 vsize=15151156 memory=113712 CPUtime=1.61 cores=0,2,4,6
/proc/3584/task/3594/stat : 3594 (java) S 3582 3582 3311 0 -1 1077944384 9411 0 0 0 159 2 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657339210608 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3595] ppid=3582 vsize=15151156 memory=111664 CPUtime=1.65 cores=0,2,4,6
/proc/3584/task/3595/stat : 3595 (java) S 3582 3582 3311 0 -1 1077944384 9340 0 0 0 164 1 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657338157808 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3596] ppid=3582 vsize=15151156 memory=1448 CPUtime=0.43 cores=0,2,4,6
/proc/3584/task/3596/stat : 3596 (java) S 3582 3582 3311 0 -1 1077944384 3351 0 0 0 43 0 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657337105008 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3597] ppid=3582 vsize=15151156 memory=113712 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3597/stat : 3597 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657336052448 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3598] ppid=3582 vsize=15151156 memory=280488476708128 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3598/stat : 3598 (java) S 3582 3582 3311 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 515980417 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657334999728 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
Current children cumulated CPU time: 22.9 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 127320 KiB
[startup+20.0006 s]*
/proc/loadavg: 1.52 1.11 0.58 3/228 3598
/proc/meminfo: memFree=24942088/32770624 swapFree=66941100/67108860
[pid=3582] ppid=3579 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
[pid=3584] ppid=3582 vsize=15151156 memory=125872 CPUtime=23.71 cores=0,2,4,6
/proc/3584/stat : 3584 (java) S 3582 3582 3311 0 -1 1077944320 35560 0 0 0 2360 11 0 0 20 0 15 0 515980411 15514783744 31468 33554432000 4194304 4196468 140723451773152 140723451755696 140657874849527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
/proc/3584/statm: 3787789 31468 3478 1 0 3748889 0
[pid=3584/tid=3585] ppid=3582 vsize=15151156 memory=8112282956445269571 CPUtime=19.98 cores=0,2,4,6
/proc/3584/task/3585/stat : 3585 (java) R 3582 3582 3311 0 -1 4202560 10992 0 0 0 1993 5 0 0 20 0 15 0 515980411 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657879086096 140657515499214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3586] ppid=3582 vsize=15151156 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3586/stat : 3586 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657831402640 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3587] ppid=3582 vsize=15151156 memory=280488477112608 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3587/stat : 3587 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657466465296 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3588] ppid=3582 vsize=15151156 memory=140244238577008 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3588/stat : 3588 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657465412496 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3589] ppid=3582 vsize=15151156 memory=665107754551677141 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3589/stat : 3589 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657464359696 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3590] ppid=3582 vsize=15151156 memory=-2892745056951965031 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3590/stat : 3590 (java) S 3582 3582 3311 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 515980413 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657343420784 140657874860674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3591] ppid=3582 vsize=15151156 memory=-2672971631320983069 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3591/stat : 3591 (java) S 3582 3582 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657342366752 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3592] ppid=3582 vsize=15151156 memory=4137280412607091059 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3592/stat : 3592 (java) S 3582 3582 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657341313904 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3593] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3593/stat : 3593 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657340262224 140657874868123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3594] ppid=3582 vsize=15151156 memory=0 CPUtime=1.61 cores=0,2,4,6
/proc/3584/task/3594/stat : 3594 (java) S 3582 3582 3311 0 -1 1077944384 9413 0 0 0 159 2 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657339210608 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3595] ppid=3582 vsize=15151156 memory=665092360617987539 CPUtime=1.65 cores=0,2,4,6
/proc/3584/task/3595/stat : 3595 (java) S 3582 3582 3311 0 -1 1077944384 9342 0 0 0 164 1 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657338157808 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3596] ppid=3582 vsize=15151156 memory=-5587106306044206369 CPUtime=0.43 cores=0,2,4,6
/proc/3584/task/3596/stat : 3596 (java) S 3582 3582 3311 0 -1 1077944384 3353 0 0 0 43 0 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657337105008 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3597] ppid=3582 vsize=15151156 memory=280488476413200 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3597/stat : 3597 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657336052448 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3598] ppid=3582 vsize=15151156 memory=280488477194880 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3598/stat : 3598 (java) S 3582 3582 3311 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 515980417 15514783744 31468 33554432000 4194304 4196468 140723451773152 140657334999728 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
Current children cumulated CPU time: 23.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 127320 KiB
[startup+20.4006 s]
/proc/loadavg: 1.52 1.11 0.58 3/228 3598
/proc/meminfo: memFree=24942088/32770624 swapFree=66941100/67108860
[pid=3582] ppid=3579 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
[pid=3584] ppid=3582 vsize=15151156 memory=127920 CPUtime=24.1 cores=0,2,4,6
/proc/3584/stat : 3584 (java) S 3582 3582 3311 0 -1 1077944320 35562 0 0 0 2399 11 0 0 20 0 15 0 515980411 15514783744 31980 33554432000 4194304 4196468 140723451773152 140723451755696 140657874849527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
/proc/3584/statm: 3787789 31980 3478 1 0 3748889 0
[pid=3584/tid=3585] ppid=3582 vsize=15151156 memory=8112282956445269571 CPUtime=20.37 cores=0,2,4,6
/proc/3584/task/3585/stat : 3585 (java) R 3582 3582 3311 0 -1 4202560 10994 0 0 0 2032 5 0 0 20 0 15 0 515980411 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657879086096 140657515195598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3586] ppid=3582 vsize=15151156 memory=288230621787193645 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3586/stat : 3586 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657831402640 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3587] ppid=3582 vsize=15151156 memory=14981070089095015 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3587/stat : 3587 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657466465296 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3588] ppid=3582 vsize=15151156 memory=-6370764230427955803 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3588/stat : 3588 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657465412496 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3589] ppid=3582 vsize=15151156 memory=3834869097211313520 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3589/stat : 3589 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657464359696 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3590] ppid=3582 vsize=15151156 memory=3689046461963526716 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3590/stat : 3590 (java) S 3582 3582 3311 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 515980413 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657343420784 140657874860674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3591] ppid=3582 vsize=15151156 memory=4784058833354135968 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3591/stat : 3591 (java) S 3582 3582 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657342366752 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3592] ppid=3582 vsize=15151156 memory=-6081100125891549016 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3592/stat : 3592 (java) S 3582 3582 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657341313904 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3593] ppid=3582 vsize=15151156 memory=-7162548950725252463 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3593/stat : 3593 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657340262224 140657874868123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3594] ppid=3582 vsize=15151156 memory=7449887691748762939 CPUtime=1.61 cores=0,2,4,6
/proc/3584/task/3594/stat : 3594 (java) S 3582 3582 3311 0 -1 1077944384 9413 0 0 0 159 2 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657339210608 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3595] ppid=3582 vsize=15151156 memory=-5933347843008193882 CPUtime=1.65 cores=0,2,4,6
/proc/3584/task/3595/stat : 3595 (java) S 3582 3582 3311 0 -1 1077944384 9342 0 0 0 164 1 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657338157808 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3596] ppid=3582 vsize=15151156 memory=-6798310482166503264 CPUtime=0.43 cores=0,2,4,6
/proc/3584/task/3596/stat : 3596 (java) S 3582 3582 3311 0 -1 1077944384 3353 0 0 0 43 0 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657337105008 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3597] ppid=3582 vsize=15151156 memory=-6150351740250971333 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3597/stat : 3597 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657336052448 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3598] ppid=3582 vsize=15151156 memory=-6580728113469232027 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3598/stat : 3598 (java) S 3582 3582 3311 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 515980417 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657334999728 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
Current children cumulated CPU time: 24.1 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 129368 KiB
[startup+20.6006 s]
/proc/loadavg: 1.52 1.11 0.58 3/228 3598
/proc/meminfo: memFree=24942088/32770624 swapFree=66941100/67108860
[pid=3582] ppid=3579 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (xcsp3-exec) S 3579 3582 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515980411 115843072 362 33554432000 4194304 5098028 140731284880832 140731284878936 140573868429948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27545600 140731284886394 140731284886637 140731284886637 140731284889546 0
/proc/3582/statm: 28282 362 304 221 0 87 0
[pid=3584] ppid=3582 vsize=15151156 memory=127920 CPUtime=24.3 cores=0,2,4,6
/proc/3584/stat : 3584 (java) S 3582 3582 3311 0 -1 1077944320 35562 0 0 0 2419 11 0 0 20 0 15 0 515980411 15514783744 31980 33554432000 4194304 4196468 140723451773152 140723451755696 140657874849527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
/proc/3584/statm: 3787789 31980 3478 1 0 3748889 0
[pid=3584/tid=3585] ppid=3582 vsize=15151156 memory=0 CPUtime=20.57 cores=0,2,4,6
/proc/3584/task/3585/stat : 3585 (java) R 3582 3582 3311 0 -1 4202560 10994 0 0 0 2052 5 0 0 20 0 15 0 515980411 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657879086096 140657515499214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3586] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3586/stat : 3586 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657831402640 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3587] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3587/stat : 3587 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657466465296 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3588] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3588/stat : 3588 (java) S 3582 3582 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657465412496 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3589] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3589/stat : 3589 (java) S 3582 3582 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515980412 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657464359696 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3590] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3590/stat : 3590 (java) S 3582 3582 3311 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 515980413 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657343420784 140657874860674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3591] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3591/stat : 3591 (java) S 3582 3582 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657342366752 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3592] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3592/stat : 3592 (java) S 3582 3582 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515980414 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657341313904 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3593] ppid=3582 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3593/stat : 3593 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657340262224 140657874868123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3594] ppid=3582 vsize=15151156 memory=0 CPUtime=1.61 cores=0,2,4,6
/proc/3584/task/3594/stat : 3594 (java) S 3582 3582 3311 0 -1 1077944384 9413 0 0 0 159 2 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657339210608 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3595] ppid=3582 vsize=15151156 memory=0 CPUtime=1.65 cores=0,2,4,6
/proc/3584/task/3595/stat : 3595 (java) S 3582 3582 3311 0 -1 1077944384 9342 0 0 0 164 1 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657338157808 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3596] ppid=3582 vsize=15151156 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/3584/task/3596/stat : 3596 (java) S 3582 3582 3311 0 -1 1077944384 3353 0 0 0 43 0 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657337105008 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3597] ppid=3582 vsize=15151156 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3597/stat : 3597 (java) S 3582 3582 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515980416 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657336052448 140657874859733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
[pid=3584/tid=3598] ppid=3582 vsize=15151156 memory=280488476410096 CPUtime=0 cores=0,2,4,6
/proc/3584/task/3598/stat : 3598 (java) S 3582 3582 3311 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 515980417 15514783744 31980 33554432000 4194304 4196468 140723451773152 140657334999728 140657874860674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14340096 140723451782127 140723451782298 140723451782298 140723451785167 0
Current children cumulated CPU time: 24.3 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 129368 KiB
Child status: 0
Real time (s): 20.6184
CPU time (s): 24.3303
CPU user time (s): 24.2081
CPU system time (s): 0.122188
CPU usage (%): 118.003
Max. virtual memory (cumulated for all children) (KiB): 15266308
Max. memory (cumulated for all children) (KiB): 129368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2081
system time used= 0.122188
maximum resident set size= 130372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36957
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2578
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 3582
# total CPU time (s): 24.3303
# total CPU user time (s): 24.2081
# total CPU system time (s): 0.122188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.137603 second user time and 0.234486 second system time
The end