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 (15049 MiB free)
memory of node 1: 16384 MiB (15384 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394170-1568331848/watcher-4394170-1568331848 -o /tmp/evaluation-result-4394170-1568331848/solver-4394170-1568331848 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1451015184 HOME/instance-4394170-1568331848.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5153, runsolver pid=5150
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 6.00 7.29 7.35 7/234 5185
/proc/meminfo: memFree=31111892/32770624 swapFree=66933688/67108860
[pid=5153] ppid=5150 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5153/stat : 5153 (xcsp3-exec) S 5150 5153 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409456229 115843072 363 33554432000 4194304 5098028 140722218513968 140722218512072 140119812854396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25931776 140722218521466 140722218521709 140722218521709 140722218524618 0
/proc/5153/statm: 28282 363 304 221 0 87 0
[pid=5155] ppid=5153 vsize=15144768 memory=28820 CPUtime=0.1 cores=0,2,4,6
/proc/5155/stat : 5155 (java) S 5153 5153 25300 0 -1 1077944320 5666 0 0 0 9 1 0 0 20 0 15 0 409456230 15508242432 7205 33554432000 4194304 4196468 140732447359520 140732447342064 140085010165495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
/proc/5155/statm: 3786192 7205 3117 1 0 3748377 0
[pid=5155/tid=5156] ppid=5153 vsize=15144768 memory=-6664436420846797971 CPUtime=0.08 cores=0,2,4,6
/proc/5155/task/5156/stat : 5156 (java) R 5153 5153 25300 0 -1 4202560 3592 0 0 0 7 1 0 0 20 0 15 0 409456230 15508242432 7205 33554432000 4194304 4196468 140732447359520 140085014391968 140085010177430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5157] ppid=5153 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5157/stat : 5157 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084602989328 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5158] ppid=5153 vsize=15144768 memory=139699617388160 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5158/stat : 5158 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084601936784 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5159] ppid=5153 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5159/stat : 5159 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084600884240 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5160] ppid=5153 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5160/stat : 5160 (java) S 5153 5153 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456231 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084599831696 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5165] ppid=5153 vsize=15144768 memory=139699617388160 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5165/stat : 5165 (java) S 5153 5153 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456232 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084344518640 140085010176642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5169] ppid=5153 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5169/stat : 5169 (java) S 5153 5153 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409456233 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084343464864 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5171] ppid=5153 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5171/stat : 5171 (java) S 5153 5153 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409456233 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084342412272 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5176] ppid=5153 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5176/stat : 5176 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456236 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084341360848 140085010184091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5177] ppid=5153 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5177/stat : 5177 (java) S 5153 5153 25300 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 409456236 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084340308464 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5178] ppid=5153 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5178/stat : 5178 (java) S 5153 5153 25300 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 409456236 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084339255920 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5179] ppid=5153 vsize=15144768 memory=139699617388160 CPUtime=0.01 cores=0,2,4,6
/proc/5155/task/5179/stat : 5179 (java) R 5153 5153 25300 0 -1 4202560 346 0 0 0 1 0 0 0 20 0 15 0 409456236 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084338203376 140084988821394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5180] ppid=5153 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5180/stat : 5180 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456236 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084337151072 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5181] ppid=5153 vsize=15144768 memory=139699617388160 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5181/stat : 5181 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456236 15508242432 7205 33554432000 4194304 4196468 140732447359520 140084336097584 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30272 KiB
[startup+0.210868 s]*
/proc/loadavg: 6.00 7.29 7.35 9/234 5189
/proc/meminfo: memFree=31087188/32770624 swapFree=66933688/67108860
[pid=5153] ppid=5150 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5153/stat : 5153 (xcsp3-exec) S 5150 5153 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409456229 115843072 363 33554432000 4194304 5098028 140722218513968 140722218512072 140119812854396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25931776 140722218521466 140722218521709 140722218521709 140722218524618 0
/proc/5153/statm: 28282 363 304 221 0 87 0
[pid=5155] ppid=5153 vsize=15144768 memory=40708 CPUtime=0.32 cores=0,2,4,6
/proc/5155/stat : 5155 (java) S 5153 5153 25300 0 -1 1077944320 9411 0 0 0 29 3 0 0 20 0 15 0 409456230 15508242432 10177 33554432000 4194304 4196468 140732447359520 140732447342064 140085010165495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
/proc/5155/statm: 3786192 10177 3246 1 0 3748377 0
[pid=5155/tid=5156] ppid=5153 vsize=15144768 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/5155/task/5156/stat : 5156 (java) R 5153 5153 25300 0 -1 4202560 6609 0 0 0 17 2 0 0 20 0 15 0 409456230 15508242432 10177 33554432000 4194304 4196468 140732447359520 140085014398224 140084994245982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5157] ppid=5153 vsize=15144768 memory=364 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5157/stat : 5157 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084602989328 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5158] ppid=5153 vsize=15144768 memory=139699620561118 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5158/stat : 5158 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084601936784 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5159] ppid=5153 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5159/stat : 5159 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084600884240 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5160] ppid=5153 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5160/stat : 5160 (java) S 5153 5153 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456231 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084599831696 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5165] ppid=5153 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5165/stat : 5165 (java) S 5153 5153 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409456232 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084344518640 140085010176642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5169] ppid=5153 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5169/stat : 5169 (java) S 5153 5153 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409456233 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084343464864 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5171] ppid=5153 vsize=15144768 memory=139699617388160 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5171/stat : 5171 (java) S 5153 5153 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409456233 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084342412272 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5176] ppid=5153 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5176/stat : 5176 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456236 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084341360848 140085010184091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5177] ppid=5153 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5155/task/5177/stat : 5177 (java) S 5153 5153 25300 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 409456236 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084340308464 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5178] ppid=5153 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5155/task/5178/stat : 5178 (java) S 5153 5153 25300 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 409456236 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084339255920 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5179] ppid=5153 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5155/task/5179/stat : 5179 (java) S 5153 5153 25300 0 -1 1077944384 749 0 0 0 8 0 0 0 20 0 15 0 409456236 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084338203376 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5180] ppid=5153 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5180/stat : 5180 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456236 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084337151072 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5181] ppid=5153 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5181/stat : 5181 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456236 15508242432 10177 33554432000 4194304 4196468 140732447359520 140084336097584 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42160 KiB
[startup+0.311148 s]*
/proc/loadavg: 6.00 7.29 7.35 10/234 5193
/proc/meminfo: memFree=31074192/32770624 swapFree=66933688/67108860
[pid=5153] ppid=5150 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5153/stat : 5153 (xcsp3-exec) S 5150 5153 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409456229 115843072 363 33554432000 4194304 5098028 140722218513968 140722218512072 140119812854396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25931776 140722218521466 140722218521709 140722218521709 140722218524618 0
/proc/5153/statm: 28282 363 304 221 0 87 0
[pid=5155] ppid=5153 vsize=15149024 memory=49700 CPUtime=0.51 cores=0,2,4,6
/proc/5155/stat : 5155 (java) S 5153 5153 25300 0 -1 1077944320 10737 0 0 0 47 4 0 0 20 0 15 0 409456230 15512600576 12425 33554432000 4194304 4196468 140732447359520 140732447342064 140085010165495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
/proc/5155/statm: 3787256 12425 3369 1 0 3748377 0
[pid=5155/tid=5156] ppid=5153 vsize=15149024 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/5155/task/5156/stat : 5156 (java) R 5153 5153 25300 0 -1 4202560 7741 0 0 0 26 3 0 0 20 0 15 0 409456230 15512600576 12491 33554432000 4194304 4196468 140732447359520 140085014394976 140084994245982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5157] ppid=5153 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5157/stat : 5157 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15512600576 12491 33554432000 4194304 4196468 140732447359520 140084602989328 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5158] ppid=5153 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5158/stat : 5158 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15512600576 12491 33554432000 4194304 4196468 140732447359520 140084601936784 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5159] ppid=5153 vsize=15149024 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5159/stat : 5159 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15512600576 12491 33554432000 4194304 4196468 140732447359520 140084600884240 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5160] ppid=5153 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5160/stat : 5160 (java) S 5153 5153 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456231 15512600576 12491 33554432000 4194304 4196468 140732447359520 140084599831696 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5165] ppid=5153 vsize=15149024 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5165/stat : 5165 (java) S 5153 5153 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409456232 15512600576 12491 33554432000 4194304 4196468 140732447359520 140084344518640 140085010176642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5169] ppid=5153 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5169/stat : 5169 (java) S 5153 5153 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409456233 15512600576 12491 33554432000 4194304 4196468 140732447359520 140084343464864 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5171] ppid=5153 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5171/stat : 5171 (java) S 5153 5153 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409456233 15512600576 12491 33554432000 4194304 4196468 140732447359520 140084342412272 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5176] ppid=5153 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5176/stat : 5176 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456236 15512600576 12491 33554432000 4194304 4196468 140732447359520 140084341360848 140085010184091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5177] ppid=5153 vsize=15148768 memory=-6654736624941490777 CPUtime=0.03 cores=0,2,4,6
/proc/5155/task/5177/stat : 5177 (java) S 5153 5153 25300 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 15 0 409456236 15512338432 12522 33554432000 4194304 4196468 140732447359520 140084340308464 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5178] ppid=5153 vsize=15149024 memory=5791737290597309601 CPUtime=0.04 cores=0,2,4,6
/proc/5155/task/5178/stat : 5178 (java) R 5153 5153 25300 0 -1 4202560 478 0 0 0 4 0 0 0 20 0 15 0 409456236 15512600576 12522 33554432000 4194304 4196468 140732447359520 140084339255920 140084993576497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5179] ppid=5153 vsize=15149024 memory=6944656592455350634 CPUtime=0.12 cores=0,2,4,6
/proc/5155/task/5179/stat : 5179 (java) S 5153 5153 25300 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 409456236 15512600576 12522 33554432000 4194304 4196468 140732447359520 140084338203376 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5180] ppid=5153 vsize=15149024 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5180/stat : 5180 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456236 15512600576 12522 33554432000 4194304 4196468 140732447359520 140084337151072 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5181] ppid=5153 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5181/stat : 5181 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456236 15512600576 12522 33554432000 4194304 4196468 140732447359520 140084336097584 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51152 KiB
[startup+0.709366 s]
/proc/loadavg: 6.00 7.29 7.35 8/234 5205
/proc/meminfo: memFree=31020772/32770624 swapFree=66933688/67108860
[pid=5153] ppid=5150 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5153/stat : 5153 (xcsp3-exec) S 5150 5153 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409456229 115843072 363 33554432000 4194304 5098028 140722218513968 140722218512072 140119812854396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25931776 140722218521466 140722218521709 140722218521709 140722218524618 0
/proc/5153/statm: 28282 363 304 221 0 87 0
[pid=5155] ppid=5153 vsize=15151148 memory=96548 CPUtime=1.67 cores=0,2,4,6
/proc/5155/stat : 5155 (java) S 5153 5153 25300 0 -1 1077944320 15242 0 0 0 162 5 0 0 20 0 15 0 409456230 15514775552 24137 33554432000 4194304 4196468 140732447359520 140732447342064 140085010165495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
/proc/5155/statm: 3787787 24137 3451 1 0 3748889 0
[pid=5155/tid=5156] ppid=5153 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5155/task/5156/stat : 5156 (java) R 5153 5153 25300 0 -1 4202560 9341 0 0 0 64 3 0 0 20 0 15 0 409456230 15514775552 24137 33554432000 4194304 4196468 140732447359520 140085014401912 140084603071770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5157] ppid=5153 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5157/stat : 5157 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084602989328 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5158] ppid=5153 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5158/stat : 5158 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084601936784 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5159] ppid=5153 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5159/stat : 5159 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456231 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084600884240 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5160] ppid=5153 vsize=15151148 memory=70 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5160/stat : 5160 (java) S 5153 5153 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456231 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084599831696 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5165] ppid=5153 vsize=15151148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5165/stat : 5165 (java) S 5153 5153 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409456232 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084344518640 140085010176642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5169] ppid=5153 vsize=15151148 memory=14323715934760 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5169/stat : 5169 (java) S 5153 5153 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409456233 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084343464864 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5171] ppid=5153 vsize=15151148 memory=2958624 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5171/stat : 5171 (java) S 5153 5153 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409456233 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084342412272 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5176] ppid=5153 vsize=15151148 memory=2966641 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5176/stat : 5176 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456236 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084341360848 140085010184091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5177] ppid=5153 vsize=15151148 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/5155/task/5177/stat : 5177 (java) R 5153 5153 25300 0 -1 4202560 1353 0 0 0 27 0 0 0 20 0 15 0 409456236 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084340295696 140084993649003 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5178] ppid=5153 vsize=15151148 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/5155/task/5178/stat : 5178 (java) R 5153 5153 25300 0 -1 4202560 1071 0 0 0 28 0 0 0 20 0 15 0 409456236 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084339244272 140084993659947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5179] ppid=5153 vsize=15151148 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/5155/task/5179/stat : 5179 (java) S 5153 5153 25300 0 -1 1077944384 2171 0 0 0 40 0 0 0 20 0 15 0 409456236 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084338203376 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5180] ppid=5153 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5180/stat : 5180 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456236 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084337151072 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5181] ppid=5153 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5181/stat : 5181 (java) S 5153 5153 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456236 15514775552 24137 33554432000 4194304 4196468 140732447359520 140084336097584 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 98000 KiB
[startup+1.50236 s]
/proc/loadavg: 6.00 7.29 7.35 15/238 5237
/proc/meminfo: memFree=30920816/32770624 swapFree=66933688/67108860
[pid=5153] ppid=5150 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5153/stat : 5153 (xcsp3-exec) S 5150 5153 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409456229 115843072 363 33554432000 4194304 5098028 140722218513968 140722218512072 140119812854396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25931776 140722218521466 140722218521709 140722218521709 140722218524618 0
/proc/5153/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5155/task/5181/stat : 5181 (java) R 5153 5153 25300 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084336097584 140085010176642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5338] ppid=5153 vsize=15486016 memory=3620 CPUtime=14.9 cores=0,2,4,6
/proc/5155/task/5338/stat : 5338 (java) R 5153 5153 25300 0 -1 4202560 435 0 0 0 1490 0 0 0 20 0 19 0 409457308 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084323728560 140084608729152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5339] ppid=5153 vsize=15486016 memory=20364 CPUtime=14.66 cores=0,2,4,6
/proc/5155/task/5339/stat : 5339 (java) R 5153 5153 25300 0 -1 4202560 1148 0 0 0 1466 0 0 0 20 0 19 0 409457308 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084324782024 140084611076799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5340] ppid=5153 vsize=15486016 memory=984 CPUtime=14.78 cores=0,2,4,6
/proc/5155/task/5340/stat : 5340 (java) R 5153 5153 25300 0 -1 4202560 734 0 0 0 1478 0 0 0 20 0 19 0 409457308 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084326887528 140084604148048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5341] ppid=5153 vsize=15486016 memory=2032 CPUtime=14.87 cores=0,2,4,6
/proc/5155/task/5341/stat : 5341 (java) R 5153 5153 25300 0 -1 4202560 474 0 0 0 1487 0 0 0 20 0 19 0 409457308 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084320579200 140084610679483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
Current children cumulated CPU time: 92.06 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 377680 KiB
[startup+26.6014 s]
/proc/loadavg: 6.39 7.30 7.35 10/238 5348
/proc/meminfo: memFree=30531232/32770624 swapFree=66933688/67108860
[pid=5153] ppid=5150 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5153/stat : 5153 (xcsp3-exec) S 5150 5153 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409456229 115843072 363 33554432000 4194304 5098028 140722218513968 140722218512072 140119812854396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25931776 140722218521466 140722218521709 140722218521709 140722218524618 0
/proc/5153/statm: 28282 363 304 221 0 87 0
[pid=5155] ppid=5153 vsize=15486016 memory=376228 CPUtime=95.25 cores=0,2,4,6
/proc/5155/stat : 5155 (java) S 5153 5153 25300 0 -1 1077944320 40568 0 0 0 9507 18 0 0 20 0 19 0 409456230 15857680384 94057 33554432000 4194304 4196468 140732447359520 140732447342064 140085010165495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
/proc/5155/statm: 3871504 94057 3526 1 0 3832606 0
[pid=5155/tid=5156] ppid=5153 vsize=15486016 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/5155/task/5156/stat : 5156 (java) S 5153 5153 25300 0 -1 1077944384 9571 0 0 0 70 4 0 0 20 0 19 0 409456230 15857680384 94057 33554432000 4194304 4196468 140732447359520 140085014406272 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5157] ppid=5153 vsize=15486016 memory=376212 CPUtime=0.04 cores=0,2,4,6
/proc/5155/task/5157/stat : 5157 (java) S 5153 5153 25300 0 -1 1077944384 1369 0 0 0 3 1 0 0 20 0 19 0 409456231 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084602989328 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5158] ppid=5153 vsize=15486016 memory=4486604260213485459 CPUtime=0.04 cores=0,2,4,6
/proc/5155/task/5158/stat : 5158 (java) S 5153 5153 25300 0 -1 1077944384 171 0 0 0 3 1 0 0 20 0 19 0 409456231 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084601936784 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5159] ppid=5153 vsize=15486016 memory=2824 CPUtime=0.05 cores=0,2,4,6
/proc/5155/task/5159/stat : 5159 (java) S 5153 5153 25300 0 -1 1077944384 204 0 0 0 3 2 0 0 20 0 19 0 409456231 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084600884240 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5160] ppid=5153 vsize=15486016 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/5155/task/5160/stat : 5160 (java) S 5153 5153 25300 0 -1 1077944384 324 0 0 0 3 2 0 0 20 0 19 0 409456231 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084599831696 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5165] ppid=5153 vsize=15486016 memory=244272 CPUtime=0.01 cores=0,2,4,6
/proc/5155/task/5165/stat : 5165 (java) S 5153 5153 25300 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 19 0 409456232 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084344518640 140085010176642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5169] ppid=5153 vsize=15486016 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5169/stat : 5169 (java) S 5153 5153 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409456233 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084343464928 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5171] ppid=5153 vsize=15486016 memory=916 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5171/stat : 5171 (java) S 5153 5153 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409456233 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084342412288 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5176] ppid=5153 vsize=15486016 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5176/stat : 5176 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084341360848 140085010184091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5177] ppid=5153 vsize=15486016 memory=1452 CPUtime=3.29 cores=0,2,4,6
/proc/5155/task/5177/stat : 5177 (java) S 5153 5153 25300 0 -1 1077944384 6858 0 0 0 328 1 0 0 20 0 19 0 409456236 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084340308464 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5178] ppid=5153 vsize=15486016 memory=8112282956445269571 CPUtime=2.89 cores=0,2,4,6
/proc/5155/task/5178/stat : 5178 (java) S 5153 5153 25300 0 -1 1077944384 8393 0 0 0 288 1 0 0 20 0 19 0 409456236 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084339255920 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5179] ppid=5153 vsize=15486016 memory=2832 CPUtime=0.87 cores=0,2,4,6
/proc/5155/task/5179/stat : 5179 (java) S 5153 5153 25300 0 -1 1077944384 5927 0 0 0 86 1 0 0 20 0 19 0 409456236 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084338203376 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5180] ppid=5153 vsize=15486016 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5180/stat : 5180 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084337151072 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5181] ppid=5153 vsize=15486016 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5181/stat : 5181 (java) S 5153 5153 25300 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084336097584 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5338] ppid=5153 vsize=15486016 memory=744 CPUtime=15.7 cores=0,2,4,6
/proc/5155/task/5338/stat : 5338 (java) R 5153 5153 25300 0 -1 4202560 436 0 0 0 1570 0 0 0 20 0 19 0 409457308 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084323728696 140084610375243 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5339] ppid=5153 vsize=15486016 memory=8296 CPUtime=15.44 cores=0,2,4,6
/proc/5155/task/5339/stat : 5339 (java) R 5153 5153 25300 0 -1 4202560 1152 0 0 0 1544 0 0 0 20 0 19 0 409457308 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084324782024 140084611077012 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5340] ppid=5153 vsize=15486016 memory=5952 CPUtime=15.58 cores=0,2,4,6
/proc/5155/task/5340/stat : 5340 (java) R 5153 5153 25300 0 -1 4202560 735 0 0 0 1558 0 0 0 20 0 19 0 409457308 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084326887528 140084608420981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5341] ppid=5153 vsize=15486016 memory=1124 CPUtime=15.67 cores=0,2,4,6
/proc/5155/task/5341/stat : 5341 (java) R 5153 5153 25300 0 -1 4202560 475 0 0 0 1567 0 0 0 20 0 19 0 409457308 15857680384 94057 33554432000 4194304 4196468 140732447359520 140084320579088 140084610679824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
Current children cumulated CPU time: 95.25 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 377680 KiB
[startup+27.4054 s]
/proc/loadavg: 6.52 7.31 7.36 10/238 5348
/proc/meminfo: memFree=30531232/32770624 swapFree=66933688/67108860
[pid=5153] ppid=5150 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5153/stat : 5153 (xcsp3-exec) S 5150 5153 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409456229 115843072 363 33554432000 4194304 5098028 140722218513968 140722218512072 140119812854396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25931776 140722218521466 140722218521709 140722218521709 140722218524618 0
/proc/5153/statm: 28282 363 304 221 0 87 0
[pid=5155] ppid=5153 vsize=15486016 memory=376248 CPUtime=98.45 cores=0,2,4,6
/proc/5155/stat : 5155 (java) S 5153 5153 25300 0 -1 1077944320 41455 0 0 0 9827 18 0 0 20 0 19 0 409456230 15857680384 94062 33554432000 4194304 4196468 140732447359520 140732447342064 140085010165495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
/proc/5155/statm: 3871504 94062 3526 1 0 3832606 0
[pid=5155/tid=5156] ppid=5153 vsize=15486016 memory=8112282956445269571 CPUtime=0.74 cores=0,2,4,6
/proc/5155/task/5156/stat : 5156 (java) S 5153 5153 25300 0 -1 1077944384 9571 0 0 0 70 4 0 0 20 0 19 0 409456230 15857680384 94062 33554432000 4194304 4196468 140732447359520 140085014406272 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5157] ppid=5153 vsize=15486016 memory=376212 CPUtime=0.04 cores=0,2,4,6
/proc/5155/task/5157/stat : 5157 (java) S 5153 5153 25300 0 -1 1077944384 1369 0 0 0 3 1 0 0 20 0 19 0 409456231 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084602989328 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5158] ppid=5153 vsize=15486016 memory=1332 CPUtime=0.04 cores=0,2,4,6
/proc/5155/task/5158/stat : 5158 (java) S 5153 5153 25300 0 -1 1077944384 171 0 0 0 3 1 0 0 20 0 19 0 409456231 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084601936784 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5159] ppid=5153 vsize=15486016 memory=1564 CPUtime=0.05 cores=0,2,4,6
/proc/5155/task/5159/stat : 5159 (java) S 5153 5153 25300 0 -1 1077944384 204 0 0 0 3 2 0 0 20 0 19 0 409456231 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084600884240 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5160] ppid=5153 vsize=15486016 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/5155/task/5160/stat : 5160 (java) S 5153 5153 25300 0 -1 1077944384 324 0 0 0 3 2 0 0 20 0 19 0 409456231 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084599831696 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5165] ppid=5153 vsize=15486016 memory=376212 CPUtime=0.01 cores=0,2,4,6
/proc/5155/task/5165/stat : 5165 (java) S 5153 5153 25300 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 19 0 409456232 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084344518640 140085010176642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5169] ppid=5153 vsize=15486016 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5169/stat : 5169 (java) S 5153 5153 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409456233 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084343464928 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5171] ppid=5153 vsize=15486016 memory=376212 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5171/stat : 5171 (java) S 5153 5153 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409456233 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084342412288 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5176] ppid=5153 vsize=15486016 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5176/stat : 5176 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084341360848 140085010184091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5177] ppid=5153 vsize=15486016 memory=376212 CPUtime=3.32 cores=0,2,4,6
/proc/5155/task/5177/stat : 5177 (java) S 5153 5153 25300 0 -1 1077944384 7082 0 0 0 331 1 0 0 20 0 19 0 409456236 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084340308464 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5178] ppid=5153 vsize=15486016 memory=2800 CPUtime=2.89 cores=0,2,4,6
/proc/5155/task/5178/stat : 5178 (java) S 5153 5153 25300 0 -1 1077944384 8393 0 0 0 288 1 0 0 20 0 19 0 409456236 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084339255920 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5179] ppid=5153 vsize=15486016 memory=1448 CPUtime=0.87 cores=0,2,4,6
/proc/5155/task/5179/stat : 5179 (java) S 5153 5153 25300 0 -1 1077944384 5927 0 0 0 86 1 0 0 20 0 19 0 409456236 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084338203376 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5180] ppid=5153 vsize=15486016 memory=312680 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5180/stat : 5180 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084337151072 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5181] ppid=5153 vsize=15486016 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5181/stat : 5181 (java) S 5153 5153 25300 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084336097584 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5338] ppid=5153 vsize=15486016 memory=1412 CPUtime=16.48 cores=0,2,4,6
/proc/5155/task/5338/stat : 5338 (java) R 5153 5153 25300 0 -1 4202560 520 0 0 0 1648 0 0 0 20 0 19 0 409457308 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084323728696 140084609569941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5339] ppid=5153 vsize=15486016 memory=2824 CPUtime=16.23 cores=0,2,4,6
/proc/5155/task/5339/stat : 5339 (java) R 5153 5153 25300 0 -1 4202560 1358 0 0 0 1623 0 0 0 20 0 19 0 409457308 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084324782024 140084612281368 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5340] ppid=5153 vsize=15486016 memory=1452 CPUtime=16.39 cores=0,2,4,6
/proc/5155/task/5340/stat : 5340 (java) R 5153 5153 25300 0 -1 4202560 1057 0 0 0 1639 0 0 0 20 0 19 0 409457308 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084326887768 140084611384529 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5341] ppid=5153 vsize=15486016 memory=8112282956445269571 CPUtime=16.47 cores=0,2,4,6
/proc/5155/task/5341/stat : 5341 (java) R 5153 5153 25300 0 -1 4202560 504 0 0 0 1647 0 0 0 20 0 19 0 409457308 15857680384 94062 33554432000 4194304 4196468 140732447359520 140084320579088 140084610679529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
Current children cumulated CPU time: 98.45 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 377700 KiB
[startup+27.6009 s]
/proc/loadavg: 6.52 7.31 7.36 10/238 5348
/proc/meminfo: memFree=30531232/32770624 swapFree=66933688/67108860
[pid=5153] ppid=5150 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5153/stat : 5153 (xcsp3-exec) S 5150 5153 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409456229 115843072 363 33554432000 4194304 5098028 140722218513968 140722218512072 140119812854396 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25931776 140722218521466 140722218521709 140722218521709 140722218524618 0
/proc/5153/statm: 28282 363 304 221 0 87 0
[pid=5155] ppid=5153 vsize=15486016 memory=376280 CPUtime=99 cores=0,2,4,6
/proc/5155/stat : 5155 (java) S 5153 5153 25300 0 -1 1077944320 43151 0 0 0 9882 18 0 0 20 0 19 0 409456230 15857680384 94070 33554432000 4194304 4196468 140732447359520 140732447342064 140085010165495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
/proc/5155/statm: 3871504 94070 3526 1 0 3832606 0
[pid=5155/tid=5156] ppid=5153 vsize=15486016 memory=1564 CPUtime=0.74 cores=0,2,4,6
/proc/5155/task/5156/stat : 5156 (java) S 5153 5153 25300 0 -1 1077944384 9571 0 0 0 70 4 0 0 20 0 19 0 409456230 15857680384 94070 33554432000 4194304 4196468 140732447359520 140085014406272 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5157] ppid=5153 vsize=15486016 memory=976 CPUtime=0.04 cores=0,2,4,6
/proc/5155/task/5157/stat : 5157 (java) S 5153 5153 25300 0 -1 1077944384 1369 0 0 0 3 1 0 0 20 0 19 0 409456231 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084602989328 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5158] ppid=5153 vsize=15486016 memory=772 CPUtime=0.04 cores=0,2,4,6
/proc/5155/task/5158/stat : 5158 (java) S 5153 5153 25300 0 -1 1077944384 171 0 0 0 3 1 0 0 20 0 19 0 409456231 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084601936784 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5159] ppid=5153 vsize=15486016 memory=3932 CPUtime=0.05 cores=0,2,4,6
/proc/5155/task/5159/stat : 5159 (java) S 5153 5153 25300 0 -1 1077944384 204 0 0 0 3 2 0 0 20 0 19 0 409456231 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084600884240 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5160] ppid=5153 vsize=15486016 memory=2832 CPUtime=0.05 cores=0,2,4,6
/proc/5155/task/5160/stat : 5160 (java) S 5153 5153 25300 0 -1 1077944384 324 0 0 0 3 2 0 0 20 0 19 0 409456231 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084599831696 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5165] ppid=5153 vsize=15486016 memory=1548 CPUtime=0.01 cores=0,2,4,6
/proc/5155/task/5165/stat : 5165 (java) S 5153 5153 25300 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 19 0 409456232 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084344518640 140085010176642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5169] ppid=5153 vsize=15486016 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5169/stat : 5169 (java) S 5153 5153 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409456233 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084343464928 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5171] ppid=5153 vsize=15486016 memory=744 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5171/stat : 5171 (java) S 5153 5153 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409456233 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084342412288 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5176] ppid=5153 vsize=15486016 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5176/stat : 5176 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084341360848 140085010184091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5177] ppid=5153 vsize=15486016 memory=5952 CPUtime=3.32 cores=0,2,4,6
/proc/5155/task/5177/stat : 5177 (java) S 5153 5153 25300 0 -1 1077944384 7085 0 0 0 331 1 0 0 20 0 19 0 409456236 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084340308464 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5178] ppid=5153 vsize=15486016 memory=1124 CPUtime=2.91 cores=0,2,4,6
/proc/5155/task/5178/stat : 5178 (java) S 5153 5153 25300 0 -1 1077944384 9885 0 0 0 290 1 0 0 20 0 19 0 409456236 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084339255920 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5179] ppid=5153 vsize=15486016 memory=14008 CPUtime=0.87 cores=0,2,4,6
/proc/5155/task/5179/stat : 5179 (java) S 5153 5153 25300 0 -1 1077944384 5932 0 0 0 86 1 0 0 20 0 19 0 409456236 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084338203376 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5180] ppid=5153 vsize=15486016 memory=11928 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5180/stat : 5180 (java) S 5153 5153 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084337151072 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5181] ppid=5153 vsize=15486016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5155/task/5181/stat : 5181 (java) S 5153 5153 25300 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 19 0 409456236 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084336097584 140085010176642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5338] ppid=5153 vsize=15486016 memory=-6896061313178951780 CPUtime=16.6 cores=0,2,4,6
/proc/5155/task/5338/stat : 5338 (java) S 5153 5153 25300 0 -1 1077944384 607 0 0 0 1660 0 0 0 20 0 19 0 409457308 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084323732912 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5339] ppid=5153 vsize=15486016 memory=-3620173217431270332 CPUtime=16.35 cores=0,2,4,6
/proc/5155/task/5339/stat : 5339 (java) S 5153 5153 25300 0 -1 1077944384 1463 0 0 0 1635 0 0 0 20 0 19 0 409457308 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084324787152 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5340] ppid=5153 vsize=15486016 memory=-4504271847523324239 CPUtime=16.51 cores=0,2,4,6
/proc/5155/task/5340/stat : 5340 (java) S 5153 5153 25300 0 -1 1077944384 1061 0 0 0 1651 0 0 0 20 0 19 0 409457308 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084326892624 140085010175701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
[pid=5155/tid=5341] ppid=5153 vsize=15486016 memory=-1751206868705893467 CPUtime=16.65 cores=0,2,4,6
/proc/5155/task/5341/stat : 5341 (java) R 5153 5153 25300 0 -1 4202560 504 0 0 0 1665 0 0 0 20 0 19 0 409457308 15857680384 94070 33554432000 4194304 4196468 140732447359520 140084320579088 140084610679679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31608832 140732447368175 140732447368346 140732447368346 140732447371215 0
Current children cumulated CPU time: 99 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 377732 KiB
Child status: 0
Real time (s): 27.6303
CPU time (s): 99.0402
CPU user time (s): 98.8453
CPU system time (s): 0.194964
CPU usage (%): 358.448
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 377732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.8453
system time used= 0.194964
maximum resident set size= 376348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44854
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= 3957
involuntary context switches= 2509
# summary of solver processes directly reported to runsolver:
# pid: 5153
# total CPU time (s): 99.0402
# total CPU user time (s): 98.8453
# total CPU system time (s): 0.194964
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.196226 second user time and 0.345135 second system time
The end