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 (6831 MiB free)
memory of node 1: 16384 MiB (3950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403811-1568991413/watcher-4403811-1568991413 -o /var/tmp/evaluation-result-4403811-1568991413/solver-4403811-1568991413 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3665 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 495295221 HOME/instance-4403811-1568991413.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=4024, runsolver pid=4021
[startup+0.100173 s]*
/proc/loadavg: 3.52 1.51 1.32 7/233 4040
/proc/meminfo: memFree=11024248/32770624 swapFree=66935844/67108860
[pid=4024] ppid=4021 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (xcsp3-exec) S 4021 4024 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055130 115843072 363 33554432000 4194304 5098028 140723978084704 140723978082808 140530050429564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19296256 140723978093399 140723978093657 140723978093657 140723978096582 0
/proc/4024/statm: 28282 363 304 221 0 87 0
[pid=4026] ppid=4024 vsize=15144776 memory=29068 CPUtime=0.13 cores=0,2,4,6
/proc/4026/stat : 4026 (java) S 4024 4024 3634 0 -1 1077944320 5739 0 0 0 11 2 0 0 20 0 15 0 475055130 15508250624 7267 33554432000 4194304 4196468 140724904171408 140724904153952 139689512910583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
/proc/4026/statm: 3786194 7267 3119 1 0 3748377 0
[pid=4026/tid=4027] ppid=4024 vsize=15144776 memory=8332685839520994139 CPUtime=0.09 cores=0,2,4,6
/proc/4026/task/4027/stat : 4027 (java) R 4024 4024 3634 0 -1 4202560 3692 0 0 0 8 1 0 0 20 0 15 0 475055130 15508250624 7267 33554432000 4194304 4196468 140724904171408 139689517134992 139689512931930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4028] ppid=4024 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4028/stat : 4028 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15508250624 7267 33554432000 4194304 4196468 140724904171408 139689465531280 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4029] ppid=4024 vsize=15144776 memory=140297284331136 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4029/stat : 4029 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15508250624 7267 33554432000 4194304 4196468 140724904171408 139689464478480 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4030] ppid=4024 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4030/stat : 4030 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15508250624 7267 33554432000 4194304 4196468 140724904171408 139689463426192 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4031] ppid=4024 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4031/stat : 4031 (java) S 4024 4024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055131 15508250624 7267 33554432000 4194304 4196468 140724904171408 139689462373392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4032] ppid=4024 vsize=15144776 memory=140297284331136 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4032/stat : 4032 (java) S 4024 4024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055133 15508250624 7267 33554432000 4194304 4196468 140724904171408 139689048717424 139689512921730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4033] ppid=4024 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4033/stat : 4033 (java) S 4024 4024 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475055133 15508250624 7267 33554432000 4194304 4196468 140724904171408 139689047663392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4034] ppid=4024 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4034/stat : 4034 (java) S 4024 4024 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475055133 15508250624 7267 33554432000 4194304 4196468 140724904171408 139688979457136 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4035] ppid=4024 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4035/stat : 4035 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055136 15508250624 7267 33554432000 4194304 4196468 140724904171408 139688978405456 139689512929179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4036] ppid=4024 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4036/stat : 4036 (java) R 4024 4024 3634 0 -1 4202560 312 0 0 0 0 0 0 0 20 0 15 0 475055136 15508250624 7267 33554432000 4194304 4196468 140724904171408 139688977353328 139689498328528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4037] ppid=4024 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4037/stat : 4037 (java) R 4024 4024 3634 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475055136 15508250624 7267 33554432000 4194304 4196468 140724904171408 139688976300528 139689512921730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4038] ppid=4024 vsize=15144776 memory=140297284331136 CPUtime=0.02 cores=0,2,4,6
/proc/4026/task/4038/stat : 4038 (java) R 4024 4024 3634 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 475055136 15508250624 7267 33554432000 4194304 4196468 140724904171408 139688975248240 139689512922518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4039] ppid=4024 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4039/stat : 4039 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055136 15508250624 7267 33554432000 4194304 4196468 140724904171408 139688974195680 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4040] ppid=4024 vsize=15144776 memory=140297284331136 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4040/stat : 4040 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055136 15508250624 7267 33554432000 4194304 4196468 140724904171408 139688973142448 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30520 KiB
[startup+0.210664 s]*
/proc/loadavg: 3.52 1.51 1.32 7/233 4040
/proc/meminfo: memFree=11010116/32770624 swapFree=66935844/67108860
[pid=4024] ppid=4021 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (xcsp3-exec) S 4021 4024 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055130 115843072 363 33554432000 4194304 5098028 140723978084704 140723978082808 140530050429564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19296256 140723978093399 140723978093657 140723978093657 140723978096582 0
/proc/4024/statm: 28282 363 304 221 0 87 0
[pid=4026] ppid=4024 vsize=15144776 memory=40948 CPUtime=0.33 cores=0,2,4,6
/proc/4026/stat : 4026 (java) S 4024 4024 3634 0 -1 1077944320 9482 0 0 0 30 3 0 0 20 0 15 0 475055130 15508250624 10237 33554432000 4194304 4196468 140724904171408 140724904153952 139689512910583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
/proc/4026/statm: 3786194 10237 3313 1 0 3748377 0
[pid=4026/tid=4027] ppid=4024 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4026/task/4027/stat : 4027 (java) R 4024 4024 3634 0 -1 4202560 6612 0 0 0 17 3 0 0 20 0 15 0 475055130 15508250624 10237 33554432000 4194304 4196468 140724904171408 139689517144144 139689512922518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4028] ppid=4024 vsize=15144776 memory=8956 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4028/stat : 4028 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15508250624 10237 33554432000 4194304 4196468 140724904171408 139689465531280 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4029] ppid=4024 vsize=15144776 memory=3905381505770170016 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4029/stat : 4029 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15508250624 10237 33554432000 4194304 4196468 140724904171408 139689464478480 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4030] ppid=4024 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4030/stat : 4030 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15508250624 10237 33554432000 4194304 4196468 140724904171408 139689463426192 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4031] ppid=4024 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4031/stat : 4031 (java) S 4024 4024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055131 15508250624 10237 33554432000 4194304 4196468 140724904171408 139689462373392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4032] ppid=4024 vsize=15144776 memory=140297284331136 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4032/stat : 4032 (java) S 4024 4024 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475055133 15508250624 10237 33554432000 4194304 4196468 140724904171408 139689048717424 139689512921730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4033] ppid=4024 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4033/stat : 4033 (java) S 4024 4024 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475055133 15508250624 10237 33554432000 4194304 4196468 140724904171408 139689047663392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4034] ppid=4024 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4034/stat : 4034 (java) S 4024 4024 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475055133 15508250624 10237 33554432000 4194304 4196468 140724904171408 139688979457136 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4035] ppid=4024 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4035/stat : 4035 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055136 15508250624 10237 33554432000 4194304 4196468 140724904171408 139688978405456 139689512929179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4036] ppid=4024 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4036/stat : 4036 (java) S 4024 4024 3634 0 -1 1077944384 670 0 0 0 3 0 0 0 20 0 15 0 475055136 15508250624 10237 33554432000 4194304 4196468 140724904171408 139688977353328 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4037] ppid=4024 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4026/task/4037/stat : 4037 (java) S 4024 4024 3634 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 15 0 475055136 15508250624 10237 33554432000 4194304 4196468 140724904171408 139688976300528 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4038] ppid=4024 vsize=15144776 memory=140297284331136 CPUtime=0.08 cores=0,2,4,6
/proc/4026/task/4038/stat : 4038 (java) R 4024 4024 3634 0 -1 4202560 724 0 0 0 8 0 0 0 20 0 15 0 475055136 15508250624 10237 33554432000 4194304 4196468 140724904171408 139688975248240 139689498076238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4039] ppid=4024 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4039/stat : 4039 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055136 15508250624 10237 33554432000 4194304 4196468 140724904171408 139688974195680 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4040] ppid=4024 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4040/stat : 4040 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055136 15508250624 10237 33554432000 4194304 4196468 140724904171408 139688973142448 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42400 KiB
[startup+0.310532 s]*
/proc/loadavg: 3.52 1.51 1.32 7/234 4043
/proc/meminfo: memFree=11004656/32770624 swapFree=66935844/67108860
[pid=4024] ppid=4021 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (xcsp3-exec) S 4021 4024 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055130 115843072 363 33554432000 4194304 5098028 140723978084704 140723978082808 140530050429564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19296256 140723978093399 140723978093657 140723978093657 140723978096582 0
/proc/4024/statm: 28282 363 304 221 0 87 0
[pid=4026] ppid=4024 vsize=15149032 memory=49392 CPUtime=0.52 cores=0,2,4,6
/proc/4026/stat : 4026 (java) S 4024 4024 3634 0 -1 1077944320 10675 0 0 0 47 5 0 0 20 0 15 0 475055130 15512608768 12348 33554432000 4194304 4196468 140724904171408 140724904153952 139689512910583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
/proc/4026/statm: 3787258 12348 3348 1 0 3748377 0
[pid=4026/tid=4027] ppid=4024 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/4026/task/4027/stat : 4027 (java) R 4024 4024 3634 0 -1 4202560 7733 0 0 0 26 4 0 0 20 0 15 0 475055130 15512608768 12348 33554432000 4194304 4196468 140724904171408 139689517141696 139689496991070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4028] ppid=4024 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4028/stat : 4028 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15512608768 12348 33554432000 4194304 4196468 140724904171408 139689465531280 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4029] ppid=4024 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4029/stat : 4029 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15512608768 12348 33554432000 4194304 4196468 140724904171408 139689464478480 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4030] ppid=4024 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4030/stat : 4030 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15512608768 12348 33554432000 4194304 4196468 140724904171408 139689463426192 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4031] ppid=4024 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4031/stat : 4031 (java) S 4024 4024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055131 15512608768 12348 33554432000 4194304 4196468 140724904171408 139689462373392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4032] ppid=4024 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4032/stat : 4032 (java) S 4024 4024 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475055133 15512608768 12348 33554432000 4194304 4196468 140724904171408 139689048717424 139689512921730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4033] ppid=4024 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4033/stat : 4033 (java) S 4024 4024 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475055133 15512608768 12348 33554432000 4194304 4196468 140724904171408 139689047663392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4034] ppid=4024 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4034/stat : 4034 (java) S 4024 4024 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475055133 15512608768 12348 33554432000 4194304 4196468 140724904171408 139688979457136 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4035] ppid=4024 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4035/stat : 4035 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055136 15512608768 12348 33554432000 4194304 4196468 140724904171408 139688978405456 139689512929179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4036] ppid=4024 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/4026/task/4036/stat : 4036 (java) S 4024 4024 3634 0 -1 1077944384 684 0 0 0 4 0 0 0 20 0 15 0 475055136 15512608768 12348 33554432000 4194304 4196468 140724904171408 139688977353328 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4037] ppid=4024 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4037/stat : 4037 (java) S 4024 4024 3634 0 -1 1077944384 177 0 0 0 3 0 0 0 20 0 15 0 475055136 15512608768 12348 33554432000 4194304 4196468 140724904171408 139688976300528 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4038] ppid=4024 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4026/task/4038/stat : 4038 (java) S 4024 4024 3634 0 -1 1077944384 791 0 0 0 13 0 0 0 20 0 15 0 475055136 15512608768 12348 33554432000 4194304 4196468 140724904171408 139688975248240 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4039] ppid=4024 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4039/stat : 4039 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055136 15512608768 12348 33554432000 4194304 4196468 140724904171408 139688974195680 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4040] ppid=4024 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4040/stat : 4040 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055136 15512608768 12348 33554432000 4194304 4196468 140724904171408 139688973142448 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50844 KiB
[startup+0.702196 s]
/proc/loadavg: 3.52 1.51 1.32 8/234 4043
/proc/meminfo: memFree=10975860/32770624 swapFree=66935844/67108860
[pid=4024] ppid=4021 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (xcsp3-exec) S 4021 4024 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055130 115843072 363 33554432000 4194304 5098028 140723978084704 140723978082808 140530050429564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19296256 140723978093399 140723978093657 140723978093657 140723978096582 0
/proc/4024/statm: 28282 363 304 221 0 87 0
[pid=4026] ppid=4024 vsize=15151156 memory=117888 CPUtime=1.7 cores=0,2,4,6
/proc/4026/stat : 4026 (java) S 4024 4024 3634 0 -1 1077944320 14995 0 0 0 163 7 0 0 20 0 15 0 475055130 15514783744 29472 33554432000 4194304 4196468 140724904171408 140724904153952 139689512910583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
/proc/4026/statm: 3787789 29472 3442 1 0 3748889 0
[pid=4026/tid=4027] ppid=4024 vsize=15151156 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/4026/task/4027/stat : 4027 (java) R 4024 4024 3634 0 -1 1077944384 9145 0 0 0 62 6 0 0 20 0 15 0 475055130 15514783744 29472 33554432000 4194304 4196468 140724904171408 139689517146656 139689512920789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4028] ppid=4024 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4028/stat : 4028 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15514783744 29472 33554432000 4194304 4196468 140724904171408 139689465531280 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4029] ppid=4024 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4029/stat : 4029 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15514783744 29472 33554432000 4194304 4196468 140724904171408 139689464478480 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4030] ppid=4024 vsize=15151156 memory=55768 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4030/stat : 4030 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055131 15514783744 29472 33554432000 4194304 4196468 140724904171408 139689463426192 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4031] ppid=4024 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4031/stat : 4031 (java) S 4024 4024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055131 15514783744 29472 33554432000 4194304 4196468 140724904171408 139689462373392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4032] ppid=4024 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4032/stat : 4032 (java) S 4024 4024 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475055133 15514783744 29472 33554432000 4194304 4196468 140724904171408 139689048717424 139689512921730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4033] ppid=4024 vsize=15151156 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4033/stat : 4033 (java) S 4024 4024 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475055133 15514783744 29472 33554432000 4194304 4196468 140724904171408 139689047663392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4034] ppid=4024 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4034/stat : 4034 (java) S 4024 4024 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475055133 15514783744 29472 33554432000 4194304 4196468 140724904171408 139688979457136 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4035] ppid=4024 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4035/stat : 4035 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055136 15514783744 29472 33554432000 4194304 4196468 140724904171408 139688978405456 139689512929179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4036] ppid=4024 vsize=15151156 memory=6024 CPUtime=0.34 cores=0,2,4,6
/proc/4026/task/4036/stat : 4036 (java) R 4024 4024 3634 0 -1 4202560 1867 0 0 0 34 0 0 0 20 0 15 0 475055136 15514783744 29472 33554432000 4194304 4196468 140724904171408 139688977340080 139689498034184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4037] ppid=4024 vsize=15151156 memory=11416 CPUtime=0.34 cores=0,2,4,6
/proc/4026/task/4037/stat : 4037 (java) R 4024 4024 3634 0 -1 4202560 1111 0 0 0 34 0 0 0 20 0 15 0 475055136 15514783744 29472 33554432000 4194304 4196468 140724904171408 139688976280464 139689494454688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4038] ppid=4024 vsize=15151156 memory=780 CPUtime=0.3 cores=0,2,4,6
/proc/4026/task/4038/stat : 4038 (java) S 4024 4024 3634 0 -1 1077944384 1564 0 0 0 30 0 0 0 20 0 15 0 475055136 15514783744 29472 33554432000 4194304 4196468 140724904171408 139688975248240 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4039] ppid=4024 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4039/stat : 4039 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055136 15514783744 29472 33554432000 4194304 4196468 140724904171408 139688974195680 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4040] ppid=4024 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4040/stat : 4040 (java) S 4024 4024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055136 15514783744 29472 33554432000 4194304 4196468 140724904171408 139688973142448 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 119340 KiB
[startup+1.50649 s]
/proc/loadavg: 3.52 1.51 1.32 8/234 4047
/proc/meminfo: memFree=10874172/32770624 swapFree=66935844/67108860
[pid=4024] ppid=4021 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (xcsp3-exec) S 4021 4024 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055130 115843072 363 33554432000 4194304 5098028 140723978084704 140723978082808 140530050429564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19296256 140723978093399 140723978093657 140723978093657 140723978096582 0
/proc/4024/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/4026/task/4040/stat : 4040 (java) S 4024 4024 3634 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688973142448 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4088] ppid=4024 vsize=15553616 memory=11416 CPUtime=37.75 cores=0,2,4,6
/proc/4026/task/4088/stat : 4088 (java) R 4024 4024 3634 0 -1 4202560 851 0 0 0 3775 0 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688957615208 139689137061450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4089] ppid=4024 vsize=15553616 memory=780 CPUtime=37.9 cores=0,2,4,6
/proc/4026/task/4089/stat : 4089 (java) R 4024 4024 3634 0 -1 4202560 2036 0 0 0 3789 1 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688961827448 139689137061434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4090] ppid=4024 vsize=15553616 memory=776 CPUtime=37.73 cores=0,2,4,6
/proc/4026/task/4090/stat : 4090 (java) R 4024 4024 3634 0 -1 4202560 708 0 0 0 3772 1 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688958669024 139689137061267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4091] ppid=4024 vsize=15553616 memory=1452 CPUtime=37.76 cores=0,2,4,6
/proc/4026/task/4091/stat : 4091 (java) R 4024 4024 3634 0 -1 4202560 1768 0 0 0 3776 0 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688960773976 139689137061221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
Current children cumulated CPU time: 182.64 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 324788 KiB
[startup+47.2015 s]
/proc/loadavg: 6.78 2.64 1.71 9/238 4260
/proc/meminfo: memFree=10798744/32770624 swapFree=66935844/67108860
[pid=4024] ppid=4021 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (xcsp3-exec) S 4021 4024 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055130 115843072 363 33554432000 4194304 5098028 140723978084704 140723978082808 140530050429564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19296256 140723978093399 140723978093657 140723978093657 140723978096582 0
/proc/4024/statm: 28282 363 304 221 0 87 0
[pid=4026] ppid=4024 vsize=15553616 memory=323336 CPUtime=185.82 cores=0,2,4,6
/proc/4026/stat : 4026 (java) S 4024 4024 3634 0 -1 1077944320 52758 0 0 0 18557 25 0 0 20 0 19 0 475055130 15926902784 80834 33554432000 4194304 4196468 140724904171408 140724904153952 139689512910583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
/proc/4026/statm: 3888404 80834 3524 1 0 3849504 0
[pid=4026/tid=4027] ppid=4024 vsize=15553616 memory=2020 CPUtime=1.41 cores=0,2,4,6
/proc/4026/task/4027/stat : 4027 (java) S 4024 4024 3634 0 -1 1077944384 10815 0 0 0 134 7 0 0 20 0 19 0 475055130 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689517151360 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4028] ppid=4024 vsize=15553616 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4028/stat : 4028 (java) S 4024 4024 3634 0 -1 1077944384 199 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689465531280 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4029] ppid=4024 vsize=15553616 memory=55768 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4029/stat : 4029 (java) S 4024 4024 3634 0 -1 1077944384 496 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689464478480 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4030] ppid=4024 vsize=15553616 memory=2020 CPUtime=0.02 cores=0,2,4,6
/proc/4026/task/4030/stat : 4030 (java) S 4024 4024 3634 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689463426192 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4031] ppid=4024 vsize=15553616 memory=988 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4031/stat : 4031 (java) S 4024 4024 3634 0 -1 1077944384 498 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689462373392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4032] ppid=4024 vsize=15553616 memory=1368 CPUtime=0.01 cores=0,2,4,6
/proc/4026/task/4032/stat : 4032 (java) S 4024 4024 3634 0 -1 1077944384 749 0 0 0 1 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689048717424 139689512921730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4033] ppid=4024 vsize=15553616 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4033/stat : 4033 (java) S 4024 4024 3634 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689047663456 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4034] ppid=4024 vsize=15553616 memory=323336 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4034/stat : 4034 (java) S 4024 4024 3634 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688979457152 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4035] ppid=4024 vsize=15553616 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4035/stat : 4035 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688978405456 139689512929179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4036] ppid=4024 vsize=15553616 memory=1560 CPUtime=2.88 cores=0,2,4,6
/proc/4026/task/4036/stat : 4036 (java) S 4024 4024 3634 0 -1 1077944384 14261 0 0 0 286 2 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688977353328 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4037] ppid=4024 vsize=15553616 memory=932 CPUtime=2.74 cores=0,2,4,6
/proc/4026/task/4037/stat : 4037 (java) S 4024 4024 3634 0 -1 1077944384 9167 0 0 0 273 1 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688976300528 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4038] ppid=4024 vsize=15553616 memory=1636 CPUtime=0.84 cores=0,2,4,6
/proc/4026/task/4038/stat : 4038 (java) S 4024 4024 3634 0 -1 1077944384 8392 0 0 0 83 1 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688975248240 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4039] ppid=4024 vsize=15553616 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4039/stat : 4039 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688974195680 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4040] ppid=4024 vsize=15553616 memory=880 CPUtime=0.01 cores=0,2,4,6
/proc/4026/task/4040/stat : 4040 (java) S 4024 4024 3634 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688973142448 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4088] ppid=4024 vsize=15553616 memory=776 CPUtime=38.55 cores=0,2,4,6
/proc/4026/task/4088/stat : 4088 (java) R 4024 4024 3634 0 -1 4202560 851 0 0 0 3855 0 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688957615208 139689137061245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4089] ppid=4024 vsize=15553616 memory=1560 CPUtime=38.7 cores=0,2,4,6
/proc/4026/task/4089/stat : 4089 (java) R 4024 4024 3634 0 -1 4202560 2036 0 0 0 3869 1 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688961827448 139689137062064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4090] ppid=4024 vsize=15553616 memory=3592 CPUtime=38.53 cores=0,2,4,6
/proc/4026/task/4090/stat : 4090 (java) R 4024 4024 3634 0 -1 4202560 708 0 0 0 3852 1 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688958669024 139689137060832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4091] ppid=4024 vsize=15553616 memory=1124 CPUtime=38.55 cores=0,2,4,6
/proc/4026/task/4091/stat : 4091 (java) R 4024 4024 3634 0 -1 4202560 1768 0 0 0 3855 0 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688960773976 139689137061328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
Current children cumulated CPU time: 185.82 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 324788 KiB
[startup+47.4015 s]
/proc/loadavg: 6.78 2.64 1.71 9/238 4260
/proc/meminfo: memFree=10798744/32770624 swapFree=66935844/67108860
[pid=4024] ppid=4021 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (xcsp3-exec) S 4021 4024 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055130 115843072 363 33554432000 4194304 5098028 140723978084704 140723978082808 140530050429564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19296256 140723978093399 140723978093657 140723978093657 140723978096582 0
/proc/4024/statm: 28282 363 304 221 0 87 0
[pid=4026] ppid=4024 vsize=15553616 memory=323336 CPUtime=186.62 cores=0,2,4,6
/proc/4026/stat : 4026 (java) S 4024 4024 3634 0 -1 1077944320 52758 0 0 0 18637 25 0 0 20 0 19 0 475055130 15926902784 80834 33554432000 4194304 4196468 140724904171408 140724904153952 139689512910583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
/proc/4026/statm: 3888404 80834 3524 1 0 3849504 0
[pid=4026/tid=4027] ppid=4024 vsize=15553616 memory=14008 CPUtime=1.41 cores=0,2,4,6
/proc/4026/task/4027/stat : 4027 (java) S 4024 4024 3634 0 -1 1077944384 10815 0 0 0 134 7 0 0 20 0 19 0 475055130 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689517151360 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4028] ppid=4024 vsize=15553616 memory=12040 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4028/stat : 4028 (java) S 4024 4024 3634 0 -1 1077944384 199 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689465531280 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4029] ppid=4024 vsize=15553616 memory=2124 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4029/stat : 4029 (java) S 4024 4024 3634 0 -1 1077944384 496 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689464478480 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4030] ppid=4024 vsize=15553616 memory=29996 CPUtime=0.02 cores=0,2,4,6
/proc/4026/task/4030/stat : 4030 (java) S 4024 4024 3634 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689463426192 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4031] ppid=4024 vsize=15553616 memory=492 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4031/stat : 4031 (java) S 4024 4024 3634 0 -1 1077944384 498 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689462373392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4032] ppid=4024 vsize=15553616 memory=1560 CPUtime=0.01 cores=0,2,4,6
/proc/4026/task/4032/stat : 4032 (java) S 4024 4024 3634 0 -1 1077944384 749 0 0 0 1 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689048717424 139689512921730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4033] ppid=4024 vsize=15553616 memory=932 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4033/stat : 4033 (java) S 4024 4024 3634 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689047663456 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4034] ppid=4024 vsize=15553616 memory=1636 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4034/stat : 4034 (java) S 4024 4024 3634 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688979457152 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4035] ppid=4024 vsize=15553616 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4035/stat : 4035 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688978405456 139689512929179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4036] ppid=4024 vsize=15553616 memory=880 CPUtime=2.88 cores=0,2,4,6
/proc/4026/task/4036/stat : 4036 (java) S 4024 4024 3634 0 -1 1077944384 14261 0 0 0 286 2 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688977353328 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4037] ppid=4024 vsize=15553616 memory=1980 CPUtime=2.74 cores=0,2,4,6
/proc/4026/task/4037/stat : 4037 (java) S 4024 4024 3634 0 -1 1077944384 9167 0 0 0 273 1 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688976300528 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4038] ppid=4024 vsize=15553616 memory=2520 CPUtime=0.84 cores=0,2,4,6
/proc/4026/task/4038/stat : 4038 (java) S 4024 4024 3634 0 -1 1077944384 8392 0 0 0 83 1 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688975248240 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4039] ppid=4024 vsize=15553616 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4039/stat : 4039 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688974195680 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4040] ppid=4024 vsize=15553616 memory=288230583166042426 CPUtime=0.01 cores=0,2,4,6
/proc/4026/task/4040/stat : 4040 (java) S 4024 4024 3634 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688973142448 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4088] ppid=4024 vsize=15553616 memory=13848568834296438 CPUtime=38.75 cores=0,2,4,6
/proc/4026/task/4088/stat : 4088 (java) R 4024 4024 3634 0 -1 4202560 851 0 0 0 3875 0 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688957615208 139689139013892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4089] ppid=4024 vsize=15553616 memory=1452 CPUtime=38.9 cores=0,2,4,6
/proc/4026/task/4089/stat : 4089 (java) R 4024 4024 3634 0 -1 4202560 2036 0 0 0 3889 1 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688961827448 139689138274656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4090] ppid=4024 vsize=15553616 memory=1228 CPUtime=38.73 cores=0,2,4,6
/proc/4026/task/4090/stat : 4090 (java) R 4024 4024 3634 0 -1 4202560 708 0 0 0 3872 1 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688958669024 139689137061087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4091] ppid=4024 vsize=15553616 memory=14008 CPUtime=38.75 cores=0,2,4,6
/proc/4026/task/4091/stat : 4091 (java) R 4024 4024 3634 0 -1 4202560 1768 0 0 0 3875 0 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688960773976 139689137061122 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
Current children cumulated CPU time: 186.62 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 324788 KiB
[startup+47.5015 s]
/proc/loadavg: 6.78 2.64 1.71 9/238 4260
/proc/meminfo: memFree=10798744/32770624 swapFree=66935844/67108860
[pid=4024] ppid=4021 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (xcsp3-exec) S 4021 4024 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055130 115843072 363 33554432000 4194304 5098028 140723978084704 140723978082808 140530050429564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19296256 140723978093399 140723978093657 140723978093657 140723978096582 0
/proc/4024/statm: 28282 363 304 221 0 87 0
[pid=4026] ppid=4024 vsize=15553616 memory=323336 CPUtime=187.02 cores=0,2,4,6
/proc/4026/stat : 4026 (java) S 4024 4024 3634 0 -1 1077944320 52758 0 0 0 18677 25 0 0 20 0 19 0 475055130 15926902784 80834 33554432000 4194304 4196468 140724904171408 140724904153952 139689512910583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
/proc/4026/statm: 3888404 80834 3524 1 0 3849504 0
[pid=4026/tid=4027] ppid=4024 vsize=15553616 memory=323336 CPUtime=1.41 cores=0,2,4,6
/proc/4026/task/4027/stat : 4027 (java) S 4024 4024 3634 0 -1 1077944384 10815 0 0 0 134 7 0 0 20 0 19 0 475055130 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689517151360 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4028] ppid=4024 vsize=15553616 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4028/stat : 4028 (java) S 4024 4024 3634 0 -1 1077944384 199 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689465531280 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4029] ppid=4024 vsize=15553616 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4029/stat : 4029 (java) S 4024 4024 3634 0 -1 1077944384 496 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689464478480 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4030] ppid=4024 vsize=15553616 memory=300716 CPUtime=0.02 cores=0,2,4,6
/proc/4026/task/4030/stat : 4030 (java) S 4024 4024 3634 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689463426192 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4031] ppid=4024 vsize=15553616 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/4026/task/4031/stat : 4031 (java) S 4024 4024 3634 0 -1 1077944384 498 0 0 0 2 1 0 0 20 0 19 0 475055131 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689462373392 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4032] ppid=4024 vsize=15553616 memory=292512 CPUtime=0.01 cores=0,2,4,6
/proc/4026/task/4032/stat : 4032 (java) S 4024 4024 3634 0 -1 1077944384 749 0 0 0 1 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689048717424 139689512921730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4033] ppid=4024 vsize=15553616 memory=280594375470560 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4033/stat : 4033 (java) S 4024 4024 3634 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139689047663456 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4034] ppid=4024 vsize=15553616 memory=7084270341339046464 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4034/stat : 4034 (java) S 4024 4024 3634 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475055133 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688979457152 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4035] ppid=4024 vsize=15553616 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4035/stat : 4035 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688978405456 139689512929179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4036] ppid=4024 vsize=15553616 memory=0 CPUtime=2.88 cores=0,2,4,6
/proc/4026/task/4036/stat : 4036 (java) S 4024 4024 3634 0 -1 1077944384 14261 0 0 0 286 2 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688977353328 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4037] ppid=4024 vsize=15553616 memory=0 CPUtime=2.74 cores=0,2,4,6
/proc/4026/task/4037/stat : 4037 (java) S 4024 4024 3634 0 -1 1077944384 9167 0 0 0 273 1 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688976300528 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4038] ppid=4024 vsize=15553616 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/4026/task/4038/stat : 4038 (java) S 4024 4024 3634 0 -1 1077944384 8392 0 0 0 83 1 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688975248240 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4039] ppid=4024 vsize=15553616 memory=319240 CPUtime=0 cores=0,2,4,6
/proc/4026/task/4039/stat : 4039 (java) S 4024 4024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688974195680 139689512920789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4040] ppid=4024 vsize=15553616 memory=3512 CPUtime=0.01 cores=0,2,4,6
/proc/4026/task/4040/stat : 4040 (java) S 4024 4024 3634 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 19 0 475055136 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688973142448 139689512921730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4088] ppid=4024 vsize=15553616 memory=55768 CPUtime=38.85 cores=0,2,4,6
/proc/4026/task/4088/stat : 4088 (java) R 4024 4024 3634 0 -1 4202560 851 0 0 0 3885 0 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688957615208 139689137226536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4089] ppid=4024 vsize=15553616 memory=8112282956445269571 CPUtime=39 cores=0,2,4,6
/proc/4026/task/4089/stat : 4089 (java) R 4024 4024 3634 0 -1 4202560 2036 0 0 0 3899 1 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688961827448 139689137060435 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4090] ppid=4024 vsize=15553616 memory=288230583166042426 CPUtime=38.83 cores=0,2,4,6
/proc/4026/task/4090/stat : 4090 (java) R 4024 4024 3634 0 -1 4202560 708 0 0 0 3882 1 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688958669024 139689137061172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
[pid=4026/tid=4091] ppid=4024 vsize=15553616 memory=13848568834296438 CPUtime=38.85 cores=0,2,4,6
/proc/4026/task/4091/stat : 4091 (java) R 4024 4024 3634 0 -1 4202560 1768 0 0 0 3885 0 0 0 20 0 19 0 475055958 15926902784 80834 33554432000 4194304 4196468 140724904171408 139688960773976 139689137061434 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37568512 140724904178651 140724904178826 140724904178826 140724904181711 0
Current children cumulated CPU time: 187.02 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 324788 KiB
Child status: 0
Real time (s): 47.5454
CPU time (s): 187.179
CPU user time (s): 186.91
CPU system time (s): 0.268753
CPU usage (%): 393.685
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 324788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.91
system time used= 0.268753
maximum resident set size= 323540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4273
involuntary context switches= 4009
# summary of solver processes directly reported to runsolver:
# pid: 4024
# total CPU time (s): 187.179
# total CPU user time (s): 186.91
# total CPU system time (s): 0.268753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.336264 second user time and 0.558839 second system time
The end