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 (13480 MiB free)
memory of node 1: 16384 MiB (14103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400515-1568694362/watcher-4400515-1568694362 -o /tmp/evaluation-result-4400515-1568694362/solver-4400515-1568694362 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22971 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1856029606 HOME/instance-4400515-1568694362.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24012, runsolver pid=24009
[startup+0.100059 s]*
/proc/loadavg: 7.89 3.92 2.39 8/233 24028
/proc/meminfo: memFree=28229692/32770624 swapFree=66959728/67108860
[pid=24012] ppid=24009 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (xcsp3-exec) S 24009 24012 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445376303 115843072 362 33554432000 4194304 5098028 140733564170240 140733564168344 140680172036732 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30593024 140733564175226 140733564175469 140733564175469 140733564178378 0
/proc/24012/statm: 28282 362 304 221 0 87 0
[pid=24014] ppid=24012 vsize=15144776 memory=29636 CPUtime=0.13 cores=1,3,5,7
/proc/24014/stat : 24014 (java) S 24012 24012 22939 0 -1 1077944320 5856 0 0 0 12 1 0 0 20 0 15 0 445376303 15508250624 7409 33554432000 4194304 4196468 140733187076064 140733187058608 139820627918583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
/proc/24014/statm: 3786194 7409 3152 1 0 3748377 0
[pid=24014/tid=24015] ppid=24012 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/24014/task/24015/stat : 24015 (java) R 24012 24012 22939 0 -1 4202560 3735 0 0 0 8 1 0 0 20 0 15 0 445376303 15508250624 7409 33554432000 4194304 4196468 140733187076064 139820632149904 139820627930518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24016] ppid=24012 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24016/stat : 24016 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15508250624 7409 33554432000 4194304 4196468 140733187076064 139820220209552 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24017] ppid=24012 vsize=15144776 memory=140217538541184 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24017/stat : 24017 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15508250624 7409 33554432000 4194304 4196468 140733187076064 139820219156752 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24018] ppid=24012 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24018/stat : 24018 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15508250624 7409 33554432000 4194304 4196468 140733187076064 139820218104464 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24019] ppid=24012 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24019/stat : 24019 (java) S 24012 24012 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445376304 15508250624 7409 33554432000 4194304 4196468 140733187076064 139820217051664 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24020] ppid=24012 vsize=15144776 memory=140217538541184 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24020/stat : 24020 (java) S 24012 24012 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445376306 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819500935792 139820627929730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24021] ppid=24012 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24021/stat : 24021 (java) S 24012 24012 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445376306 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819499881760 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24022] ppid=24012 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24022/stat : 24022 (java) S 24012 24012 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445376306 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819498829424 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24023] ppid=24012 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24023/stat : 24023 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445376309 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819497777744 139820627937179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24024] ppid=24012 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24024/stat : 24024 (java) S 24012 24012 22939 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 15 0 445376309 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819496724592 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24025] ppid=24012 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24025/stat : 24025 (java) S 24012 24012 22939 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 445376309 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819495671792 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24026] ppid=24012 vsize=15144776 memory=140217538541184 CPUtime=0.02 cores=1,3,5,7
/proc/24014/task/24026/stat : 24026 (java) R 24012 24012 22939 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 445376309 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819494619632 139820627930518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24027] ppid=24012 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24027/stat : 24027 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445376309 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819493566944 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24028] ppid=24012 vsize=15144776 memory=140217538541184 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24028/stat : 24028 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376309 15508250624 7409 33554432000 4194304 4196468 140733187076064 139819492514736 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31084 KiB
[startup+0.211635 s]*
/proc/loadavg: 7.89 3.92 2.39 8/233 24028
/proc/meminfo: memFree=28216636/32770624 swapFree=66959728/67108860
[pid=24012] ppid=24009 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (xcsp3-exec) S 24009 24012 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445376303 115843072 362 33554432000 4194304 5098028 140733564170240 140733564168344 140680172036732 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30593024 140733564175226 140733564175469 140733564175469 140733564178378 0
/proc/24012/statm: 28282 362 304 221 0 87 0
[pid=24014] ppid=24012 vsize=15144776 memory=40036 CPUtime=0.34 cores=1,3,5,7
/proc/24014/stat : 24014 (java) S 24012 24012 22939 0 -1 1077944320 9305 0 0 0 32 2 0 0 20 0 15 0 445376303 15508250624 10009 33554432000 4194304 4196468 140733187076064 140733187058608 139820627918583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
/proc/24014/statm: 3786194 10009 3265 1 0 3748377 0
[pid=24014/tid=24015] ppid=24012 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24014/task/24015/stat : 24015 (java) R 24012 24012 22939 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 445376303 15508250624 10009 33554432000 4194304 4196468 140733187076064 139820632152704 139820611999070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24016] ppid=24012 vsize=15144776 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24016/stat : 24016 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15508250624 10009 33554432000 4194304 4196468 140733187076064 139820220209552 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24017] ppid=24012 vsize=15144776 memory=140217541894003 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24017/stat : 24017 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15508250624 10009 33554432000 4194304 4196468 140733187076064 139820219156752 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24018] ppid=24012 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24018/stat : 24018 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15508250624 10009 33554432000 4194304 4196468 140733187076064 139820218104464 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24019] ppid=24012 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24019/stat : 24019 (java) S 24012 24012 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445376304 15508250624 10009 33554432000 4194304 4196468 140733187076064 139820217051664 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24020] ppid=24012 vsize=15144776 memory=140217538541184 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24020/stat : 24020 (java) S 24012 24012 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445376306 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819500935792 139820627929730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24021] ppid=24012 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24021/stat : 24021 (java) S 24012 24012 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445376306 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819499881760 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24022] ppid=24012 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24022/stat : 24022 (java) S 24012 24012 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445376306 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819498829424 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24023] ppid=24012 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24023/stat : 24023 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445376309 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819497777744 139820627937179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24024] ppid=24012 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24014/task/24024/stat : 24024 (java) S 24012 24012 22939 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 445376309 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819496724592 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24025] ppid=24012 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24014/task/24025/stat : 24025 (java) S 24012 24012 22939 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 445376309 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819495671792 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24026] ppid=24012 vsize=15144776 memory=140217538541184 CPUtime=0.08 cores=1,3,5,7
/proc/24014/task/24026/stat : 24026 (java) S 24012 24012 22939 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 15 0 445376309 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819494619504 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24027] ppid=24012 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24027/stat : 24027 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445376309 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819493566944 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24028] ppid=24012 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24028/stat : 24028 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376309 15508250624 10009 33554432000 4194304 4196468 140733187076064 139819492514736 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41484 KiB
[startup+0.310716 s]*
/proc/loadavg: 7.89 3.92 2.39 7/233 24028
/proc/meminfo: memFree=28208968/32770624 swapFree=66959728/67108860
[pid=24012] ppid=24009 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (xcsp3-exec) S 24009 24012 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445376303 115843072 362 33554432000 4194304 5098028 140733564170240 140733564168344 140680172036732 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30593024 140733564175226 140733564175469 140733564175469 140733564178378 0
/proc/24012/statm: 28282 362 304 221 0 87 0
[pid=24014] ppid=24012 vsize=15149032 memory=50068 CPUtime=0.53 cores=1,3,5,7
/proc/24014/stat : 24014 (java) S 24012 24012 22939 0 -1 1077944320 10849 0 0 0 50 3 0 0 20 0 15 0 445376303 15512608768 12517 33554432000 4194304 4196468 140733187076064 140733187058608 139820627918583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
/proc/24014/statm: 3787258 12517 3349 1 0 3748377 0
[pid=24014/tid=24015] ppid=24012 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24014/task/24015/stat : 24015 (java) R 24012 24012 22939 0 -1 4202560 7796 0 0 0 27 2 0 0 20 0 15 0 445376303 15512608768 12517 33554432000 4194304 4196468 140733187076064 139820632152976 139820611999070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24016] ppid=24012 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24016/stat : 24016 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15512608768 12517 33554432000 4194304 4196468 140733187076064 139820220209552 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24017] ppid=24012 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24017/stat : 24017 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15512608768 12517 33554432000 4194304 4196468 140733187076064 139820219156752 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24018] ppid=24012 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24018/stat : 24018 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15512608768 12517 33554432000 4194304 4196468 140733187076064 139820218104464 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24019] ppid=24012 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24019/stat : 24019 (java) S 24012 24012 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445376304 15512608768 12517 33554432000 4194304 4196468 140733187076064 139820217051664 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24020] ppid=24012 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24020/stat : 24020 (java) S 24012 24012 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445376306 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819500935792 139820627929730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24021] ppid=24012 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24021/stat : 24021 (java) S 24012 24012 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445376306 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819499881760 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24022] ppid=24012 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24022/stat : 24022 (java) S 24012 24012 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445376306 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819498829424 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24023] ppid=24012 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24023/stat : 24023 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445376309 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819497777744 139820627937179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24024] ppid=24012 vsize=15149032 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/24014/task/24024/stat : 24024 (java) S 24012 24012 22939 0 -1 1077944384 394 0 0 0 3 0 0 0 20 0 15 0 445376309 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819496724592 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24025] ppid=24012 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/24014/task/24025/stat : 24025 (java) S 24012 24012 22939 0 -1 1077944384 403 0 0 0 5 0 0 0 20 0 15 0 445376309 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819495671792 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24026] ppid=24012 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24014/task/24026/stat : 24026 (java) S 24012 24012 22939 0 -1 1077944384 954 0 0 0 12 0 0 0 20 0 15 0 445376309 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819494619504 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24027] ppid=24012 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24027/stat : 24027 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445376309 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819493566944 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24028] ppid=24012 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24028/stat : 24028 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376309 15512608768 12517 33554432000 4194304 4196468 140733187076064 139819492514736 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51516 KiB
[startup+0.709191 s]
/proc/loadavg: 7.89 3.92 2.39 8/233 24032
/proc/meminfo: memFree=28178932/32770624 swapFree=66959728/67108860
[pid=24012] ppid=24009 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (xcsp3-exec) S 24009 24012 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445376303 115843072 362 33554432000 4194304 5098028 140733564170240 140733564168344 140680172036732 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30593024 140733564175226 140733564175469 140733564175469 140733564178378 0
/proc/24012/statm: 28282 362 304 221 0 87 0
[pid=24014] ppid=24012 vsize=15151156 memory=112380 CPUtime=1.75 cores=1,3,5,7
/proc/24014/stat : 24014 (java) S 24012 24012 22939 0 -1 1077944320 15097 0 0 0 170 5 0 0 20 0 15 0 445376303 15514783744 28095 33554432000 4194304 4196468 140733187076064 140733187058608 139820627918583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
/proc/24014/statm: 3787789 28095 3446 1 0 3748889 0
[pid=24014/tid=24015] ppid=24012 vsize=15151156 memory=33 CPUtime=0.69 cores=1,3,5,7
/proc/24014/task/24015/stat : 24015 (java) R 24012 24012 22939 0 -1 4202560 9093 0 0 0 65 4 0 0 20 0 15 0 445376303 15514783744 28095 33554432000 4194304 4196468 140733187076064 139820632154736 139820627939930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24016] ppid=24012 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24016/stat : 24016 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15514783744 28095 33554432000 4194304 4196468 140733187076064 139820220209552 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24017] ppid=24012 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24017/stat : 24017 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15514783744 28095 33554432000 4194304 4196468 140733187076064 139820219156752 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24018] ppid=24012 vsize=15151156 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24018/stat : 24018 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376304 15514783744 28095 33554432000 4194304 4196468 140733187076064 139820218104464 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24019] ppid=24012 vsize=15151156 memory=48260 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24019/stat : 24019 (java) S 24012 24012 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445376304 15514783744 28095 33554432000 4194304 4196468 140733187076064 139820217051664 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24020] ppid=24012 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24020/stat : 24020 (java) S 24012 24012 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445376306 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819500935792 139820627929730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24021] ppid=24012 vsize=15151156 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24021/stat : 24021 (java) S 24012 24012 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445376306 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819499881760 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24022] ppid=24012 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24022/stat : 24022 (java) S 24012 24012 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445376306 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819498829424 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24023] ppid=24012 vsize=15151156 memory=580 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24023/stat : 24023 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445376309 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819497777744 139820627937179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24024] ppid=24012 vsize=15151156 memory=1720 CPUtime=0.34 cores=1,3,5,7
/proc/24014/task/24024/stat : 24024 (java) R 24012 24012 22939 0 -1 4202560 1380 0 0 0 34 0 0 0 20 0 15 0 445376309 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819496710848 139820613033711 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24025] ppid=24012 vsize=15151156 memory=10604 CPUtime=0.37 cores=1,3,5,7
/proc/24014/task/24025/stat : 24025 (java) R 24012 24012 22939 0 -1 4202560 1376 0 0 0 37 0 0 0 20 0 15 0 445376309 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819495658336 139820612839012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24026] ppid=24012 vsize=15151156 memory=4160 CPUtime=0.33 cores=1,3,5,7
/proc/24014/task/24026/stat : 24026 (java) R 24012 24012 22939 0 -1 4202560 1943 0 0 0 33 0 0 0 20 0 15 0 445376309 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819494619504 139820627930518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24027] ppid=24012 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24027/stat : 24027 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445376309 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819493566944 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24028] ppid=24012 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24028/stat : 24028 (java) S 24012 24012 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445376309 15514783744 28095 33554432000 4194304 4196468 140733187076064 139819492514736 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113828 KiB
[startup+1.50077 s]
/proc/loadavg: 7.89 3.92 2.39 11/233 24032
/proc/meminfo: memFree=28057600/32770624 swapFree=66959728/67108860
[pid=24012] ppid=24009 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (xcsp3-exec) S 24009 24012 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445376303 115843072 362 33554432000 4194304 5098028 140733564170240 140733564168344 140680172036732 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30593024 140733564175226 140733564175469 140733564175469 140733564178378 0
/proc/24012/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24014/task/24028/stat : 24028 (java) S 24012 24012 22939 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 81046 33554432000 4194304 4196468 140733187076064 139819492514736 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24154] ppid=24012 vsize=15420488 memory=1448 CPUtime=14.59 cores=1,3,5,7
/proc/24014/task/24154/stat : 24154 (java) R 24012 24012 22939 0 -1 4202560 611 0 0 0 1459 0 0 0 20 0 19 0 445377132 15790579712 81046 33554432000 4194304 4196468 140733187076064 139819480382088 139820267467128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24155] ppid=24012 vsize=15420488 memory=324184 CPUtime=14.29 cores=1,3,5,7
/proc/24014/task/24155/stat : 24155 (java) R 24012 24012 22939 0 -1 4202560 1284 0 0 0 1429 0 0 0 20 0 19 0 445377132 15790579712 81046 33554432000 4194304 4196468 140733187076064 139819481436264 139820613186384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24156] ppid=24012 vsize=15420488 memory=-7595754389018307680 CPUtime=14.51 cores=1,3,5,7
/proc/24014/task/24156/stat : 24156 (java) R 24012 24012 22939 0 -1 4202560 1729 0 0 0 1451 0 0 0 20 0 19 0 445377132 15790579712 81046 33554432000 4194304 4196468 140733187076064 139819478278328 139820267467304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24157] ppid=24012 vsize=15420488 memory=280434789318896 CPUtime=14.42 cores=1,3,5,7
/proc/24014/task/24157/stat : 24157 (java) R 24012 24012 22939 0 -1 4202560 1081 0 0 0 1442 0 0 0 20 0 19 0 445377133 15790579712 81046 33554432000 4194304 4196468 140733187076064 139819479331192 139820267467299 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
Current children cumulated CPU time: 90.27 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 325632 KiB
[startup+23.6012 s]
/proc/loadavg: 8.31 4.34 2.57 9/237 24165
/proc/meminfo: memFree=27813968/32770624 swapFree=66959728/67108860
[pid=24012] ppid=24009 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (xcsp3-exec) S 24009 24012 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445376303 115843072 362 33554432000 4194304 5098028 140733564170240 140733564168344 140680172036732 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30593024 140733564175226 140733564175469 140733564175469 140733564178378 0
/proc/24012/statm: 28282 362 304 221 0 87 0
[pid=24014] ppid=24012 vsize=15420488 memory=326232 CPUtime=91.87 cores=1,3,5,7
/proc/24014/stat : 24014 (java) S 24012 24012 22939 0 -1 1077944320 41989 0 0 0 9169 18 0 0 20 0 19 0 445376303 15790579712 81558 33554432000 4194304 4196468 140733187076064 140733187058608 139820627918583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
/proc/24014/statm: 3855122 81558 3528 1 0 3816222 0
[pid=24014/tid=24015] ppid=24012 vsize=15420488 memory=6791534058613427641 CPUtime=1.28 cores=1,3,5,7
/proc/24014/task/24015/stat : 24015 (java) S 24012 24012 22939 0 -1 1077944384 9415 0 0 0 123 5 0 0 20 0 19 0 445376303 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820632159360 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24016] ppid=24012 vsize=15420488 memory=1436 CPUtime=0.03 cores=1,3,5,7
/proc/24014/task/24016/stat : 24016 (java) S 24012 24012 22939 0 -1 1077944384 86 0 0 0 2 1 0 0 20 0 19 0 445376304 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820220209552 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24017] ppid=24012 vsize=15420488 memory=580 CPUtime=0.03 cores=1,3,5,7
/proc/24014/task/24017/stat : 24017 (java) S 24012 24012 22939 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 445376304 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820219156752 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24018] ppid=24012 vsize=15420488 memory=1720 CPUtime=0.04 cores=1,3,5,7
/proc/24014/task/24018/stat : 24018 (java) S 24012 24012 22939 0 -1 1077944384 98 0 0 0 3 1 0 0 20 0 19 0 445376304 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820218104464 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24019] ppid=24012 vsize=15420488 memory=10604 CPUtime=0.04 cores=1,3,5,7
/proc/24014/task/24019/stat : 24019 (java) S 24012 24012 22939 0 -1 1077944384 85 0 0 0 3 1 0 0 20 0 19 0 445376304 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820217051664 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24020] ppid=24012 vsize=15420488 memory=4160 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24020/stat : 24020 (java) S 24012 24012 22939 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819500935792 139820627929730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24021] ppid=24012 vsize=15420488 memory=776 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24021/stat : 24021 (java) S 24012 24012 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819499881824 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24022] ppid=24012 vsize=15420488 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24022/stat : 24022 (java) S 24012 24012 22939 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819498829440 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24023] ppid=24012 vsize=15420488 memory=6060 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24023/stat : 24023 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819497777744 139820627937179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24024] ppid=24012 vsize=15420488 memory=1060 CPUtime=2.86 cores=1,3,5,7
/proc/24014/task/24024/stat : 24024 (java) S 24012 24012 22939 0 -1 1077944384 10995 0 0 0 285 1 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819496724592 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24025] ppid=24012 vsize=15420488 memory=2828 CPUtime=2.51 cores=1,3,5,7
/proc/24014/task/24025/stat : 24025 (java) S 24012 24012 22939 0 -1 1077944384 8099 0 0 0 250 1 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819495671792 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24026] ppid=24012 vsize=15420488 memory=1216 CPUtime=0.88 cores=1,3,5,7
/proc/24014/task/24026/stat : 24026 (java) S 24012 24012 22939 0 -1 1077944384 5186 0 0 0 88 0 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819494619504 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24027] ppid=24012 vsize=15420488 memory=984 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24027/stat : 24027 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819493566944 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24028] ppid=24012 vsize=15420488 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24028/stat : 24028 (java) R 24012 24012 22939 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819492514736 139820627929730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24154] ppid=24012 vsize=15420488 memory=25812 CPUtime=14.99 cores=1,3,5,7
/proc/24014/task/24154/stat : 24154 (java) R 24012 24012 22939 0 -1 4202560 611 0 0 0 1499 0 0 0 20 0 19 0 445377132 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819480382088 139820267467229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24155] ppid=24012 vsize=15420488 memory=14048 CPUtime=14.69 cores=1,3,5,7
/proc/24014/task/24155/stat : 24155 (java) R 24012 24012 22939 0 -1 4202560 1284 0 0 0 1469 0 0 0 20 0 19 0 445377132 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819481436264 139820267683786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24156] ppid=24012 vsize=15420488 memory=2124 CPUtime=14.9 cores=1,3,5,7
/proc/24014/task/24156/stat : 24156 (java) R 24012 24012 22939 0 -1 4202560 1733 0 0 0 1490 0 0 0 20 0 19 0 445377132 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819478279672 139820267467416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24157] ppid=24012 vsize=15420488 memory=500 CPUtime=14.82 cores=1,3,5,7
/proc/24014/task/24157/stat : 24157 (java) R 24012 24012 22939 0 -1 4202560 1081 0 0 0 1482 0 0 0 20 0 19 0 445377133 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819479331192 139820267467416 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
Current children cumulated CPU time: 91.87 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 327680 KiB
[startup+23.8012 s]
/proc/loadavg: 8.31 4.34 2.57 9/237 24165
/proc/meminfo: memFree=27813968/32770624 swapFree=66959728/67108860
[pid=24012] ppid=24009 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (xcsp3-exec) S 24009 24012 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445376303 115843072 362 33554432000 4194304 5098028 140733564170240 140733564168344 140680172036732 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30593024 140733564175226 140733564175469 140733564175469 140733564178378 0
/proc/24012/statm: 28282 362 304 221 0 87 0
[pid=24014] ppid=24012 vsize=15420488 memory=326232 CPUtime=92.67 cores=1,3,5,7
/proc/24014/stat : 24014 (java) S 24012 24012 22939 0 -1 1077944320 41991 0 0 0 9249 18 0 0 20 0 19 0 445376303 15790579712 81558 33554432000 4194304 4196468 140733187076064 140733187058608 139820627918583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
/proc/24014/statm: 3855122 81558 3528 1 0 3816222 0
[pid=24014/tid=24015] ppid=24012 vsize=15420488 memory=1772 CPUtime=1.28 cores=1,3,5,7
/proc/24014/task/24015/stat : 24015 (java) S 24012 24012 22939 0 -1 1077944384 9415 0 0 0 123 5 0 0 20 0 19 0 445376303 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820632159360 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24016] ppid=24012 vsize=15420488 memory=832 CPUtime=0.03 cores=1,3,5,7
/proc/24014/task/24016/stat : 24016 (java) S 24012 24012 22939 0 -1 1077944384 86 0 0 0 2 1 0 0 20 0 19 0 445376304 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820220209552 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24017] ppid=24012 vsize=15420488 memory=1436 CPUtime=0.03 cores=1,3,5,7
/proc/24014/task/24017/stat : 24017 (java) S 24012 24012 22939 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 445376304 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820219156752 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24018] ppid=24012 vsize=15420488 memory=1984 CPUtime=0.04 cores=1,3,5,7
/proc/24014/task/24018/stat : 24018 (java) S 24012 24012 22939 0 -1 1077944384 98 0 0 0 3 1 0 0 20 0 19 0 445376304 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820218104464 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24019] ppid=24012 vsize=15420488 memory=2580 CPUtime=0.04 cores=1,3,5,7
/proc/24014/task/24019/stat : 24019 (java) S 24012 24012 22939 0 -1 1077944384 85 0 0 0 3 1 0 0 20 0 19 0 445376304 15790579712 81558 33554432000 4194304 4196468 140733187076064 139820217051664 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24020] ppid=24012 vsize=15420488 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24020/stat : 24020 (java) S 24012 24012 22939 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819500935792 139820627929730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24021] ppid=24012 vsize=15420488 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24021/stat : 24021 (java) S 24012 24012 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819499881824 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24022] ppid=24012 vsize=15420488 memory=800 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24022/stat : 24022 (java) S 24012 24012 22939 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819498829440 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24023] ppid=24012 vsize=15420488 memory=5794000017426306664 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24023/stat : 24023 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819497777744 139820627937179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24024] ppid=24012 vsize=15420488 memory=6155685578397935718 CPUtime=2.86 cores=1,3,5,7
/proc/24014/task/24024/stat : 24024 (java) S 24012 24012 22939 0 -1 1077944384 10995 0 0 0 285 1 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819496724592 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24025] ppid=24012 vsize=15420488 memory=7811323513509342826 CPUtime=2.51 cores=1,3,5,7
/proc/24014/task/24025/stat : 24025 (java) S 24012 24012 22939 0 -1 1077944384 8099 0 0 0 250 1 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819495671792 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24026] ppid=24012 vsize=15420488 memory=1448 CPUtime=0.88 cores=1,3,5,7
/proc/24014/task/24026/stat : 24026 (java) S 24012 24012 22939 0 -1 1077944384 5186 0 0 0 88 0 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819494619504 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24027] ppid=24012 vsize=15420488 memory=320088 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24027/stat : 24027 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819493566944 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24028] ppid=24012 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24028/stat : 24028 (java) S 24012 24012 22939 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819492514736 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24154] ppid=24012 vsize=15420488 memory=0 CPUtime=15.19 cores=1,3,5,7
/proc/24014/task/24154/stat : 24154 (java) R 24012 24012 22939 0 -1 4202560 611 0 0 0 1519 0 0 0 20 0 19 0 445377132 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819480382088 139820267466933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24155] ppid=24012 vsize=15420488 memory=0 CPUtime=14.89 cores=1,3,5,7
/proc/24014/task/24155/stat : 24155 (java) R 24012 24012 22939 0 -1 4202560 1286 0 0 0 1489 0 0 0 20 0 19 0 445377132 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819481436264 139820267466933 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24156] ppid=24012 vsize=15420488 memory=0 CPUtime=15.1 cores=1,3,5,7
/proc/24014/task/24156/stat : 24156 (java) R 24012 24012 22939 0 -1 4202560 1733 0 0 0 1510 0 0 0 20 0 19 0 445377132 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819478279672 139820267467416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24157] ppid=24012 vsize=15420488 memory=0 CPUtime=15.02 cores=1,3,5,7
/proc/24014/task/24157/stat : 24157 (java) R 24012 24012 22939 0 -1 4202560 1081 0 0 0 1502 0 0 0 20 0 19 0 445377133 15790579712 81558 33554432000 4194304 4196468 140733187076064 139819479331192 139820267467215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
Current children cumulated CPU time: 92.67 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 327680 KiB
[startup+23.9012 s]
/proc/loadavg: 8.31 4.34 2.57 9/237 24165
/proc/meminfo: memFree=27813968/32770624 swapFree=66959728/67108860
[pid=24012] ppid=24009 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (xcsp3-exec) S 24009 24012 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445376303 115843072 362 33554432000 4194304 5098028 140733564170240 140733564168344 140680172036732 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30593024 140733564175226 140733564175469 140733564175469 140733564178378 0
/proc/24012/statm: 28282 362 304 221 0 87 0
[pid=24014] ppid=24012 vsize=15420488 memory=328280 CPUtime=93.07 cores=1,3,5,7
/proc/24014/stat : 24014 (java) S 24012 24012 22939 0 -1 1077944320 42537 0 0 0 9289 18 0 0 20 0 19 0 445376303 15790579712 82070 33554432000 4194304 4196468 140733187076064 140733187058608 139820627918583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
/proc/24014/statm: 3855122 82070 3528 1 0 3816222 0
[pid=24014/tid=24015] ppid=24012 vsize=15420488 memory=3 CPUtime=1.28 cores=1,3,5,7
/proc/24014/task/24015/stat : 24015 (java) S 24012 24012 22939 0 -1 1077944384 9415 0 0 0 123 5 0 0 20 0 19 0 445376303 15790579712 82070 33554432000 4194304 4196468 140733187076064 139820632159360 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24016] ppid=24012 vsize=15420488 memory=3 CPUtime=0.03 cores=1,3,5,7
/proc/24014/task/24016/stat : 24016 (java) S 24012 24012 22939 0 -1 1077944384 86 0 0 0 2 1 0 0 20 0 19 0 445376304 15790579712 82070 33554432000 4194304 4196468 140733187076064 139820220209552 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24017] ppid=24012 vsize=15420488 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/24014/task/24017/stat : 24017 (java) S 24012 24012 22939 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 445376304 15790579712 82070 33554432000 4194304 4196468 140733187076064 139820219156752 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24018] ppid=24012 vsize=15420488 memory=317960 CPUtime=0.04 cores=1,3,5,7
/proc/24014/task/24018/stat : 24018 (java) S 24012 24012 22939 0 -1 1077944384 98 0 0 0 3 1 0 0 20 0 19 0 445376304 15790579712 82070 33554432000 4194304 4196468 140733187076064 139820218104464 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24019] ppid=24012 vsize=15420488 memory=48260 CPUtime=0.04 cores=1,3,5,7
/proc/24014/task/24019/stat : 24019 (java) S 24012 24012 22939 0 -1 1077944384 85 0 0 0 3 1 0 0 20 0 19 0 445376304 15790579712 82070 33554432000 4194304 4196468 140733187076064 139820217051664 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24020] ppid=24012 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24020/stat : 24020 (java) S 24012 24012 22939 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819500935792 139820627929730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24021] ppid=24012 vsize=15420488 memory=280434790161952 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24021/stat : 24021 (java) S 24012 24012 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819499881824 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24022] ppid=24012 vsize=15420488 memory=5859271425380401248 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24022/stat : 24022 (java) S 24012 24012 22939 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445376306 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819498829440 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24023] ppid=24012 vsize=15420488 memory=246500 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24023/stat : 24023 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819497777744 139820627937179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24024] ppid=24012 vsize=15420488 memory=1966187 CPUtime=2.86 cores=1,3,5,7
/proc/24014/task/24024/stat : 24024 (java) S 24012 24012 22939 0 -1 1077944384 10995 0 0 0 285 1 0 0 20 0 19 0 445376309 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819496724592 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24025] ppid=24012 vsize=15420488 memory=48260 CPUtime=2.51 cores=1,3,5,7
/proc/24014/task/24025/stat : 24025 (java) S 24012 24012 22939 0 -1 1077944384 8099 0 0 0 250 1 0 0 20 0 19 0 445376309 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819495671792 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24026] ppid=24012 vsize=15420488 memory=164 CPUtime=0.88 cores=1,3,5,7
/proc/24014/task/24026/stat : 24026 (java) S 24012 24012 22939 0 -1 1077944384 5186 0 0 0 88 0 0 0 20 0 19 0 445376309 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819494619504 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24027] ppid=24012 vsize=15420488 memory=-7661582506838156090 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24027/stat : 24027 (java) S 24012 24012 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819493566944 139820627928789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24028] ppid=24012 vsize=15420488 memory=7085434625221371541 CPUtime=0 cores=1,3,5,7
/proc/24014/task/24028/stat : 24028 (java) S 24012 24012 22939 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 19 0 445376309 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819492514736 139820627929730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24154] ppid=24012 vsize=15420488 memory=0 CPUtime=15.29 cores=1,3,5,7
/proc/24014/task/24154/stat : 24154 (java) R 24012 24012 22939 0 -1 4202560 706 0 0 0 1529 0 0 0 20 0 19 0 445377132 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819480382088 139820267466933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24155] ppid=24012 vsize=15420488 memory=6944652177228980320 CPUtime=14.99 cores=1,3,5,7
/proc/24014/task/24155/stat : 24155 (java) R 24012 24012 22939 0 -1 4202560 1478 0 0 0 1499 0 0 0 20 0 19 0 445377132 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819481436264 139820267467276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24156] ppid=24012 vsize=15420488 memory=6944656575208382560 CPUtime=15.2 cores=1,3,5,7
/proc/24014/task/24156/stat : 24156 (java) R 24012 24012 22939 0 -1 4202560 1838 0 0 0 1520 0 0 0 20 0 19 0 445377132 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819478279672 139820267467009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
[pid=24014/tid=24157] ppid=24012 vsize=15420488 memory=1448 CPUtime=15.12 cores=1,3,5,7
/proc/24014/task/24157/stat : 24157 (java) R 24012 24012 22939 0 -1 4202560 1213 0 0 0 1512 0 0 0 20 0 19 0 445377133 15790579712 82070 33554432000 4194304 4196468 140733187076064 139819479331192 139820265051414 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140733187081199 140733187081370 140733187081370 140733187084239 0
Current children cumulated CPU time: 93.07 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 329728 KiB
Child status: 0
Real time (s): 23.9148
CPU time (s): 93.1056
CPU user time (s): 92.9098
CPU system time (s): 0.195857
CPU usage (%): 389.322
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 329728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.9098
system time used= 0.195857
maximum resident set size= 330836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44301
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= 3990
involuntary context switches= 2474
# summary of solver processes directly reported to runsolver:
# pid: 24012
# total CPU time (s): 93.1056
# total CPU user time (s): 92.9098
# total CPU system time (s): 0.195857
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.163265 second user time and 0.322078 second system time
The end