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 (14899 MiB free)
memory of node 1: 16384 MiB (15072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399327-1568698245/watcher-4399327-1568698245 -o /tmp/evaluation-result-4399327-1568698245/solver-4399327-1568698245 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19867 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1291438351 HOME/instance-4399327-1568698245.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24672, runsolver pid=24669
[startup+0.100138 s]*
/proc/loadavg: 7.91 8.41 8.26 8/235 24688
/proc/meminfo: memFree=30673632/32770624 swapFree=66922428/67108860
[pid=24672] ppid=24669 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24672/stat : 24672 (xcsp3-exec) S 24669 24672 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762402 115843072 362 33554432000 4194304 5098028 140723042746448 140723042744552 139882782470780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40210432 140723042755450 140723042755693 140723042755693 140723042758602 0
/proc/24672/statm: 28282 362 304 221 0 87 0
[pid=24674] ppid=24672 vsize=15144776 memory=29372 CPUtime=0.12 cores=0,2,4,6
/proc/24674/stat : 24674 (java) S 24672 24672 19836 0 -1 1077944320 5814 0 0 0 11 1 0 0 20 0 15 0 445762403 15508250624 7343 33554432000 4194304 4196468 140733546428208 140733546410752 140219996471031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
/proc/24674/statm: 3786194 7343 3119 1 0 3748377 0
[pid=24674/tid=24675] ppid=24672 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=0,2,4,6
/proc/24674/task/24675/stat : 24675 (java) R 24672 24672 19836 0 -1 4202560 3727 0 0 0 8 1 0 0 20 0 15 0 445762403 15508250624 7343 33554432000 4194304 4196468 140733546428208 140220000703496 140219988708158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24676] ppid=24672 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24676/stat : 24676 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762404 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219949091728 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24677] ppid=24672 vsize=15144776 memory=140068206376576 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24677/stat : 24677 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762404 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219948038928 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24678] ppid=24672 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24678/stat : 24678 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762404 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219946986640 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24679] ppid=24672 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24679/stat : 24679 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762404 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219945933840 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24680] ppid=24672 vsize=15144776 memory=140068206376576 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24680/stat : 24680 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762405 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219465013360 140219996482178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24681] ppid=24672 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24681/stat : 24681 (java) S 24672 24672 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445762406 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219463959328 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24682] ppid=24672 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24682/stat : 24682 (java) S 24672 24672 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445762406 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219462906992 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24683] ppid=24672 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24683/stat : 24683 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762408 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219461855312 140219996489627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24684] ppid=24672 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24684/stat : 24684 (java) R 24672 24672 19836 0 -1 4202560 321 0 0 0 0 0 0 0 20 0 15 0 445762408 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219460803184 140219974065783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24685] ppid=24672 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24685/stat : 24685 (java) R 24672 24672 19836 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445762408 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219459750384 140219996482178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24686] ppid=24672 vsize=15144776 memory=140068206376576 CPUtime=0.02 cores=0,2,4,6
/proc/24674/task/24686/stat : 24686 (java) R 24672 24672 19836 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 445762408 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219458698096 140219975426637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24687] ppid=24672 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24687/stat : 24687 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762409 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219457645536 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24688] ppid=24672 vsize=15144776 memory=140068206376576 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24688/stat : 24688 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762409 15508250624 7343 33554432000 4194304 4196468 140733546428208 140219456592304 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30820 KiB
[startup+0.210844 s]*
/proc/loadavg: 7.91 8.41 8.26 7/235 24688
/proc/meminfo: memFree=30661628/32770624 swapFree=66922428/67108860
[pid=24672] ppid=24669 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24672/stat : 24672 (xcsp3-exec) S 24669 24672 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762402 115843072 362 33554432000 4194304 5098028 140723042746448 140723042744552 139882782470780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40210432 140723042755450 140723042755693 140723042755693 140723042758602 0
/proc/24672/statm: 28282 362 304 221 0 87 0
[pid=24674] ppid=24672 vsize=15144776 memory=40464 CPUtime=0.34 cores=0,2,4,6
/proc/24674/stat : 24674 (java) S 24672 24672 19836 0 -1 1077944320 9340 0 0 0 31 3 0 0 20 0 15 0 445762403 15508250624 10116 33554432000 4194304 4196468 140733546428208 140733546410752 140219996471031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
/proc/24674/statm: 3786194 10116 3318 1 0 3748377 0
[pid=24674/tid=24675] ppid=24672 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/24674/task/24675/stat : 24675 (java) R 24672 24672 19836 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 15 0 445762403 15508250624 10116 33554432000 4194304 4196468 140733546428208 140220000708080 140219996492378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24676] ppid=24672 vsize=15144776 memory=2810770 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24676/stat : 24676 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762404 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219949091728 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24677] ppid=24672 vsize=15144776 memory=140068209680537 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24677/stat : 24677 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762404 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219948038928 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24678] ppid=24672 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24678/stat : 24678 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762404 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219946986640 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24679] ppid=24672 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24679/stat : 24679 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762404 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219945933840 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24680] ppid=24672 vsize=15144776 memory=140068206376576 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24680/stat : 24680 (java) S 24672 24672 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445762405 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219465013360 140219996482178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24681] ppid=24672 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24681/stat : 24681 (java) S 24672 24672 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445762406 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219463959328 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24682] ppid=24672 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24682/stat : 24682 (java) S 24672 24672 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445762406 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219462906992 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24683] ppid=24672 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24683/stat : 24683 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762408 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219461855312 140219996489627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24684] ppid=24672 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24674/task/24684/stat : 24684 (java) S 24672 24672 19836 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 445762408 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219460803184 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24685] ppid=24672 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24674/task/24685/stat : 24685 (java) S 24672 24672 19836 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 445762408 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219459750384 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24686] ppid=24672 vsize=15144776 memory=140068206376576 CPUtime=0.08 cores=0,2,4,6
/proc/24674/task/24686/stat : 24686 (java) S 24672 24672 19836 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 15 0 445762408 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219458698096 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24687] ppid=24672 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24687/stat : 24687 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762409 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219457645536 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24688] ppid=24672 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24688/stat : 24688 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762409 15508250624 10116 33554432000 4194304 4196468 140733546428208 140219456592304 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41912 KiB
[startup+0.312486 s]*
/proc/loadavg: 7.91 8.41 8.26 10/235 24688
/proc/meminfo: memFree=30653984/32770624 swapFree=66922428/67108860
[pid=24672] ppid=24669 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24672/stat : 24672 (xcsp3-exec) S 24669 24672 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762402 115843072 362 33554432000 4194304 5098028 140723042746448 140723042744552 139882782470780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40210432 140723042755450 140723042755693 140723042755693 140723042758602 0
/proc/24672/statm: 28282 362 304 221 0 87 0
[pid=24674] ppid=24672 vsize=15149032 memory=50292 CPUtime=0.54 cores=0,2,4,6
/proc/24674/stat : 24674 (java) S 24672 24672 19836 0 -1 1077944320 10887 0 0 0 50 4 0 0 20 0 15 0 445762403 15512608768 12569 33554432000 4194304 4196468 140733546428208 140733546410752 140219996471031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
/proc/24674/statm: 3787258 12569 3370 1 0 3748377 0
[pid=24674/tid=24675] ppid=24672 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/24674/task/24675/stat : 24675 (java) R 24672 24672 19836 0 -1 4202560 7810 0 0 0 27 3 0 0 20 0 15 0 445762403 15512608768 12573 33554432000 4194304 4196468 140733546428208 140220000702144 140219978048368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24676] ppid=24672 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24676/stat : 24676 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762404 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219949091728 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24677] ppid=24672 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24677/stat : 24677 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762404 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219948038928 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24678] ppid=24672 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24678/stat : 24678 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762404 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219946986640 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24679] ppid=24672 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24679/stat : 24679 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762404 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219945933840 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24680] ppid=24672 vsize=15149032 memory=-7017622353169989791 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24680/stat : 24680 (java) S 24672 24672 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445762405 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219465013360 140219996482178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24681] ppid=24672 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24681/stat : 24681 (java) S 24672 24672 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445762406 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219463959328 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24682] ppid=24672 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24682/stat : 24682 (java) S 24672 24672 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445762406 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219462906992 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24683] ppid=24672 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24683/stat : 24683 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762408 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219461855312 140219996489627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24684] ppid=24672 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/24674/task/24684/stat : 24684 (java) R 24672 24672 19836 0 -1 1077944384 475 0 0 0 4 0 0 0 20 0 15 0 445762408 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219460803184 140219996482178 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24685] ppid=24672 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24674/task/24685/stat : 24685 (java) R 24672 24672 19836 0 -1 4202560 325 0 0 0 4 0 0 0 20 0 15 0 445762408 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219459740768 140219981597808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24686] ppid=24672 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24674/task/24686/stat : 24686 (java) S 24672 24672 19836 0 -1 1077944384 974 0 0 0 12 0 0 0 20 0 15 0 445762408 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219458698096 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24687] ppid=24672 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24687/stat : 24687 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762409 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219457645536 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24688] ppid=24672 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24688/stat : 24688 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762409 15512608768 12573 33554432000 4194304 4196468 140733546428208 140219456592304 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51740 KiB
[startup+0.701404 s]
/proc/loadavg: 7.91 8.41 8.26 6/235 24688
/proc/meminfo: memFree=30633060/32770624 swapFree=66922428/67108860
[pid=24672] ppid=24669 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24672/stat : 24672 (xcsp3-exec) S 24669 24672 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762402 115843072 362 33554432000 4194304 5098028 140723042746448 140723042744552 139882782470780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40210432 140723042755450 140723042755693 140723042755693 140723042758602 0
/proc/24672/statm: 28282 362 304 221 0 87 0
[pid=24674] ppid=24672 vsize=15151156 memory=96428 CPUtime=1.66 cores=0,2,4,6
/proc/24674/stat : 24674 (java) S 24672 24672 19836 0 -1 1077944320 15270 0 0 0 160 6 0 0 20 0 15 0 445762403 15514783744 24107 33554432000 4194304 4196468 140733546428208 140733546410752 140219996471031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
/proc/24674/statm: 3787789 24107 3453 1 0 3748889 0
[pid=24674/tid=24675] ppid=24672 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/24674/task/24675/stat : 24675 (java) R 24672 24672 19836 0 -1 4202560 9350 0 0 0 63 4 0 0 20 0 15 0 445762403 15514783744 24107 33554432000 4194304 4196468 140733546428208 140220000707376 140219629736719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24676] ppid=24672 vsize=15151156 memory=32752 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24676/stat : 24676 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762404 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219949091728 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24677] ppid=24672 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24677/stat : 24677 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762404 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219948038928 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24678] ppid=24672 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24678/stat : 24678 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762404 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219946986640 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24679] ppid=24672 vsize=15151156 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24679/stat : 24679 (java) S 24672 24672 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762404 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219945933840 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24680] ppid=24672 vsize=15151156 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24680/stat : 24680 (java) S 24672 24672 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445762405 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219465013360 140219996482178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24681] ppid=24672 vsize=15151156 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24681/stat : 24681 (java) S 24672 24672 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445762406 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219463959328 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24682] ppid=24672 vsize=15151156 memory=588 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24682/stat : 24682 (java) S 24672 24672 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445762406 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219462906992 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24683] ppid=24672 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24683/stat : 24683 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762408 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219461855312 140219996489627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24684] ppid=24672 vsize=15151156 memory=1056 CPUtime=0.26 cores=0,2,4,6
/proc/24674/task/24684/stat : 24684 (java) R 24672 24672 19836 0 -1 4202560 1357 0 0 0 26 0 0 0 20 0 15 0 445762408 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219460789152 140219982485332 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24685] ppid=24672 vsize=15151156 memory=11620 CPUtime=0.28 cores=0,2,4,6
/proc/24674/task/24685/stat : 24685 (java) R 24672 24672 19836 0 -1 4202560 955 0 0 0 28 0 0 0 20 0 15 0 445762408 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219459740304 140219979967865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24686] ppid=24672 vsize=15151156 memory=3992 CPUtime=0.41 cores=0,2,4,6
/proc/24674/task/24686/stat : 24686 (java) R 24672 24672 19836 0 -1 4202560 2301 0 0 0 41 0 0 0 20 0 15 0 445762408 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219458698096 140219975420800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24687] ppid=24672 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24687/stat : 24687 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762409 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219457645536 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24688] ppid=24672 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24688/stat : 24688 (java) S 24672 24672 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762409 15514783744 24107 33554432000 4194304 4196468 140733546428208 140219456592304 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 97876 KiB
[startup+1.50753 s]
/proc/loadavg: 7.91 8.41 8.26 11/239 24716
/proc/meminfo: memFree=30532872/32770624 swapFree=66922428/67108860
[pid=24672] ppid=24669 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24672/stat : 24672 (xcsp3-exec) S 24669 24672 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762402 115843072 362 33554432000 4194304 5098028 140723042746448 140723042744552 139882782470780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40210432 140723042755450 140723042755693 140723042755693 140723042758602 0
/proc/24672/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24674/task/24688/stat : 24688 (java) S 24672 24672 19836 0 -1 1077944384 1411 0 0 0 0 1 0 0 20 0 19 0 445762409 15858741248 92767 33554432000 4194304 4196468 140733546428208 140219456592304 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25032] ppid=24672 vsize=15487052 memory=-8253362762722141311 CPUtime=9.68 cores=0,2,4,6
/proc/24674/task/25032/stat : 25032 (java) R 24672 24672 19836 0 -1 4202560 251 0 0 0 968 0 0 0 20 0 19 0 445768235 15858741248 92767 33554432000 4194304 4196468 140733546428208 140219446320008 140219634279889 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25033] ppid=24672 vsize=15487052 memory=7100839861465685612 CPUtime=9.61 cores=0,2,4,6
/proc/24674/task/25033/stat : 25033 (java) R 24672 24672 19836 0 -1 4202560 775 0 0 0 961 0 0 0 20 0 19 0 445768235 15858741248 92767 33554432000 4194304 4196468 140733546428208 140219440013552 140219632403606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25034] ppid=24672 vsize=15487052 memory=-7175204567652784766 CPUtime=9.55 cores=0,2,4,6
/proc/24674/task/25034/stat : 25034 (java) R 24672 24672 19836 0 -1 4202560 794 0 0 0 955 0 0 0 20 0 19 0 445768235 15858741248 92767 33554432000 4194304 4196468 140733546428208 140219447374200 140219632135623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25035] ppid=24672 vsize=15487052 memory=371068 CPUtime=9.65 cores=0,2,4,6
/proc/24674/task/25035/stat : 25035 (java) R 24672 24672 19836 0 -1 4202560 507 0 0 0 965 0 0 0 20 0 19 0 445768235 15858741248 92767 33554432000 4194304 4196468 140733546428208 140219441065672 140219631490536 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
Current children cumulated CPU time: 269.48 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 372516 KiB
[startup+68.4054 s]
/proc/loadavg: 8.64 8.52 8.31 11/239 25035
/proc/meminfo: memFree=30268332/32770624 swapFree=66922428/67108860
[pid=24672] ppid=24669 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24672/stat : 24672 (xcsp3-exec) S 24669 24672 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762402 115843072 362 33554432000 4194304 5098028 140723042746448 140723042744552 139882782470780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40210432 140723042755450 140723042755693 140723042755693 140723042758602 0
/proc/24672/statm: 28282 362 304 221 0 87 0
[pid=24674] ppid=24672 vsize=15487052 memory=365424 CPUtime=271.05 cores=0,2,4,6
/proc/24674/stat : 24674 (java) S 24672 24672 19836 0 -1 1077944320 89185 0 0 0 27077 28 0 0 20 0 19 0 445762403 15858741248 91356 33554432000 4194304 4196468 140733546428208 140733546410752 140219996471031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
/proc/24674/statm: 3871763 91356 3532 1 0 3832863 0
[pid=24674/tid=24675] ppid=24672 vsize=15487052 memory=1560 CPUtime=0.75 cores=0,2,4,6
/proc/24674/task/24675/stat : 24675 (java) S 24672 24672 19836 0 -1 1077944384 10481 0 0 0 70 5 0 0 20 0 19 0 445762403 15858741248 91356 33554432000 4194304 4196468 140733546428208 140220000711808 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24676] ppid=24672 vsize=15487052 memory=1172 CPUtime=0.1 cores=0,2,4,6
/proc/24674/task/24676/stat : 24676 (java) S 24672 24672 19836 0 -1 1077944384 2119 0 0 0 8 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219949091728 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24677] ppid=24672 vsize=15487052 memory=14008 CPUtime=0.1 cores=0,2,4,6
/proc/24674/task/24677/stat : 24677 (java) S 24672 24672 19836 0 -1 1077944384 2225 0 0 0 8 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219948038928 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24678] ppid=24672 vsize=15487052 memory=14076 CPUtime=0.09 cores=0,2,4,6
/proc/24674/task/24678/stat : 24678 (java) S 24672 24672 19836 0 -1 1077944384 2402 0 0 0 7 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219946986640 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24679] ppid=24672 vsize=15487052 memory=2116 CPUtime=0.09 cores=0,2,4,6
/proc/24674/task/24679/stat : 24679 (java) S 24672 24672 19836 0 -1 1077944384 931 0 0 0 7 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219945933840 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24680] ppid=24672 vsize=15487052 memory=13048 CPUtime=0.02 cores=0,2,4,6
/proc/24674/task/24680/stat : 24680 (java) S 24672 24672 19836 0 -1 1077944384 2180 0 0 0 2 0 0 0 20 0 19 0 445762405 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219465013360 140219996482178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24681] ppid=24672 vsize=15487052 memory=371068 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24681/stat : 24681 (java) S 24672 24672 19836 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445762406 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219463959392 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24682] ppid=24672 vsize=15487052 memory=32752 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24682/stat : 24682 (java) S 24672 24672 19836 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445762406 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219462907008 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24683] ppid=24672 vsize=15487052 memory=988 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24683/stat : 24683 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219461855312 140219996489627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24684] ppid=24672 vsize=15487052 memory=2012 CPUtime=3.83 cores=0,2,4,6
/proc/24674/task/24684/stat : 24684 (java) S 24672 24672 19836 0 -1 1077944384 22534 0 0 0 380 3 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219460803184 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24685] ppid=24672 vsize=15487052 memory=1324 CPUtime=3.97 cores=0,2,4,6
/proc/24674/task/24685/stat : 24685 (java) S 24672 24672 19836 0 -1 1077944384 16959 0 0 0 396 1 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219459750384 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24686] ppid=24672 vsize=15487052 memory=1704 CPUtime=0.93 cores=0,2,4,6
/proc/24674/task/24686/stat : 24686 (java) S 24672 24672 19836 0 -1 1077944384 10253 0 0 0 92 1 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219458698096 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24687] ppid=24672 vsize=15487052 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24687/stat : 24687 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762409 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219457645536 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24688] ppid=24672 vsize=15487052 memory=14076 CPUtime=0.01 cores=0,2,4,6
/proc/24674/task/24688/stat : 24688 (java) S 24672 24672 19836 0 -1 1077944384 1411 0 0 0 0 1 0 0 20 0 19 0 445762409 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219456592304 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25032] ppid=24672 vsize=15487052 memory=2116 CPUtime=10.07 cores=0,2,4,6
/proc/24674/task/25032/stat : 25032 (java) R 24672 24672 19836 0 -1 4202560 260 0 0 0 1007 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219446319576 140219631566395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25033] ppid=24672 vsize=15487052 memory=13048 CPUtime=10 cores=0,2,4,6
/proc/24674/task/25033/stat : 25033 (java) R 24672 24672 19836 0 -1 4202560 786 0 0 0 1000 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219440013520 140219632916618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25034] ppid=24672 vsize=15487052 memory=528 CPUtime=9.94 cores=0,2,4,6
/proc/24674/task/25034/stat : 25034 (java) R 24672 24672 19836 0 -1 4202560 804 0 0 0 994 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219447377296 140219631566427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25035] ppid=24672 vsize=15487052 memory=1560 CPUtime=10.04 cores=0,2,4,6
/proc/24674/task/25035/stat : 25035 (java) R 24672 24672 19836 0 -1 4202560 520 0 0 0 1004 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219441065720 140219633420958 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
Current children cumulated CPU time: 271.05 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 366872 KiB
[startup+68.6074 s]
/proc/loadavg: 8.64 8.52 8.31 11/239 25035
/proc/meminfo: memFree=30268332/32770624 swapFree=66922428/67108860
[pid=24672] ppid=24669 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24672/stat : 24672 (xcsp3-exec) S 24669 24672 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762402 115843072 362 33554432000 4194304 5098028 140723042746448 140723042744552 139882782470780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40210432 140723042755450 140723042755693 140723042755693 140723042758602 0
/proc/24672/statm: 28282 362 304 221 0 87 0
[pid=24674] ppid=24672 vsize=15487052 memory=365424 CPUtime=271.86 cores=0,2,4,6
/proc/24674/stat : 24674 (java) S 24672 24672 19836 0 -1 1077944320 89188 0 0 0 27158 28 0 0 20 0 19 0 445762403 15858741248 91356 33554432000 4194304 4196468 140733546428208 140733546410752 140219996471031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
/proc/24674/statm: 3871763 91356 3532 1 0 3832863 0
[pid=24674/tid=24675] ppid=24672 vsize=15487052 memory=1324 CPUtime=0.75 cores=0,2,4,6
/proc/24674/task/24675/stat : 24675 (java) S 24672 24672 19836 0 -1 1077944384 10481 0 0 0 70 5 0 0 20 0 19 0 445762403 15858741248 91356 33554432000 4194304 4196468 140733546428208 140220000711808 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24676] ppid=24672 vsize=15487052 memory=1704 CPUtime=0.1 cores=0,2,4,6
/proc/24674/task/24676/stat : 24676 (java) S 24672 24672 19836 0 -1 1077944384 2119 0 0 0 8 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219949091728 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24677] ppid=24672 vsize=15487052 memory=5972 CPUtime=0.1 cores=0,2,4,6
/proc/24674/task/24677/stat : 24677 (java) S 24672 24672 19836 0 -1 1077944384 2225 0 0 0 8 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219948038928 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24678] ppid=24672 vsize=15487052 memory=588 CPUtime=0.09 cores=0,2,4,6
/proc/24674/task/24678/stat : 24678 (java) S 24672 24672 19836 0 -1 1077944384 2402 0 0 0 7 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219946986640 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24679] ppid=24672 vsize=15487052 memory=780 CPUtime=0.09 cores=0,2,4,6
/proc/24674/task/24679/stat : 24679 (java) S 24672 24672 19836 0 -1 1077944384 931 0 0 0 7 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219945933840 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24680] ppid=24672 vsize=15487052 memory=1056 CPUtime=0.02 cores=0,2,4,6
/proc/24674/task/24680/stat : 24680 (java) S 24672 24672 19836 0 -1 1077944384 2180 0 0 0 2 0 0 0 20 0 19 0 445762405 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219465013360 140219996482178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24681] ppid=24672 vsize=15487052 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24681/stat : 24681 (java) S 24672 24672 19836 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445762406 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219463959392 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24682] ppid=24672 vsize=15487052 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24682/stat : 24682 (java) S 24672 24672 19836 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445762406 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219462907008 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24683] ppid=24672 vsize=15487052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24683/stat : 24683 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219461855312 140219996489627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24684] ppid=24672 vsize=15487052 memory=2244 CPUtime=3.83 cores=0,2,4,6
/proc/24674/task/24684/stat : 24684 (java) S 24672 24672 19836 0 -1 1077944384 22534 0 0 0 380 3 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219460803184 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24685] ppid=24672 vsize=15487052 memory=371068 CPUtime=3.97 cores=0,2,4,6
/proc/24674/task/24685/stat : 24685 (java) S 24672 24672 19836 0 -1 1077944384 16959 0 0 0 396 1 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219459750384 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24686] ppid=24672 vsize=15487052 memory=1412 CPUtime=0.93 cores=0,2,4,6
/proc/24674/task/24686/stat : 24686 (java) S 24672 24672 19836 0 -1 1077944384 10253 0 0 0 92 1 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219458698096 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24687] ppid=24672 vsize=15487052 memory=280136156647904 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24687/stat : 24687 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762409 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219457645536 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24688] ppid=24672 vsize=15487052 memory=280136156305248 CPUtime=0.01 cores=0,2,4,6
/proc/24674/task/24688/stat : 24688 (java) S 24672 24672 19836 0 -1 1077944384 1411 0 0 0 0 1 0 0 20 0 19 0 445762409 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219456592304 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25032] ppid=24672 vsize=15487052 memory=308948 CPUtime=10.27 cores=0,2,4,6
/proc/24674/task/25032/stat : 25032 (java) R 24672 24672 19836 0 -1 4202560 260 0 0 0 1027 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219446319576 140219631566355 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25033] ppid=24672 vsize=15487052 memory=1580 CPUtime=10.2 cores=0,2,4,6
/proc/24674/task/25033/stat : 25033 (java) R 24672 24672 19836 0 -1 4202560 789 0 0 0 1020 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219440013520 140219631490577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25034] ppid=24672 vsize=15487052 memory=3616 CPUtime=10.14 cores=0,2,4,6
/proc/24674/task/25034/stat : 25034 (java) R 24672 24672 19836 0 -1 4202560 804 0 0 0 1014 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219447377184 140219633420821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25035] ppid=24672 vsize=15487052 memory=6438155977904 CPUtime=10.24 cores=0,2,4,6
/proc/24674/task/25035/stat : 25035 (java) R 24672 24672 19836 0 -1 4202560 520 0 0 0 1024 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219441065720 140219632848176 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
Current children cumulated CPU time: 271.86 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 366872 KiB
[startup+68.7014 s]
/proc/loadavg: 8.64 8.52 8.31 11/239 25035
/proc/meminfo: memFree=30268332/32770624 swapFree=66922428/67108860
[pid=24672] ppid=24669 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24672/stat : 24672 (xcsp3-exec) S 24669 24672 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762402 115843072 362 33554432000 4194304 5098028 140723042746448 140723042744552 139882782470780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40210432 140723042755450 140723042755693 140723042755693 140723042758602 0
/proc/24672/statm: 28282 362 304 221 0 87 0
[pid=24674] ppid=24672 vsize=15487052 memory=365424 CPUtime=272.23 cores=0,2,4,6
/proc/24674/stat : 24674 (java) S 24672 24672 19836 0 -1 1077944320 89189 0 0 0 27195 28 0 0 20 0 19 0 445762403 15858741248 91356 33554432000 4194304 4196468 140733546428208 140733546410752 140219996471031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
/proc/24674/statm: 3871763 91356 3532 1 0 3832863 0
[pid=24674/tid=24675] ppid=24672 vsize=15487052 memory=371068 CPUtime=0.75 cores=0,2,4,6
/proc/24674/task/24675/stat : 24675 (java) S 24672 24672 19836 0 -1 1077944384 10481 0 0 0 70 5 0 0 20 0 19 0 445762403 15858741248 91356 33554432000 4194304 4196468 140733546428208 140220000711808 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24676] ppid=24672 vsize=15487052 memory=365424 CPUtime=0.1 cores=0,2,4,6
/proc/24674/task/24676/stat : 24676 (java) S 24672 24672 19836 0 -1 1077944384 2119 0 0 0 8 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219949091728 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24677] ppid=24672 vsize=15487052 memory=1448 CPUtime=0.1 cores=0,2,4,6
/proc/24674/task/24677/stat : 24677 (java) S 24672 24672 19836 0 -1 1077944384 2225 0 0 0 8 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219948038928 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24678] ppid=24672 vsize=15487052 memory=371068 CPUtime=0.09 cores=0,2,4,6
/proc/24674/task/24678/stat : 24678 (java) S 24672 24672 19836 0 -1 1077944384 2402 0 0 0 7 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219946986640 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24679] ppid=24672 vsize=15487052 memory=1448 CPUtime=0.09 cores=0,2,4,6
/proc/24674/task/24679/stat : 24679 (java) S 24672 24672 19836 0 -1 1077944384 931 0 0 0 7 2 0 0 20 0 19 0 445762404 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219945933840 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24680] ppid=24672 vsize=15487052 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/24674/task/24680/stat : 24680 (java) S 24672 24672 19836 0 -1 1077944384 2180 0 0 0 2 0 0 0 20 0 19 0 445762405 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219465013360 140219996482178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24681] ppid=24672 vsize=15487052 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24681/stat : 24681 (java) S 24672 24672 19836 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445762406 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219463959392 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24682] ppid=24672 vsize=15487052 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24682/stat : 24682 (java) S 24672 24672 19836 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445762406 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219462907008 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24683] ppid=24672 vsize=15487052 memory=365408 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24683/stat : 24683 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219461855312 140219996489627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24684] ppid=24672 vsize=15487052 memory=1448 CPUtime=3.83 cores=0,2,4,6
/proc/24674/task/24684/stat : 24684 (java) S 24672 24672 19836 0 -1 1077944384 22534 0 0 0 380 3 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219460803184 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24685] ppid=24672 vsize=15487052 memory=1448 CPUtime=3.97 cores=0,2,4,6
/proc/24674/task/24685/stat : 24685 (java) S 24672 24672 19836 0 -1 1077944384 16959 0 0 0 396 1 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219459750384 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24686] ppid=24672 vsize=15487052 memory=1448 CPUtime=0.93 cores=0,2,4,6
/proc/24674/task/24686/stat : 24686 (java) S 24672 24672 19836 0 -1 1077944384 10253 0 0 0 92 1 0 0 20 0 19 0 445762408 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219458698096 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24687] ppid=24672 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24674/task/24687/stat : 24687 (java) S 24672 24672 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762409 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219457645536 140219996481237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=24688] ppid=24672 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24674/task/24688/stat : 24688 (java) S 24672 24672 19836 0 -1 1077944384 1411 0 0 0 0 1 0 0 20 0 19 0 445762409 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219456592304 140219996482178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25032] ppid=24672 vsize=15487052 memory=371068 CPUtime=10.37 cores=0,2,4,6
/proc/24674/task/25032/stat : 25032 (java) R 24672 24672 19836 0 -1 4202560 260 0 0 0 1037 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219446319576 140219633222787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25033] ppid=24672 vsize=15487052 memory=1448 CPUtime=10.29 cores=0,2,4,6
/proc/24674/task/25033/stat : 25033 (java) R 24672 24672 19836 0 -1 4202560 789 0 0 0 1029 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219440013408 140219631566821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25034] ppid=24672 vsize=15487052 memory=1448 CPUtime=10.24 cores=0,2,4,6
/proc/24674/task/25034/stat : 25034 (java) R 24672 24672 19836 0 -1 4202560 805 0 0 0 1024 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219447377184 140219631486208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
[pid=24674/tid=25035] ppid=24672 vsize=15487052 memory=371068 CPUtime=10.34 cores=0,2,4,6
/proc/24674/task/25035/stat : 25035 (java) R 24672 24672 19836 0 -1 4202560 520 0 0 0 1034 0 0 0 20 0 19 0 445768235 15858741248 91356 33554432000 4194304 4196468 140733546428208 140219441065720 140219631566927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28102656 140733546435567 140733546435738 140733546435738 140733546438607 0
Current children cumulated CPU time: 272.23 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 366872 KiB
Child status: 0
Real time (s): 68.7738
CPU time (s): 272.508
CPU user time (s): 272.215
CPU system time (s): 0.293229
CPU usage (%): 396.238
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 379692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 272.215
system time used= 0.293229
maximum resident set size= 385920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5345
involuntary context switches= 5300
# summary of solver processes directly reported to runsolver:
# pid: 24672
# total CPU time (s): 272.508
# total CPU user time (s): 272.215
# total CPU system time (s): 0.293229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.427924 second user time and 0.776232 second system time
The end