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 (15285 MiB free)
memory of node 1: 16384 MiB (15429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399303-1568698956/watcher-4399303-1568698956 -o /tmp/evaluation-result-4399303-1568698956/solver-4399303-1568698956 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 986426737 HOME/instance-4399303-1568698956.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
solver pid=26673, runsolver pid=26670
Current StackSize limit: 8192 KiB
[startup+0.1004 s]*
/proc/loadavg: 8.68 8.56 8.41 7/233 26689
/proc/meminfo: memFree=31435848/32770624 swapFree=66977068/67108860
[pid=26673] ppid=26670 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26673/stat : 26673 (xcsp3-exec) S 26670 26673 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446158265 115843072 362 33554432000 4194304 5098028 140734625480688 140734625478792 139738813428348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18296832 140734625485691 140734625485933 140734625485933 140734625488842 0
/proc/26673/statm: 28282 362 304 221 0 87 0
[pid=26675] ppid=26673 vsize=15144776 memory=29176 CPUtime=0.13 cores=0,2,4,6
/proc/26675/stat : 26675 (java) S 26673 26673 21506 0 -1 1077944320 5693 0 0 0 12 1 0 0 20 0 15 0 446158265 15508250624 7294 33554432000 4194304 4196468 140723101598528 140723101581072 140258207710967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
/proc/26675/statm: 3786194 7294 3159 1 0 3748377 0
[pid=26675/tid=26676] ppid=26673 vsize=15144776 memory=7682489639022458387 CPUtime=0.08 cores=0,2,4,6
/proc/26675/task/26676/stat : 26676 (java) R 26673 26673 21506 0 -1 4202560 3602 0 0 0 8 0 0 0 20 0 15 0 446158266 15508250624 7294 33554432000 4194304 4196468 140723101598528 140258211946192 140258207722902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26677] ppid=26673 vsize=15144776 memory=3472468142966199504 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26677/stat : 26677 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15508250624 7294 33554432000 4194304 4196468 140723101598528 140258135751440 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26678] ppid=26673 vsize=15144776 memory=140014071047808 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26678/stat : 26678 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15508250624 7294 33554432000 4194304 4196468 140723101598528 140258134698896 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26679] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26679/stat : 26679 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15508250624 7294 33554432000 4194304 4196468 140723101598528 140258133646352 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26680] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26680/stat : 26680 (java) S 26673 26673 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446158266 15508250624 7294 33554432000 4194304 4196468 140723101598528 140258132593808 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26681] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26681/stat : 26681 (java) S 26673 26673 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446158268 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257080797168 140258207722114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26682] ppid=26673 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26682/stat : 26682 (java) S 26673 26673 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446158268 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257079743392 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26683] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26683/stat : 26683 (java) S 26673 26673 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446158268 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257078690800 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26684] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26684/stat : 26684 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446158271 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257077639376 140258207729563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26685] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26685/stat : 26685 (java) S 26673 26673 21506 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 446158271 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257076586992 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26686] ppid=26673 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26686/stat : 26686 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446158271 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257075534448 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26687] ppid=26673 vsize=15144776 memory=140014071047808 CPUtime=0.02 cores=0,2,4,6
/proc/26675/task/26687/stat : 26687 (java) R 26673 26673 21506 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 446158271 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257074481904 140258199952357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26688] ppid=26673 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26688/stat : 26688 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446158271 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257073429600 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26689] ppid=26673 vsize=15144776 memory=140014071047808 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26689/stat : 26689 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158271 15508250624 7294 33554432000 4194304 4196468 140723101598528 140257072376112 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30624 KiB
[startup+0.210645 s]*
/proc/loadavg: 8.68 8.56 8.41 7/233 26689
/proc/meminfo: memFree=31421392/32770624 swapFree=66977068/67108860
[pid=26673] ppid=26670 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26673/stat : 26673 (xcsp3-exec) S 26670 26673 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446158265 115843072 362 33554432000 4194304 5098028 140734625480688 140734625478792 139738813428348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18296832 140734625485691 140734625485933 140734625485933 140734625488842 0
/proc/26673/statm: 28282 362 304 221 0 87 0
[pid=26675] ppid=26673 vsize=15144776 memory=40952 CPUtime=0.35 cores=0,2,4,6
/proc/26675/stat : 26675 (java) S 26673 26673 21506 0 -1 1077944320 9430 0 0 0 32 3 0 0 20 0 15 0 446158265 15508250624 10238 33554432000 4194304 4196468 140723101598528 140723101581072 140258207710967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
/proc/26675/statm: 3786194 10238 3306 1 0 3748377 0
[pid=26675/tid=26676] ppid=26673 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=0,2,4,6
/proc/26675/task/26676/stat : 26676 (java) R 26673 26673 21506 0 -1 4202560 6600 0 0 0 18 2 0 0 20 0 15 0 446158266 15508250624 10238 33554432000 4194304 4196468 140723101598528 140258211944416 140257811109056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26677] ppid=26673 vsize=15144776 memory=3472468142966199504 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26677/stat : 26677 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15508250624 10238 33554432000 4194304 4196468 140723101598528 140258135751440 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26678] ppid=26673 vsize=15144776 memory=140014071047808 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26678/stat : 26678 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15508250624 10238 33554432000 4194304 4196468 140723101598528 140258134698896 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26679] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26679/stat : 26679 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15508250624 10238 33554432000 4194304 4196468 140723101598528 140258133646352 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26680] ppid=26673 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26680/stat : 26680 (java) S 26673 26673 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446158266 15508250624 10238 33554432000 4194304 4196468 140723101598528 140258132593808 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26681] ppid=26673 vsize=15144776 memory=140014071047808 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26681/stat : 26681 (java) S 26673 26673 21506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446158268 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257080797168 140258207722114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26682] ppid=26673 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26682/stat : 26682 (java) S 26673 26673 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446158268 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257079743392 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26683] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26683/stat : 26683 (java) S 26673 26673 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446158268 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257078690800 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26684] ppid=26673 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26684/stat : 26684 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446158271 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257077639376 140258207729563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26685] ppid=26673 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26675/task/26685/stat : 26685 (java) S 26673 26673 21506 0 -1 1077944384 557 0 0 0 3 0 0 0 20 0 15 0 446158271 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257076586992 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26686] ppid=26673 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26675/task/26686/stat : 26686 (java) S 26673 26673 21506 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 15 0 446158271 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257075534448 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26687] ppid=26673 vsize=15144776 memory=140014071047808 CPUtime=0.08 cores=0,2,4,6
/proc/26675/task/26687/stat : 26687 (java) R 26673 26673 21506 0 -1 4202560 795 0 0 0 8 0 0 0 20 0 15 0 446158271 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257074481712 140258199952357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26688] ppid=26673 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26688/stat : 26688 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446158271 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257073429600 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26689] ppid=26673 vsize=15144776 memory=140014071047808 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26689/stat : 26689 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158271 15508250624 10238 33554432000 4194304 4196468 140723101598528 140257072376112 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42400 KiB
[startup+0.3184 s]*
/proc/loadavg: 8.68 8.56 8.41 7/233 26689
/proc/meminfo: memFree=31414616/32770624 swapFree=66977068/67108860
[pid=26673] ppid=26670 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26673/stat : 26673 (xcsp3-exec) S 26670 26673 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446158265 115843072 362 33554432000 4194304 5098028 140734625480688 140734625478792 139738813428348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18296832 140734625485691 140734625485933 140734625485933 140734625488842 0
/proc/26673/statm: 28282 362 304 221 0 87 0
[pid=26675] ppid=26673 vsize=15149032 memory=50216 CPUtime=0.55 cores=0,2,4,6
/proc/26675/stat : 26675 (java) S 26673 26673 21506 0 -1 1077944320 10935 0 0 0 51 4 0 0 20 0 15 0 446158265 15512608768 12554 33554432000 4194304 4196468 140723101598528 140723101581072 140258207710967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
/proc/26675/statm: 3787258 12554 3370 1 0 3748377 0
[pid=26675/tid=26676] ppid=26673 vsize=15149032 memory=-8439527450518781933 CPUtime=0.31 cores=0,2,4,6
/proc/26675/task/26676/stat : 26676 (java) R 26673 26673 21506 0 -1 4202560 7859 0 0 0 28 3 0 0 20 0 15 0 446158266 15512608768 12554 33554432000 4194304 4196468 140723101598528 140258211942080 140258207732893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26677] ppid=26673 vsize=15149032 memory=3472468142966199504 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26677/stat : 26677 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15512608768 12554 33554432000 4194304 4196468 140723101598528 140258135751440 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26678] ppid=26673 vsize=15149032 memory=280027991742848 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26678/stat : 26678 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15512608768 12554 33554432000 4194304 4196468 140723101598528 140258134698896 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26679] ppid=26673 vsize=15149032 memory=280027841422368 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26679/stat : 26679 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158266 15512608768 12554 33554432000 4194304 4196468 140723101598528 140258133646352 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26680] ppid=26673 vsize=15149032 memory=140013920695055 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26680/stat : 26680 (java) S 26673 26673 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446158266 15512608768 12554 33554432000 4194304 4196468 140723101598528 140258132593808 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26681] ppid=26673 vsize=15149032 memory=280027991749760 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26681/stat : 26681 (java) S 26673 26673 21506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446158268 15512608768 12554 33554432000 4194304 4196468 140723101598528 140257080797168 140258207722114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26682] ppid=26673 vsize=15149032 memory=140013920699663 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26682/stat : 26682 (java) S 26673 26673 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446158268 15512608768 12554 33554432000 4194304 4196468 140723101598528 140257079743392 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26683] ppid=26673 vsize=15149032 memory=140013920723506 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26683/stat : 26683 (java) S 26673 26673 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446158268 15512608768 12554 33554432000 4194304 4196468 140723101598528 140257078690800 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26684] ppid=26673 vsize=15149032 memory=140013920730827 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26684/stat : 26684 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446158271 15512608768 12554 33554432000 4194304 4196468 140723101598528 140257077639376 140258207729563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26685] ppid=26673 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/26675/task/26685/stat : 26685 (java) S 26673 26673 21506 0 -1 1077944384 665 0 0 0 6 0 0 0 20 0 15 0 446158271 15512608768 12554 33554432000 4194304 4196468 140723101598528 140257076586992 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26686] ppid=26673 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/26675/task/26686/stat : 26686 (java) S 26673 26673 21506 0 -1 1077944384 214 0 0 0 3 0 0 0 20 0 15 0 446158271 15512608768 12554 33554432000 4194304 4196468 140723101598528 140257075534448 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26687] ppid=26673 vsize=15149032 memory=140014071047808 CPUtime=0.13 cores=0,2,4,6
/proc/26675/task/26687/stat : 26687 (java) S 26673 26673 21506 0 -1 1077944384 893 0 0 0 13 0 0 0 20 0 15 0 446158271 15512608768 12554 33554432000 4194304 4196468 140723101598528 140257074481904 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26688] ppid=26673 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26688/stat : 26688 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446158271 15512608768 12619 33554432000 4194304 4196468 140723101598528 140257073429600 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26689] ppid=26673 vsize=15149032 memory=140014071049256 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26689/stat : 26689 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446158271 15512608768 12619 33554432000 4194304 4196468 140723101598528 140257072376112 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51664 KiB
[startup+0.701285 s]
/proc/loadavg: 8.68 8.56 8.41 9/237 26693
/proc/meminfo: memFree=31389872/32770624 swapFree=66977068/67108860
[pid=26673] ppid=26670 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26673/stat : 26673 (xcsp3-exec) S 26670 26673 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446158265 115843072 362 33554432000 4194304 5098028 140734625480688 140734625478792 139738813428348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18296832 140734625485691 140734625485933 140734625485933 140734625488842 0
/proc/26673/statm: 28282 362 304 221 0 87 0
[pid=26675] ppid=26673 vsize=15418440 memory=137948 CPUtime=1.7 cores=0,2,4,6
/proc/26675/stat : 26675 (java) S 26673 26673 21506 0 -1 1077944320 14909 0 0 0 163 7 0 0 20 0 19 0 446158265 15788482560 34487 33554432000 4194304 4196468 140723101598528 140723101581072 140258207710967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
/proc/26675/statm: 3854610 34487 3465 1 0 3815710 0
[pid=26675/tid=26676] ppid=26673 vsize=15418440 memory=7079774412187127888 CPUtime=0.48 cores=0,2,4,6
/proc/26675/task/26676/stat : 26676 (java) S 26673 26673 21506 0 -1 1077944384 9027 0 0 0 45 3 0 0 20 0 19 0 446158266 15788482560 34487 33554432000 4194304 4196468 140723101598528 140258211951744 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26677] ppid=26673 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26677/stat : 26677 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446158266 15788482560 34487 33554432000 4194304 4196468 140723101598528 140258135751440 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26678] ppid=26673 vsize=15418440 memory=13 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26678/stat : 26678 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446158266 15788482560 34487 33554432000 4194304 4196468 140723101598528 140258134698896 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26679] ppid=26673 vsize=15418440 memory=140013920735437 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26679/stat : 26679 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446158266 15788482560 34487 33554432000 4194304 4196468 140723101598528 140258133646352 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26680] ppid=26673 vsize=15418440 memory=280027841426544 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26680/stat : 26680 (java) S 26673 26673 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446158266 15788482560 34487 33554432000 4194304 4196468 140723101598528 140258132593808 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26681] ppid=26673 vsize=15418440 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26681/stat : 26681 (java) S 26673 26673 21506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 446158268 15788482560 34487 33554432000 4194304 4196468 140723101598528 140257080797168 140258207722114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26682] ppid=26673 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26682/stat : 26682 (java) S 26673 26673 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446158268 15788482560 34487 33554432000 4194304 4196468 140723101598528 140257079743392 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26683] ppid=26673 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26683/stat : 26683 (java) S 26673 26673 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446158268 15788482560 34487 33554432000 4194304 4196468 140723101598528 140257078690800 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26684] ppid=26673 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26684/stat : 26684 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446158271 15788482560 34999 33554432000 4194304 4196468 140723101598528 140257077639376 140258207729563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26685] ppid=26673 vsize=15418440 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/26675/task/26685/stat : 26685 (java) R 26673 26673 21506 0 -1 4202560 1074 0 0 0 27 0 0 0 20 0 19 0 446158271 15788482560 34999 33554432000 4194304 4196468 140723101598528 140257076573728 140258185851313 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26686] ppid=26673 vsize=15418440 memory=128 CPUtime=0.26 cores=0,2,4,6
/proc/26675/task/26686/stat : 26686 (java) R 26673 26673 21506 0 -1 4202560 864 0 0 0 26 0 0 0 20 0 19 0 446158271 15788482560 34999 33554432000 4194304 4196468 140723101598528 140257075520288 140258191237583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26687] ppid=26673 vsize=15418440 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/26675/task/26687/stat : 26687 (java) S 26673 26673 21506 0 -1 1077944384 1876 0 0 0 31 0 0 0 20 0 19 0 446158271 15788482560 34999 33554432000 4194304 4196468 140723101598528 140257074481904 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26688] ppid=26673 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26688/stat : 26688 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446158271 15788482560 34999 33554432000 4194304 4196468 140723101598528 140257073429600 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26689] ppid=26673 vsize=15418440 memory=8174711894690641973 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26689/stat : 26689 (java) S 26673 26673 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446158271 15788482560 34999 33554432000 4194304 4196468 140723101598528 140257072376112 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 139396 KiB
[startup+1.50077 s]
/proc/loadavg: 8.68 8.56 8.41 13/237 26801
/proc/meminfo: memFree=31286740/32770624 swapFree=66977068/67108860
[pid=26673] ppid=26670 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26673/stat : 26673 (xcsp3-exec) S 26670 26673 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446158265 115843072 362 33554432000 4194304 5098028 140734625480688 140734625478792 139738813428348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18296832 140734625485691 140734625485933 140734625485933 140734625488842 0
/proc/26673/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26675/task/26689/stat : 26689 (java) S 26673 26673 21506 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39329 33554432000 4194304 4196468 140723101598528 140257072376112 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26840] ppid=26673 vsize=15483976 memory=155268 CPUtime=14.76 cores=0,2,4,6
/proc/26675/task/26840/stat : 26840 (java) R 26673 26673 21506 0 -1 4202560 237 0 0 0 1476 0 0 0 20 0 19 0 446158591 15855591424 39329 33554432000 4194304 4196468 140723101598528 140257061289720 140257815617824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26841] ppid=26673 vsize=15483976 memory=756 CPUtime=14.75 cores=0,2,4,6
/proc/26675/task/26841/stat : 26841 (java) R 26673 26673 21506 0 -1 4202560 637 0 0 0 1475 0 0 0 20 0 19 0 446158591 15855591424 39329 33554432000 4194304 4196468 140723101598528 140257060237552 140257812017248 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26842] ppid=26673 vsize=15483976 memory=1548 CPUtime=14.72 cores=0,2,4,6
/proc/26675/task/26842/stat : 26842 (java) R 26673 26673 21506 0 -1 4202560 227 0 0 0 1472 0 0 0 20 0 19 0 446158591 15855591424 39329 33554432000 4194304 4196468 140723101598528 140257059185584 140257814737351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26843] ppid=26673 vsize=15483976 memory=7872 CPUtime=14.8 cores=0,2,4,6
/proc/26675/task/26843/stat : 26843 (java) R 26673 26673 21506 0 -1 4202560 353 0 0 0 1480 0 0 0 20 0 19 0 446158591 15855591424 39329 33554432000 4194304 4196468 140723101598528 140257062344304 140257814737284 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
Current children cumulated CPU time: 71.21 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 158764 KiB
[startup+19.2014 s]
/proc/loadavg: 8.59 8.55 8.41 9/237 26843
/proc/meminfo: memFree=31246348/32770624 swapFree=66977068/67108860
[pid=26673] ppid=26670 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26673/stat : 26673 (xcsp3-exec) S 26670 26673 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446158265 115843072 362 33554432000 4194304 5098028 140734625480688 140734625478792 139738813428348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18296832 140734625485691 140734625485933 140734625485933 140734625488842 0
/proc/26673/statm: 28282 362 304 221 0 87 0
[pid=26675] ppid=26673 vsize=15483976 memory=157460 CPUtime=74.33 cores=0,2,4,6
/proc/26675/stat : 26675 (java) S 26673 26673 21506 0 -1 1077944320 27013 0 0 0 7418 15 0 0 20 0 19 0 446158265 15855591424 39365 33554432000 4194304 4196468 140723101598528 140723101581072 140258207710967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
/proc/26675/statm: 3870994 39365 3506 1 0 3832094 0
[pid=26675/tid=26676] ppid=26673 vsize=15483976 memory=157760 CPUtime=0.49 cores=0,2,4,6
/proc/26675/task/26676/stat : 26676 (java) S 26673 26673 21506 0 -1 1077944384 9028 0 0 0 46 3 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258211951744 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26677] ppid=26673 vsize=15483976 memory=8836 CPUtime=0.04 cores=0,2,4,6
/proc/26675/task/26677/stat : 26677 (java) S 26673 26673 21506 0 -1 1077944384 337 0 0 0 3 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258135751440 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26678] ppid=26673 vsize=15483976 memory=11044 CPUtime=0.04 cores=0,2,4,6
/proc/26675/task/26678/stat : 26678 (java) S 26673 26673 21506 0 -1 1077944384 352 0 0 0 4 0 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258134698896 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26679] ppid=26673 vsize=15483976 memory=280027841813280 CPUtime=0.04 cores=0,2,4,6
/proc/26675/task/26679/stat : 26679 (java) S 26673 26673 21506 0 -1 1077944384 569 0 0 0 3 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258133646352 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26680] ppid=26673 vsize=15483976 memory=-3621219715169225006 CPUtime=0.04 cores=0,2,4,6
/proc/26675/task/26680/stat : 26680 (java) S 26673 26673 21506 0 -1 1077944384 698 0 0 0 3 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258132593808 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26681] ppid=26673 vsize=15483976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/26675/task/26681/stat : 26681 (java) S 26673 26673 21506 0 -1 1077944384 772 0 0 0 4 2 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257080797168 140258207722114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26682] ppid=26673 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26682/stat : 26682 (java) S 26673 26673 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257079743456 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26683] ppid=26673 vsize=15483976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26683/stat : 26683 (java) S 26673 26673 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257078690816 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26684] ppid=26673 vsize=15483976 memory=920 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26684/stat : 26684 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257077639376 140258207729563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26685] ppid=26673 vsize=15483976 memory=3848 CPUtime=0.92 cores=0,2,4,6
/proc/26675/task/26685/stat : 26685 (java) S 26673 26673 21506 0 -1 1077944384 3689 0 0 0 92 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257076586992 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26686] ppid=26673 vsize=15483976 memory=2700 CPUtime=0.9 cores=0,2,4,6
/proc/26675/task/26686/stat : 26686 (java) S 26673 26673 21506 0 -1 1077944384 2653 0 0 0 90 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257075534448 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26687] ppid=26673 vsize=15483976 memory=2596 CPUtime=0.4 cores=0,2,4,6
/proc/26675/task/26687/stat : 26687 (java) S 26673 26673 21506 0 -1 1077944384 2684 0 0 0 40 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257074481904 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26688] ppid=26673 vsize=15483976 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26688/stat : 26688 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257073429600 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26689] ppid=26673 vsize=15483976 memory=155268 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26689/stat : 26689 (java) S 26673 26673 21506 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257072376112 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26840] ppid=26673 vsize=15483976 memory=2828 CPUtime=15.54 cores=0,2,4,6
/proc/26675/task/26840/stat : 26840 (java) R 26673 26673 21506 0 -1 4202560 301 0 0 0 1554 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257061289216 140257814738462 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26841] ppid=26673 vsize=15483976 memory=756 CPUtime=15.53 cores=0,2,4,6
/proc/26675/task/26841/stat : 26841 (java) R 26673 26673 21506 0 -1 4202560 739 0 0 0 1553 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257060237984 140257814609368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26842] ppid=26673 vsize=15483976 memory=1548 CPUtime=15.48 cores=0,2,4,6
/proc/26675/task/26842/stat : 26842 (java) R 26673 26673 21506 0 -1 4202560 304 0 0 0 1548 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257059185720 140257814737946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26843] ppid=26673 vsize=15483976 memory=1 CPUtime=15.57 cores=0,2,4,6
/proc/26675/task/26843/stat : 26843 (java) R 26673 26673 21506 0 -1 4202560 442 0 0 0 1557 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257062344304 140257815987552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
Current children cumulated CPU time: 74.33 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 158908 KiB
[startup+19.4014 s]
/proc/loadavg: 8.59 8.55 8.41 9/237 26843
/proc/meminfo: memFree=31246348/32770624 swapFree=66977068/67108860
[pid=26673] ppid=26670 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26673/stat : 26673 (xcsp3-exec) S 26670 26673 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446158265 115843072 362 33554432000 4194304 5098028 140734625480688 140734625478792 139738813428348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18296832 140734625485691 140734625485933 140734625485933 140734625488842 0
/proc/26673/statm: 28282 362 304 221 0 87 0
[pid=26675] ppid=26673 vsize=15483976 memory=157460 CPUtime=75.1 cores=0,2,4,6
/proc/26675/stat : 26675 (java) S 26673 26673 21506 0 -1 1077944320 27026 0 0 0 7495 15 0 0 20 0 19 0 446158265 15855591424 39365 33554432000 4194304 4196468 140723101598528 140723101581072 140258207710967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
/proc/26675/statm: 3870994 39365 3506 1 0 3832094 0
[pid=26675/tid=26676] ppid=26673 vsize=15483976 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/26675/task/26676/stat : 26676 (java) S 26673 26673 21506 0 -1 1077944384 9028 0 0 0 46 3 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258211951744 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26677] ppid=26673 vsize=15483976 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26675/task/26677/stat : 26677 (java) S 26673 26673 21506 0 -1 1077944384 341 0 0 0 3 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258135751440 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26678] ppid=26673 vsize=15483976 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/26675/task/26678/stat : 26678 (java) S 26673 26673 21506 0 -1 1077944384 352 0 0 0 4 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258134698896 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26679] ppid=26673 vsize=15483976 memory=192332 CPUtime=0.05 cores=0,2,4,6
/proc/26675/task/26679/stat : 26679 (java) S 26673 26673 21506 0 -1 1077944384 572 0 0 0 4 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258133646352 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26680] ppid=26673 vsize=15483976 memory=-3831251742559211316 CPUtime=0.05 cores=0,2,4,6
/proc/26675/task/26680/stat : 26680 (java) S 26673 26673 21506 0 -1 1077944384 698 0 0 0 4 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258132593808 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26681] ppid=26673 vsize=15483976 memory=-3123010188551861097 CPUtime=0.06 cores=0,2,4,6
/proc/26675/task/26681/stat : 26681 (java) S 26673 26673 21506 0 -1 1077944384 772 0 0 0 4 2 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257080797168 140258207722114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26682] ppid=26673 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26682/stat : 26682 (java) S 26673 26673 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257079743456 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26683] ppid=26673 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26683/stat : 26683 (java) S 26673 26673 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257078690816 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26684] ppid=26673 vsize=15483976 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26684/stat : 26684 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257077639376 140258207729563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26685] ppid=26673 vsize=15483976 memory=192504 CPUtime=0.92 cores=0,2,4,6
/proc/26675/task/26685/stat : 26685 (java) S 26673 26673 21506 0 -1 1077944384 3689 0 0 0 92 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257076586992 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26686] ppid=26673 vsize=15483976 memory=904 CPUtime=0.9 cores=0,2,4,6
/proc/26675/task/26686/stat : 26686 (java) S 26673 26673 21506 0 -1 1077944384 2653 0 0 0 90 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257075534448 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26687] ppid=26673 vsize=15483976 memory=1984 CPUtime=0.4 cores=0,2,4,6
/proc/26675/task/26687/stat : 26687 (java) S 26673 26673 21506 0 -1 1077944384 2684 0 0 0 40 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257074481904 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26688] ppid=26673 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26688/stat : 26688 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257073429600 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26689] ppid=26673 vsize=15483976 memory=140013920900784 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26689/stat : 26689 (java) S 26673 26673 21506 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257072376112 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26840] ppid=26673 vsize=15483976 memory=1448 CPUtime=15.74 cores=0,2,4,6
/proc/26675/task/26840/stat : 26840 (java) R 26673 26673 21506 0 -1 4202560 302 0 0 0 1574 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257061289584 140257812124294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26841] ppid=26673 vsize=15483976 memory=157440 CPUtime=15.72 cores=0,2,4,6
/proc/26675/task/26841/stat : 26841 (java) R 26673 26673 21506 0 -1 4202560 741 0 0 0 1572 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257060239728 140257814737248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26842] ppid=26673 vsize=15483976 memory=140013920885937 CPUtime=15.67 cores=0,2,4,6
/proc/26675/task/26842/stat : 26842 (java) R 26673 26673 21506 0 -1 4202560 305 0 0 0 1567 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257059185584 140258187421408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26843] ppid=26673 vsize=15483976 memory=280027841476736 CPUtime=15.76 cores=0,2,4,6
/proc/26675/task/26843/stat : 26843 (java) R 26673 26673 21506 0 -1 4202560 444 0 0 0 1576 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257062341664 140257815563077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
Current children cumulated CPU time: 75.1 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 158908 KiB
[startup+19.5014 s]
/proc/loadavg: 8.59 8.55 8.41 9/237 26843
/proc/meminfo: memFree=31246348/32770624 swapFree=66977068/67108860
[pid=26673] ppid=26670 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26673/stat : 26673 (xcsp3-exec) S 26670 26673 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446158265 115843072 362 33554432000 4194304 5098028 140734625480688 140734625478792 139738813428348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18296832 140734625485691 140734625485933 140734625485933 140734625488842 0
/proc/26673/statm: 28282 362 304 221 0 87 0
[pid=26675] ppid=26673 vsize=15483976 memory=157460 CPUtime=75.49 cores=0,2,4,6
/proc/26675/stat : 26675 (java) S 26673 26673 21506 0 -1 1077944320 27028 0 0 0 7534 15 0 0 20 0 19 0 446158265 15855591424 39365 33554432000 4194304 4196468 140723101598528 140723101581072 140258207710967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
/proc/26675/statm: 3870994 39365 3506 1 0 3832094 0
[pid=26675/tid=26676] ppid=26673 vsize=15483976 memory=1448 CPUtime=0.49 cores=0,2,4,6
/proc/26675/task/26676/stat : 26676 (java) S 26673 26673 21506 0 -1 1077944384 9028 0 0 0 46 3 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258211951744 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26677] ppid=26673 vsize=15483976 memory=155268 CPUtime=0.04 cores=0,2,4,6
/proc/26675/task/26677/stat : 26677 (java) S 26673 26673 21506 0 -1 1077944384 342 0 0 0 3 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258135751440 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26678] ppid=26673 vsize=15483976 memory=155268 CPUtime=0.05 cores=0,2,4,6
/proc/26675/task/26678/stat : 26678 (java) S 26673 26673 21506 0 -1 1077944384 352 0 0 0 4 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258134698896 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26679] ppid=26673 vsize=15483976 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/26675/task/26679/stat : 26679 (java) S 26673 26673 21506 0 -1 1077944384 572 0 0 0 4 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258133646352 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26680] ppid=26673 vsize=15483976 memory=175640 CPUtime=0.05 cores=0,2,4,6
/proc/26675/task/26680/stat : 26680 (java) S 26673 26673 21506 0 -1 1077944384 698 0 0 0 4 1 0 0 20 0 19 0 446158266 15855591424 39365 33554432000 4194304 4196468 140723101598528 140258132593808 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26681] ppid=26673 vsize=15483976 memory=2110364527994132 CPUtime=0.06 cores=0,2,4,6
/proc/26675/task/26681/stat : 26681 (java) S 26673 26673 21506 0 -1 1077944384 772 0 0 0 4 2 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257080797168 140258207722114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26682] ppid=26673 vsize=15483976 memory=15954408895 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26682/stat : 26682 (java) S 26673 26673 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257079743456 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26683] ppid=26673 vsize=15483976 memory=56 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26683/stat : 26683 (java) S 26673 26673 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446158268 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257078690816 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26684] ppid=26673 vsize=15483976 memory=6947473472644276846 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26684/stat : 26684 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257077639376 140258207729563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26685] ppid=26673 vsize=15483976 memory=1448 CPUtime=0.92 cores=0,2,4,6
/proc/26675/task/26685/stat : 26685 (java) S 26673 26673 21506 0 -1 1077944384 3689 0 0 0 92 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257076586992 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26686] ppid=26673 vsize=15483976 memory=3620 CPUtime=0.9 cores=0,2,4,6
/proc/26675/task/26686/stat : 26686 (java) S 26673 26673 21506 0 -1 1077944384 2653 0 0 0 90 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257075534448 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26687] ppid=26673 vsize=15483976 memory=1448 CPUtime=0.4 cores=0,2,4,6
/proc/26675/task/26687/stat : 26687 (java) S 26673 26673 21506 0 -1 1077944384 2684 0 0 0 40 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257074481904 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26688] ppid=26673 vsize=15483976 memory=155268 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26688/stat : 26688 (java) S 26673 26673 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257073429600 140258207721173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26689] ppid=26673 vsize=15483976 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/26675/task/26689/stat : 26689 (java) S 26673 26673 21506 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 19 0 446158271 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257072376112 140258207722114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26840] ppid=26673 vsize=15483976 memory=1580 CPUtime=15.84 cores=0,2,4,6
/proc/26675/task/26840/stat : 26840 (java) R 26673 26673 21506 0 -1 4202560 303 0 0 0 1584 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257061289720 140257814738573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26841] ppid=26673 vsize=15483976 memory=40 CPUtime=15.82 cores=0,2,4,6
/proc/26675/task/26841/stat : 26841 (java) R 26673 26673 21506 0 -1 4202560 741 0 0 0 1582 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257060239616 140257814815719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26842] ppid=26673 vsize=15483976 memory=0 CPUtime=15.76 cores=0,2,4,6
/proc/26675/task/26842/stat : 26842 (java) R 26673 26673 21506 0 -1 4202560 305 0 0 0 1576 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257059185720 140257814738476 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
[pid=26675/tid=26843] ppid=26673 vsize=15483976 memory=0 CPUtime=15.85 cores=0,2,4,6
/proc/26675/task/26843/stat : 26843 (java) R 26673 26673 21506 0 -1 4202560 444 0 0 0 1585 0 0 0 20 0 19 0 446158591 15855591424 39365 33554432000 4194304 4196468 140723101598528 140257062341664 140257815563289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29310976 140723101606895 140723101607066 140723101607066 140723101609935 0
Current children cumulated CPU time: 75.49 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 158908 KiB
Child status: 0
Real time (s): 19.5941
CPU time (s): 75.8554
CPU user time (s): 75.6902
CPU system time (s): 0.165193
CPU usage (%): 387.134
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 196516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.6902
system time used= 0.165193
maximum resident set size= 196608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4939
involuntary context switches= 1800
# summary of solver processes directly reported to runsolver:
# pid: 26673
# total CPU time (s): 75.8554
# total CPU user time (s): 75.6902
# total CPU system time (s): 0.165193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.143756 second user time and 0.264748 second system time
The end