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 (7808 MiB free)
memory of node 1: 16384 MiB (8266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403626-1568991642/watcher-4403626-1568991642 -o /tmp/evaluation-result-4403626-1568991642/solver-4403626-1568991642 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11774 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 710863237 HOME/instance-4403626-1568991642.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17230, runsolver pid=17227
[startup+0.100097 s]*
/proc/loadavg: 8.09 8.19 7.88 7/233 17246
/proc/meminfo: memFree=16442788/32770624 swapFree=66974524/67108860
[pid=17230] ppid=17227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17230/stat : 17230 (xcsp3-exec) S 17227 17230 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475430985 115843072 363 33554432000 4194304 5098028 140733027937280 140733027935384 140323272958588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32026624 140733027939195 140733027939437 140733027939437 140733027942346 0
/proc/17230/statm: 28282 363 305 221 0 87 0
[pid=17232] ppid=17230 vsize=15144776 memory=30204 CPUtime=0.13 cores=1,3,5,7
/proc/17232/stat : 17232 (java) S 17230 17230 11742 0 -1 1077944320 5481 0 0 0 12 1 0 0 20 0 15 0 475430985 15508250624 7551 33554432000 4194304 4196468 140728190959408 140728190941952 140347815128823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
/proc/17232/statm: 3786194 7551 3143 1 0 3748377 0
[pid=17232/tid=17233] ppid=17230 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=1,3,5,7
/proc/17232/task/17233/stat : 17233 (java) R 17230 17230 11742 0 -1 4202560 3367 0 0 0 8 1 0 0 20 0 15 0 475430985 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347819361952 140347815140758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17234] ppid=17230 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17234/stat : 17234 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347726785680 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17235] ppid=17230 vsize=15144776 memory=140072341448320 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17235/stat : 17235 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347725732880 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17236] ppid=17230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17236/stat : 17236 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347724680080 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17237] ppid=17230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17237/stat : 17237 (java) S 17230 17230 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430986 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347723627280 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17238] ppid=17230 vsize=15144776 memory=140072341448320 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17238/stat : 17238 (java) S 17230 17230 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430988 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347283876208 140347815139970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17239] ppid=17230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17239/stat : 17239 (java) S 17230 17230 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475430988 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347282822176 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17240] ppid=17230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17240/stat : 17240 (java) S 17230 17230 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475430988 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347281769328 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17241] ppid=17230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17241/stat : 17241 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430991 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347280717648 140347815147419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17242] ppid=17230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17242/stat : 17242 (java) R 17230 17230 11742 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 475430991 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347279666032 140347815139970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17243] ppid=17230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17243/stat : 17243 (java) S 17230 17230 11742 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 475430991 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347278613232 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17244] ppid=17230 vsize=15144776 memory=140072341448320 CPUtime=0.02 cores=1,3,5,7
/proc/17232/task/17244/stat : 17244 (java) R 17230 17230 11742 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 475430991 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347277560432 140347815150170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17245] ppid=17230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17245/stat : 17245 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430991 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347276507872 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17246] ppid=17230 vsize=15144776 memory=140072341448320 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17246/stat : 17246 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430991 15508250624 7551 33554432000 4194304 4196468 140728190959408 140347275455152 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31656 KiB
[startup+0.21338 s]*
/proc/loadavg: 8.09 8.19 7.88 6/233 17246
/proc/meminfo: memFree=16429920/32770624 swapFree=66974524/67108860
[pid=17230] ppid=17227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17230/stat : 17230 (xcsp3-exec) S 17227 17230 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475430985 115843072 363 33554432000 4194304 5098028 140733027937280 140733027935384 140323272958588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32026624 140733027939195 140733027939437 140733027939437 140733027942346 0
/proc/17230/statm: 28282 363 305 221 0 87 0
[pid=17232] ppid=17230 vsize=15144776 memory=41044 CPUtime=0.34 cores=1,3,5,7
/proc/17232/stat : 17232 (java) S 17230 17230 11742 0 -1 1077944320 8997 0 0 0 31 3 0 0 20 0 15 0 475430985 15508250624 10261 33554432000 4194304 4196468 140728190959408 140728190941952 140347815128823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
/proc/17232/statm: 3786194 10261 3303 1 0 3748377 0
[pid=17232/tid=17233] ppid=17230 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/17232/task/17233/stat : 17233 (java) R 17230 17230 11742 0 -1 4202560 6196 0 0 0 17 2 0 0 20 0 15 0 475430985 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347819367136 140347799172453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17234] ppid=17230 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17234/stat : 17234 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347726785680 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17235] ppid=17230 vsize=15144776 memory=140072344949669 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17235/stat : 17235 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347725732880 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17236] ppid=17230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17236/stat : 17236 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347724680080 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17237] ppid=17230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17237/stat : 17237 (java) S 17230 17230 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430986 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347723627280 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17238] ppid=17230 vsize=15144776 memory=140072341448320 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17238/stat : 17238 (java) S 17230 17230 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475430988 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347283876208 140347815139970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17239] ppid=17230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17239/stat : 17239 (java) S 17230 17230 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475430988 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347282822176 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17240] ppid=17230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17240/stat : 17240 (java) S 17230 17230 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475430988 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347281769328 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17241] ppid=17230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17241/stat : 17241 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430991 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347280717648 140347815147419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17242] ppid=17230 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17232/task/17242/stat : 17242 (java) S 17230 17230 11742 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 15 0 475430991 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347279666032 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17243] ppid=17230 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17232/task/17243/stat : 17243 (java) S 17230 17230 11742 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 475430991 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347278613232 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17244] ppid=17230 vsize=15144776 memory=140072341448320 CPUtime=0.08 cores=1,3,5,7
/proc/17232/task/17244/stat : 17244 (java) R 17230 17230 11742 0 -1 4202560 721 0 0 0 8 0 0 0 20 0 15 0 475430991 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347277560432 140347793944657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17245] ppid=17230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17245/stat : 17245 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430991 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347276507872 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17246] ppid=17230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17246/stat : 17246 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430991 15508250624 10261 33554432000 4194304 4196468 140728190959408 140347275455152 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42496 KiB
[startup+0.319307 s]*
/proc/loadavg: 8.09 8.19 7.88 7/233 17246
/proc/meminfo: memFree=16422884/32770624 swapFree=66974524/67108860
[pid=17230] ppid=17227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17230/stat : 17230 (xcsp3-exec) S 17227 17230 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475430985 115843072 363 33554432000 4194304 5098028 140733027937280 140733027935384 140323272958588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32026624 140733027939195 140733027939437 140733027939437 140733027942346 0
/proc/17230/statm: 28282 363 305 221 0 87 0
[pid=17232] ppid=17230 vsize=15149032 memory=50616 CPUtime=0.53 cores=1,3,5,7
/proc/17232/stat : 17232 (java) S 17230 17230 11742 0 -1 1077944320 10465 0 0 0 49 4 0 0 20 0 15 0 475430985 15512608768 12654 33554432000 4194304 4196468 140728190959408 140728190941952 140347815128823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
/proc/17232/statm: 3787258 12654 3372 1 0 3748377 0
[pid=17232/tid=17233] ppid=17230 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/17232/task/17233/stat : 17233 (java) R 17230 17230 11742 0 -1 4202560 7447 0 0 0 27 3 0 0 20 0 15 0 475430985 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347819360592 140347815150749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17234] ppid=17230 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17234/stat : 17234 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347726785680 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17235] ppid=17230 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17235/stat : 17235 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347725732880 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17236] ppid=17230 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17236/stat : 17236 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430986 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347724680080 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17237] ppid=17230 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17237/stat : 17237 (java) S 17230 17230 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430986 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347723627280 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17238] ppid=17230 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17238/stat : 17238 (java) S 17230 17230 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475430988 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347283876208 140347815139970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17239] ppid=17230 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17239/stat : 17239 (java) S 17230 17230 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475430988 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347282822176 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17240] ppid=17230 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17240/stat : 17240 (java) S 17230 17230 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475430988 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347281769328 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17241] ppid=17230 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17241/stat : 17241 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430991 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347280717648 140347815147419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17242] ppid=17230 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/17232/task/17242/stat : 17242 (java) S 17230 17230 11742 0 -1 1077944384 628 0 0 0 5 0 0 0 20 0 15 0 475430991 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347279666032 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17243] ppid=17230 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17232/task/17243/stat : 17243 (java) S 17230 17230 11742 0 -1 1077944384 271 0 0 0 4 0 0 0 20 0 15 0 475430991 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347278613232 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17244] ppid=17230 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17232/task/17244/stat : 17244 (java) S 17230 17230 11742 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 15 0 475430991 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347277560432 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17245] ppid=17230 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17245/stat : 17245 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430991 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347276507872 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17246] ppid=17230 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17246/stat : 17246 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430991 15512608768 12654 33554432000 4194304 4196468 140728190959408 140347275455152 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52068 KiB
[startup+0.701252 s]
/proc/loadavg: 8.09 8.19 7.88 12/237 17302
/proc/meminfo: memFree=16314332/32770624 swapFree=66974524/67108860
[pid=17230] ppid=17227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17230/stat : 17230 (xcsp3-exec) S 17227 17230 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475430985 115843072 363 33554432000 4194304 5098028 140733027937280 140733027935384 140323272958588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32026624 140733027939195 140733027939437 140733027939437 140733027942346 0
/proc/17230/statm: 28282 363 305 221 0 87 0
[pid=17232] ppid=17230 vsize=15551568 memory=187228 CPUtime=1.68 cores=1,3,5,7
/proc/17232/stat : 17232 (java) S 17230 17230 11742 0 -1 1077944320 18006 0 0 0 159 9 0 0 20 0 19 0 475430985 15924805632 46807 33554432000 4194304 4196468 140728190959408 140728190941952 140347815128823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
/proc/17232/statm: 3887892 46807 3484 1 0 3848992 0
[pid=17232/tid=17233] ppid=17230 vsize=15551568 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/17232/task/17233/stat : 17233 (java) S 17230 17230 11742 0 -1 1077944384 8585 0 0 0 41 4 0 0 20 0 19 0 475430985 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347819369600 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17234] ppid=17230 vsize=15551568 memory=287752015 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17234/stat : 17234 (java) S 17230 17230 11742 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347726785680 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17235] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17235/stat : 17235 (java) S 17230 17230 11742 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347725732880 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17236] ppid=17230 vsize=15551568 memory=54392 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17236/stat : 17236 (java) S 17230 17230 11742 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347724680080 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17237] ppid=17230 vsize=15551568 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17237/stat : 17237 (java) S 17230 17230 11742 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347723627280 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17238] ppid=17230 vsize=15551568 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17238/stat : 17238 (java) S 17230 17230 11742 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347283876208 140347815139970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17239] ppid=17230 vsize=15551568 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17239/stat : 17239 (java) S 17230 17230 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347282822240 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17240] ppid=17230 vsize=15551568 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17240/stat : 17240 (java) S 17230 17230 11742 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347281769344 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17241] ppid=17230 vsize=15551568 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17241/stat : 17241 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347280717648 140347815147419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17242] ppid=17230 vsize=15551568 memory=1724 CPUtime=0.25 cores=1,3,5,7
/proc/17232/task/17242/stat : 17242 (java) R 17230 17230 11742 0 -1 4202560 1278 0 0 0 25 0 0 0 20 0 19 0 475430991 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347279647048 140347798629010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17243] ppid=17230 vsize=15551568 memory=6088 CPUtime=0.25 cores=1,3,5,7
/proc/17232/task/17243/stat : 17243 (java) R 17230 17230 11742 0 -1 4202560 872 0 0 0 25 0 0 0 20 0 19 0 475430991 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347278601312 140347796665098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17244] ppid=17230 vsize=15551568 memory=10564 CPUtime=0.3 cores=1,3,5,7
/proc/17232/task/17244/stat : 17244 (java) S 17230 17230 11742 0 -1 1077944384 1641 0 0 0 30 0 0 0 20 0 19 0 475430991 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347277560432 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17245] ppid=17230 vsize=15551568 memory=716 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17245/stat : 17245 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347276507872 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17246] ppid=17230 vsize=15551568 memory=780 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17246/stat : 17246 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 46807 33554432000 4194304 4196468 140728190959408 140347275455152 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 188680 KiB
[startup+1.50926 s]
/proc/loadavg: 8.00 8.17 7.87 12/237 17514
/proc/meminfo: memFree=16271884/32770624 swapFree=66974524/67108860
[pid=17230] ppid=17227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17230/stat : 17230 (xcsp3-exec) S 17227 17230 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475430985 115843072 363 33554432000 4194304 5098028 140733027937280 140733027935384 140323272958588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32026624 140733027939195 140733027939437 140733027939437 140733027942346 0
/proc/17230/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/17232/task/17246/stat : 17246 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 50492 33554432000 4194304 4196468 140728190959408 140347275455152 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17511] ppid=17230 vsize=15551568 memory=1432 CPUtime=0.57 cores=1,3,5,7
/proc/17232/task/17511/stat : 17511 (java) R 17230 17230 11742 0 -1 4202560 17 0 0 0 57 0 0 0 20 0 19 0 475431082 15924805632 50492 33554432000 4194304 4196468 140728190959408 140347264130680 140347405182346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17512] ppid=17230 vsize=15551568 memory=1764 CPUtime=0.41 cores=1,3,5,7
/proc/17232/task/17512/stat : 17512 (java) R 17230 17230 11742 0 -1 4202560 18 0 0 0 41 0 0 0 20 0 19 0 475431082 15924805632 50492 33554432000 4194304 4196468 140728190959408 140347260973208 140347405533747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17513] ppid=17230 vsize=15551568 memory=111632 CPUtime=0.38 cores=1,3,5,7
/proc/17232/task/17513/stat : 17513 (java) R 17230 17230 11742 0 -1 4202560 18 0 0 0 38 0 0 0 20 0 19 0 475431082 15924805632 50492 33554432000 4194304 4196468 140728190959408 140347266235016 140347405033261 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17514] ppid=17230 vsize=15551568 memory=804 CPUtime=0.43 cores=1,3,5,7
/proc/17232/task/17514/stat : 17514 (java) R 17230 17230 11742 0 -1 4202560 17 0 0 0 43 0 0 0 20 0 19 0 475431082 15924805632 50492 33554432000 4194304 4196468 140728190959408 140347265186904 140347405032530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 203420 KiB
[startup+2.00379 s]*
/proc/loadavg: 8.00 8.17 7.87 12/238 17515
/proc/meminfo: memFree=16262732/32770624 swapFree=66974528/67108860
[pid=17230] ppid=17227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17230/stat : 17230 (xcsp3-exec) S 17227 17230 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475430985 115843072 363 33554432000 4194304 5098028 140733027937280 140733027935384 140323272958588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32026624 140733027939195 140733027939437 140733027939437 140733027942346 0
/proc/17230/statm: 28282 363 305 221 0 87 0
[pid=17232] ppid=17230 vsize=15551568 memory=201984 CPUtime=6.88 cores=1,3,5,7
/proc/17232/stat : 17232 (java) S 17230 17230 11742 0 -1 1077944320 22286 0 0 0 678 10 0 0 20 0 19 0 475430985 15924805632 50496 33554432000 4194304 4196468 140728190959408 140728190941952 140347815128823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
/proc/17232/statm: 3887892 50496 3497 1 0 3848992 0
[pid=17232/tid=17233] ppid=17230 vsize=15551568 memory=-6933350163988321991 CPUtime=0.46 cores=1,3,5,7
/proc/17232/task/17233/stat : 17233 (java) S 17230 17230 11742 0 -1 1077944384 8586 0 0 0 42 4 0 0 20 0 19 0 475430985 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347819369600 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17234] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17234/stat : 17234 (java) S 17230 17230 11742 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347726785680 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17235] ppid=17230 vsize=15551568 memory=140072238186615 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17235/stat : 17235 (java) S 17230 17230 11742 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347725732880 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17236] ppid=17230 vsize=15551568 memory=280144476373232 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17236/stat : 17236 (java) S 17230 17230 11742 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347724680080 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17237] ppid=17230 vsize=15551568 memory=140072238377255 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17237/stat : 17237 (java) S 17230 17230 11742 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347723627280 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17238] ppid=17230 vsize=15551568 memory=280144579634936 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17238/stat : 17238 (java) S 17230 17230 11742 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347283876208 140347815139970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17239] ppid=17230 vsize=15551568 memory=140072238384167 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17239/stat : 17239 (java) S 17230 17230 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347282822240 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17240] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17240/stat : 17240 (java) S 17230 17230 11742 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347281769344 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17241] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17241/stat : 17241 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347280717648 140347815147419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17242] ppid=17230 vsize=15551568 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/17232/task/17242/stat : 17242 (java) S 17230 17230 11742 0 -1 1077944384 2919 0 0 0 88 0 0 0 20 0 19 0 475430991 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347279666032 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17243] ppid=17230 vsize=15551568 memory=140072238395663 CPUtime=0.76 cores=1,3,5,7
/proc/17232/task/17243/stat : 17243 (java) S 17230 17230 11742 0 -1 1077944384 2357 0 0 0 76 0 0 0 20 0 19 0 475430991 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347278613232 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17244] ppid=17230 vsize=15551568 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/17232/task/17244/stat : 17244 (java) S 17230 17230 11742 0 -1 1077944384 2125 0 0 0 40 0 0 0 20 0 19 0 475430991 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347277560432 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17245] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17245/stat : 17245 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347276507872 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17246] ppid=17230 vsize=15551568 memory=3688764969806410287 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17246/stat : 17246 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347275455152 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17511] ppid=17230 vsize=15551568 memory=3690611492767325364 CPUtime=0.99 cores=1,3,5,7
/proc/17232/task/17511/stat : 17511 (java) R 17230 17230 11742 0 -1 4202560 17 0 0 0 99 0 0 0 20 0 19 0 475431082 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347264134408 140347405469260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17512] ppid=17230 vsize=15551568 memory=7878495878512653874 CPUtime=0.8 cores=1,3,5,7
/proc/17232/task/17512/stat : 17512 (java) R 17230 17230 11742 0 -1 4202560 18 0 0 0 80 0 0 0 20 0 19 0 475431082 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347260976832 140347405626979 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17513] ppid=17230 vsize=15551568 memory=3472468368569128624 CPUtime=0.78 cores=1,3,5,7
/proc/17232/task/17513/stat : 17513 (java) R 17230 17230 11742 0 -1 4202560 18 0 0 0 78 0 0 0 20 0 19 0 475431082 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347266237512 140347404649335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17514] ppid=17230 vsize=15551568 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/17232/task/17514/stat : 17514 (java) R 17230 17230 11742 0 -1 4202560 17 0 0 0 86 0 0 0 20 0 19 0 475431082 15924805632 50496 33554432000 4194304 4196468 140728190959408 140347265184328 140347404851174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
Current children cumulated CPU time: 6.88 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 203436 KiB
[startup+2.40125 s]
/proc/loadavg: 8.00 8.17 7.87 12/238 17515
/proc/meminfo: memFree=16262732/32770624 swapFree=66974528/67108860
[pid=17230] ppid=17227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17230/stat : 17230 (xcsp3-exec) S 17227 17230 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475430985 115843072 363 33554432000 4194304 5098028 140733027937280 140733027935384 140323272958588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32026624 140733027939195 140733027939437 140733027939437 140733027942346 0
/proc/17230/statm: 28282 363 305 221 0 87 0
[pid=17232] ppid=17230 vsize=15551568 memory=206192 CPUtime=8.36 cores=1,3,5,7
/proc/17232/stat : 17232 (java) S 17230 17230 11742 0 -1 1077944320 22345 0 0 0 826 10 0 0 20 0 19 0 475430985 15924805632 51548 33554432000 4194304 4196468 140728190959408 140728190941952 140347815128823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
/proc/17232/statm: 3887892 51548 3501 1 0 3848992 0
[pid=17232/tid=17233] ppid=17230 vsize=15551568 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/17232/task/17233/stat : 17233 (java) S 17230 17230 11742 0 -1 1077944384 8586 0 0 0 42 4 0 0 20 0 19 0 475430985 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347819369600 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17234] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17234/stat : 17234 (java) S 17230 17230 11742 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347726785680 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17235] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17235/stat : 17235 (java) S 17230 17230 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347725732880 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17236] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17236/stat : 17236 (java) S 17230 17230 11742 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347724680080 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17237] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17237/stat : 17237 (java) S 17230 17230 11742 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347723627280 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17238] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17238/stat : 17238 (java) S 17230 17230 11742 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347283876208 140347815139970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17239] ppid=17230 vsize=15551568 memory=140072238331719 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17239/stat : 17239 (java) S 17230 17230 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347282822240 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17240] ppid=17230 vsize=15551568 memory=280144476639920 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17240/stat : 17240 (java) S 17230 17230 11742 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347281769344 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17241] ppid=17230 vsize=15551568 memory=148116242204340 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17241/stat : 17241 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347280717648 140347815147419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17242] ppid=17230 vsize=15551568 memory=1452 CPUtime=0.89 cores=1,3,5,7
/proc/17232/task/17242/stat : 17242 (java) S 17230 17230 11742 0 -1 1077944384 2922 0 0 0 89 0 0 0 20 0 19 0 475430991 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347279666032 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17243] ppid=17230 vsize=15551568 memory=186440 CPUtime=0.81 cores=1,3,5,7
/proc/17232/task/17243/stat : 17243 (java) S 17230 17230 11742 0 -1 1077944384 2375 0 0 0 81 0 0 0 20 0 19 0 475430991 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347278613232 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17244] ppid=17230 vsize=15551568 memory=14134446152486315 CPUtime=0.41 cores=1,3,5,7
/proc/17232/task/17244/stat : 17244 (java) R 17230 17230 11742 0 -1 1077944384 2145 0 0 0 41 0 0 0 20 0 19 0 475430991 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347277560432 140347815139970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17245] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17245/stat : 17245 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347276507872 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17246] ppid=17230 vsize=15551568 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17246/stat : 17246 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347275455152 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17511] ppid=17230 vsize=15551568 memory=6656426216303648864 CPUtime=1.31 cores=1,3,5,7
/proc/17232/task/17511/stat : 17511 (java) R 17230 17230 11742 0 -1 4202560 19 0 0 0 131 0 0 0 20 0 19 0 475431082 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347264130432 140347405668608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17512] ppid=17230 vsize=15551568 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/17232/task/17512/stat : 17512 (java) R 17230 17230 11742 0 -1 4202560 19 0 0 0 116 0 0 0 20 0 19 0 475431082 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347260974600 140347405660479 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17513] ppid=17230 vsize=15551568 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/17232/task/17513/stat : 17513 (java) R 17230 17230 11742 0 -1 4202560 21 0 0 0 115 0 0 0 20 0 19 0 475431082 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347266237608 140347405033006 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17514] ppid=17230 vsize=15551568 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/17232/task/17514/stat : 17514 (java) R 17230 17230 11742 0 -1 4202560 18 0 0 0 120 0 0 0 20 0 19 0 475431082 15924805632 51548 33554432000 4194304 4196468 140728190959408 140347265186504 140347406144029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 207644 KiB
[startup+2.50125 s]
/proc/loadavg: 8.00 8.17 7.87 12/238 17515
/proc/meminfo: memFree=16262732/32770624 swapFree=66974528/67108860
[pid=17230] ppid=17227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17230/stat : 17230 (xcsp3-exec) S 17227 17230 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475430985 115843072 363 33554432000 4194304 5098028 140733027937280 140733027935384 140323272958588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32026624 140733027939195 140733027939437 140733027939437 140733027942346 0
/proc/17230/statm: 28282 363 305 221 0 87 0
[pid=17232] ppid=17230 vsize=15551568 memory=222832 CPUtime=8.76 cores=1,3,5,7
/proc/17232/stat : 17232 (java) S 17230 17230 11742 0 -1 1077944320 22357 0 0 0 866 10 0 0 20 0 19 0 475430985 15924805632 55708 33554432000 4194304 4196468 140728190959408 140728190941952 140347815128823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
/proc/17232/statm: 3887892 55708 3501 1 0 3848992 0
[pid=17232/tid=17233] ppid=17230 vsize=15551568 memory=206192 CPUtime=0.46 cores=1,3,5,7
/proc/17232/task/17233/stat : 17233 (java) S 17230 17230 11742 0 -1 1077944384 8586 0 0 0 42 4 0 0 20 0 19 0 475430985 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347819369600 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17234] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17234/stat : 17234 (java) S 17230 17230 11742 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347726785680 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17235] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17235/stat : 17235 (java) S 17230 17230 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347725732880 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17236] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17236/stat : 17236 (java) S 17230 17230 11742 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347724680080 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17237] ppid=17230 vsize=15551568 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17237/stat : 17237 (java) S 17230 17230 11742 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475430986 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347723627280 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17238] ppid=17230 vsize=15551568 memory=201684 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17238/stat : 17238 (java) S 17230 17230 11742 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347283876208 140347815139970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17239] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17239/stat : 17239 (java) S 17230 17230 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347282822240 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17240] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17240/stat : 17240 (java) S 17230 17230 11742 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475430988 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347281769344 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17241] ppid=17230 vsize=15551568 memory=57 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17241/stat : 17241 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347280717648 140347815147419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17242] ppid=17230 vsize=15551568 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/17232/task/17242/stat : 17242 (java) S 17230 17230 11742 0 -1 1077944384 2922 0 0 0 89 0 0 0 20 0 19 0 475430991 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347279666032 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17243] ppid=17230 vsize=15551568 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/17232/task/17243/stat : 17243 (java) S 17230 17230 11742 0 -1 1077944384 2375 0 0 0 81 0 0 0 20 0 19 0 475430991 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347278613232 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17244] ppid=17230 vsize=15551568 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/17232/task/17244/stat : 17244 (java) S 17230 17230 11742 0 -1 1077944384 2149 0 0 0 41 0 0 0 20 0 19 0 475430991 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347277560432 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17245] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17245/stat : 17245 (java) S 17230 17230 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347276507872 140347815139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17246] ppid=17230 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17232/task/17246/stat : 17246 (java) S 17230 17230 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475430991 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347275455152 140347815139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17511] ppid=17230 vsize=15551568 memory=199956 CPUtime=1.41 cores=1,3,5,7
/proc/17232/task/17511/stat : 17511 (java) R 17230 17230 11742 0 -1 4202560 19 0 0 0 141 0 0 0 20 0 19 0 475431082 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347264130432 140347405469053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17512] ppid=17230 vsize=15551568 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/17232/task/17512/stat : 17512 (java) R 17230 17230 11742 0 -1 4202560 22 0 0 0 126 0 0 0 20 0 19 0 475431082 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347260974600 140347405626591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17513] ppid=17230 vsize=15551568 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/17232/task/17513/stat : 17513 (java) R 17230 17230 11742 0 -1 4202560 23 0 0 0 125 0 0 0 20 0 19 0 475431082 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347266236824 140347800339229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
[pid=17232/tid=17514] ppid=17230 vsize=15551568 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/17232/task/17514/stat : 17514 (java) R 17230 17230 11742 0 -1 4202560 21 0 0 0 130 0 0 0 20 0 19 0 475431082 15924805632 55708 33554432000 4194304 4196468 140728190959408 140347265186504 140347405532526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140728190960623 140728190960794 140728190960794 140728190963663 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 224284 KiB
Child status: 0
Real time (s): 2.56367
CPU time (s): 8.99949
CPU user time (s): 8.88459
CPU system time (s): 0.114902
CPU usage (%): 351.039
Max. virtual memory (cumulated for all children) (KiB): 15664696
Max. memory (cumulated for all children) (KiB): 224284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.88459
system time used= 0.114902
maximum resident set size= 244472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22962
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3393
involuntary context switches= 370
# summary of solver processes directly reported to runsolver:
# pid: 17230
# total CPU time (s): 8.99949
# total CPU user time (s): 8.88459
# total CPU system time (s): 0.114902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039618 second user time and 0.072445 second system time
The end