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 (13599 MiB free)
memory of node 1: 16384 MiB (11175 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406186-1569408030/watcher-4406186-1569408030 -o /tmp/evaluation-result-4406186-1569408030/solver-4406186-1569408030 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569407845-31187 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1038066240 HOME/instance-4406186-1569408030.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
solver pid=31318, runsolver pid=31315
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.87 1.80 1.84 4/229 31334
/proc/meminfo: memFree=25350964/32770624 swapFree=66956600/67108860
[pid=31318] ppid=31315 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
[pid=31320] ppid=31318 vsize=15144776 memory=31988 CPUtime=0.13 cores=1,3,5,7
/proc/31320/stat : 31320 (java) S 31318 31318 31155 0 -1 1077944320 5893 0 0 0 11 2 0 0 20 0 15 0 517074321 15508250624 7997 33554432000 4194304 4196468 140733246219664 140733246202208 139919360401143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
/proc/31320/statm: 3786194 7997 3184 1 0 3748377 0
[pid=31320/tid=31321] ppid=31318 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31320/task/31321/stat : 31321 (java) R 31318 31318 31155 0 -1 4202560 3814 0 0 0 8 1 0 0 20 0 15 0 517074322 15508250624 7997 33554432000 4194304 4196468 140733246219664 139919364633872 139919360423069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31322] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31322/stat : 31322 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15508250624 7997 33554432000 4194304 4196468 140733246219664 139919313022096 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31323] ppid=31318 vsize=15144776 memory=140465952728704 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31323/stat : 31323 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15508250624 7997 33554432000 4194304 4196468 140733246219664 139919311969296 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31324] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31324/stat : 31324 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15508250624 7997 33554432000 4194304 4196468 140733246219664 139919310916496 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31325] ppid=31318 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31325/stat : 31325 (java) S 31318 31318 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074322 15508250624 7997 33554432000 4194304 4196468 140733246219664 139919309863696 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31326] ppid=31318 vsize=15144776 memory=140465952728704 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31326/stat : 31326 (java) S 31318 31318 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074324 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918896097648 139919360412290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31327] ppid=31318 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31327/stat : 31327 (java) S 31318 31318 31155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517074324 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918232773664 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31328] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31328/stat : 31328 (java) S 31318 31318 31155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517074324 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918231720816 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31329] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31329/stat : 31329 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918230669136 139919360419739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31330] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31330/stat : 31330 (java) R 31318 31318 31155 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 517074327 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918229617520 139919360412290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31331] ppid=31318 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31331/stat : 31331 (java) R 31318 31318 31155 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 517074327 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918228564720 139919338234000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31332] ppid=31318 vsize=15144776 memory=140465952728704 CPUtime=0.02 cores=1,3,5,7
/proc/31320/task/31332/stat : 31332 (java) R 31318 31318 31155 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 517074327 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918227511920 139919352738052 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31333] ppid=31318 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31333/stat : 31333 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918226459360 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31334] ppid=31318 vsize=15144776 memory=140465952728704 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31334/stat : 31334 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074327 15508250624 7997 33554432000 4194304 4196468 140733246219664 139918225406640 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 33436 KiB
[startup+0.210885 s]*
/proc/loadavg: 1.87 1.80 1.84 5/229 31334
/proc/meminfo: memFree=25339224/32770624 swapFree=66956600/67108860
[pid=31318] ppid=31315 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
[pid=31320] ppid=31318 vsize=15144776 memory=42144 CPUtime=0.34 cores=1,3,5,7
/proc/31320/stat : 31320 (java) S 31318 31318 31155 0 -1 1077944320 9286 0 0 0 31 3 0 0 20 0 15 0 517074321 15508250624 10536 33554432000 4194304 4196468 140733246219664 140733246202208 139919360401143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
/proc/31320/statm: 3786194 10536 3259 1 0 3748377 0
[pid=31320/tid=31321] ppid=31318 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31320/task/31321/stat : 31321 (java) R 31318 31318 31155 0 -1 4202560 6611 0 0 0 18 2 0 0 20 0 15 0 517074322 15508250624 10536 33554432000 4194304 4196468 140733246219664 139919364639456 139919344481660 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31322] ppid=31318 vsize=15144776 memory=2964504 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31322/stat : 31322 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15508250624 10536 33554432000 4194304 4196468 140733246219664 139919313022096 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31323] ppid=31318 vsize=15144776 memory=3473033911204521632 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31323/stat : 31323 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15508250624 10536 33554432000 4194304 4196468 140733246219664 139919311969296 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31324] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31324/stat : 31324 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15508250624 10536 33554432000 4194304 4196468 140733246219664 139919310916496 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31325] ppid=31318 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31325/stat : 31325 (java) S 31318 31318 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074322 15508250624 10536 33554432000 4194304 4196468 140733246219664 139919309863696 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31326] ppid=31318 vsize=15144776 memory=140465952728704 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31326/stat : 31326 (java) S 31318 31318 31155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517074324 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918896097648 139919360412290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31327] ppid=31318 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31327/stat : 31327 (java) S 31318 31318 31155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517074324 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918232773664 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31328] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31328/stat : 31328 (java) S 31318 31318 31155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517074324 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918231720816 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31329] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31329/stat : 31329 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918230669136 139919360419739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31330] ppid=31318 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31320/task/31330/stat : 31330 (java) S 31318 31318 31155 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 517074327 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918229617520 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31331] ppid=31318 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31320/task/31331/stat : 31331 (java) S 31318 31318 31155 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 15 0 517074327 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918228564720 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31332] ppid=31318 vsize=15144776 memory=140465952728704 CPUtime=0.08 cores=1,3,5,7
/proc/31320/task/31332/stat : 31332 (java) S 31318 31318 31155 0 -1 1077944384 776 0 0 0 8 0 0 0 20 0 15 0 517074327 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918227511920 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31333] ppid=31318 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31333/stat : 31333 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918226459360 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31334] ppid=31318 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31334/stat : 31334 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074327 15508250624 10536 33554432000 4194304 4196468 140733246219664 139918225406640 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43592 KiB
[startup+0.31065 s]*
/proc/loadavg: 1.87 1.80 1.84 4/229 31334
/proc/meminfo: memFree=25331200/32770624 swapFree=66956600/67108860
[pid=31318] ppid=31315 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
[pid=31320] ppid=31318 vsize=15149032 memory=52148 CPUtime=0.53 cores=1,3,5,7
/proc/31320/stat : 31320 (java) S 31318 31318 31155 0 -1 1077944320 10824 0 0 0 49 4 0 0 20 0 15 0 517074321 15512608768 13037 33554432000 4194304 4196468 140733246219664 140733246202208 139919360401143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
/proc/31320/statm: 3787258 13037 3369 1 0 3748377 0
[pid=31320/tid=31321] ppid=31318 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31320/task/31321/stat : 31321 (java) R 31318 31318 31155 0 -1 4202560 7807 0 0 0 27 3 0 0 20 0 15 0 517074322 15512608768 13037 33554432000 4194304 4196468 140733246219664 139919364632912 139919360423069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31322] ppid=31318 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31322/stat : 31322 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15512608768 13037 33554432000 4194304 4196468 140733246219664 139919313022096 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31323] ppid=31318 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31323/stat : 31323 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15512608768 13037 33554432000 4194304 4196468 140733246219664 139919311969296 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31324] ppid=31318 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31324/stat : 31324 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15512608768 13037 33554432000 4194304 4196468 140733246219664 139919310916496 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31325] ppid=31318 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31325/stat : 31325 (java) S 31318 31318 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074322 15512608768 13037 33554432000 4194304 4196468 140733246219664 139919309863696 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31326] ppid=31318 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31326/stat : 31326 (java) S 31318 31318 31155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517074324 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918896097648 139919360412290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31327] ppid=31318 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31327/stat : 31327 (java) S 31318 31318 31155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517074324 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918232773664 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31328] ppid=31318 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31328/stat : 31328 (java) S 31318 31318 31155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517074324 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918231720816 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31329] ppid=31318 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31329/stat : 31329 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918230669136 139919360419739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31330] ppid=31318 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/31320/task/31330/stat : 31330 (java) S 31318 31318 31155 0 -1 1077944384 501 0 0 0 5 0 0 0 20 0 15 0 517074327 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918229617520 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31331] ppid=31318 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31320/task/31331/stat : 31331 (java) S 31318 31318 31155 0 -1 1077944384 287 0 0 0 4 0 0 0 20 0 15 0 517074327 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918228564720 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31332] ppid=31318 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31320/task/31332/stat : 31332 (java) S 31318 31318 31155 0 -1 1077944384 943 0 0 0 12 0 0 0 20 0 15 0 517074327 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918227511920 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31333] ppid=31318 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31333/stat : 31333 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918226459360 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31334] ppid=31318 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31334/stat : 31334 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074327 15512608768 13037 33554432000 4194304 4196468 140733246219664 139918225406640 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53596 KiB
[startup+0.70127 s]
/proc/loadavg: 1.87 1.80 1.84 6/229 31334
/proc/meminfo: memFree=25313516/32770624 swapFree=66956600/67108860
[pid=31318] ppid=31315 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
[pid=31320] ppid=31318 vsize=15151156 memory=80012 CPUtime=1.58 cores=1,3,5,7
/proc/31320/stat : 31320 (java) S 31318 31318 31155 0 -1 1077944320 15608 0 0 0 152 6 0 0 20 0 15 0 517074321 15514783744 20003 33554432000 4194304 4196468 140733246219664 140733246202208 139919360401143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
/proc/31320/statm: 3787789 20003 3465 1 0 3748889 0
[pid=31320/tid=31321] ppid=31318 vsize=15151156 memory=53800 CPUtime=0.67 cores=1,3,5,7
/proc/31320/task/31321/stat : 31321 (java) R 31318 31318 31155 0 -1 4202560 9781 0 0 0 63 4 0 0 20 0 15 0 517074322 15514783744 20003 33554432000 4194304 4196468 140733246219664 139919364638960 139918978351690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31322] ppid=31318 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31322/stat : 31322 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15514783744 20003 33554432000 4194304 4196468 140733246219664 139919313022096 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31323] ppid=31318 vsize=15151156 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31323/stat : 31323 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15514783744 20003 33554432000 4194304 4196468 140733246219664 139919311969296 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31324] ppid=31318 vsize=15151156 memory=1328 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31324/stat : 31324 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074322 15514783744 20003 33554432000 4194304 4196468 140733246219664 139919310916496 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31325] ppid=31318 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31325/stat : 31325 (java) S 31318 31318 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074322 15514783744 20003 33554432000 4194304 4196468 140733246219664 139919309863696 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31326] ppid=31318 vsize=15151156 memory=976 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31326/stat : 31326 (java) S 31318 31318 31155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918896097648 139919360412290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31327] ppid=31318 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31327/stat : 31327 (java) S 31318 31318 31155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918232773664 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31328] ppid=31318 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31328/stat : 31328 (java) S 31318 31318 31155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918231720816 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31329] ppid=31318 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31329/stat : 31329 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918230669136 139919360419739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31330] ppid=31318 vsize=15151156 memory=1548 CPUtime=0.25 cores=1,3,5,7
/proc/31320/task/31330/stat : 31330 (java) R 31318 31318 31155 0 -1 4202560 1041 0 0 0 25 0 0 0 20 0 15 0 517074327 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918229616592 139919341945296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31331] ppid=31318 vsize=15151156 memory=1056 CPUtime=0.25 cores=1,3,5,7
/proc/31320/task/31331/stat : 31331 (java) R 31318 31318 31155 0 -1 4202560 1305 0 0 0 25 0 0 0 20 0 15 0 517074327 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918228557744 139919341944499 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31332] ppid=31318 vsize=15151156 memory=744 CPUtime=0.38 cores=1,3,5,7
/proc/31320/task/31332/stat : 31332 (java) S 31318 31318 31155 0 -1 1077944384 2195 0 0 0 38 0 0 0 20 0 15 0 517074327 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918227511920 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31333] ppid=31318 vsize=15151156 memory=8444 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31333/stat : 31333 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918226459360 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31334] ppid=31318 vsize=15151156 memory=6184 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31334/stat : 31334 (java) S 31318 31318 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 20003 33554432000 4194304 4196468 140733246219664 139918225406640 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 81460 KiB
[startup+1.50086 s]
/proc/loadavg: 1.96 1.82 1.85 5/229 31334
/proc/meminfo: memFree=25286664/32770624 swapFree=66956600/67108860
[pid=31318] ppid=31315 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
[pid=31320] ppid=31318 vsize=15151156 memory=215148 CPUtime=2392.26 cores=1,3,5,7
/proc/31320/stat : 31320 (java) S 31318 31318 31155 0 -1 1077944320 92687 0 0 0 239181 45 0 0 20 0 15 0 517074321 15514783744 53787 33554432000 4194304 4196468 140733246219664 140733246202208 139919360401143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
/proc/31320/statm: 3787789 53787 3513 1 0 3748889 0
[pid=31320/tid=31321] ppid=31318 vsize=15151156 memory=6791534058613427641 CPUtime=2383.76 cores=1,3,5,7
/proc/31320/task/31321/stat : 31321 (java) R 31318 31318 31155 0 -1 4202560 19950 0 0 0 238369 7 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919364640016 139918983003035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31322] ppid=31318 vsize=15151156 memory=4126316290023845779 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31322/stat : 31322 (java) S 31318 31318 31155 0 -1 1077944384 2112 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919313022096 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31323] ppid=31318 vsize=15151156 memory=215148 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31323/stat : 31323 (java) S 31318 31318 31155 0 -1 1077944384 1774 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919311969296 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31324] ppid=31318 vsize=15151156 memory=2124 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31324/stat : 31324 (java) S 31318 31318 31155 0 -1 1077944384 3424 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919310916496 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31325] ppid=31318 vsize=15151156 memory=23064 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31325/stat : 31325 (java) S 31318 31318 31155 0 -1 1077944384 1353 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919309863696 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31326] ppid=31318 vsize=15151156 memory=288230574492221466 CPUtime=0.13 cores=1,3,5,7
/proc/31320/task/31326/stat : 31326 (java) S 31318 31318 31155 0 -1 1077944384 2579 0 0 0 11 2 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918896097648 139919360412290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31327] ppid=31318 vsize=15151156 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31327/stat : 31327 (java) S 31318 31318 31155 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918232773728 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31328] ppid=31318 vsize=15151156 memory=15253766152652851 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31328/stat : 31328 (java) S 31318 31318 31155 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918231720832 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31329] ppid=31318 vsize=15151156 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31329/stat : 31329 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918230669136 139919360419739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31330] ppid=31318 vsize=15151156 memory=2532 CPUtime=3.29 cores=1,3,5,7
/proc/31320/task/31330/stat : 31330 (java) S 31318 31318 31155 0 -1 1077944384 23328 0 0 0 326 3 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918229617520 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31331] ppid=31318 vsize=15151156 memory=1440 CPUtime=3.48 cores=1,3,5,7
/proc/31320/task/31331/stat : 31331 (java) S 31318 31318 31155 0 -1 1077944384 24623 0 0 0 345 3 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918228564720 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31332] ppid=31318 vsize=15151156 memory=808 CPUtime=0.6 cores=1,3,5,7
/proc/31320/task/31332/stat : 31332 (java) S 31318 31318 31155 0 -1 1077944384 10576 0 0 0 58 2 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918227511920 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31333] ppid=31318 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31333/stat : 31333 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918226459360 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31334] ppid=31318 vsize=15151156 memory=111632 CPUtime=0.47 cores=1,3,5,7
/proc/31320/task/31334/stat : 31334 (java) S 31318 31318 31155 0 -1 1077944384 1531 0 0 0 20 27 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918225406640 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
Current children cumulated CPU time: 2392.26 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216596 KiB
[startup+2384.4 s]
/proc/loadavg: 1.68 1.70 1.82 3/229 31649
/proc/meminfo: memFree=25246328/32770624 swapFree=66956600/67108860
[pid=31318] ppid=31315 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
[pid=31320] ppid=31318 vsize=15151156 memory=215148 CPUtime=2392.66 cores=1,3,5,7
/proc/31320/stat : 31320 (java) S 31318 31318 31155 0 -1 1077944320 92687 0 0 0 239221 45 0 0 20 0 15 0 517074321 15514783744 53787 33554432000 4194304 4196468 140733246219664 140733246202208 139919360401143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
/proc/31320/statm: 3787789 53787 3513 1 0 3748889 0
[pid=31320/tid=31321] ppid=31318 vsize=15151156 memory=772 CPUtime=2384.15 cores=1,3,5,7
/proc/31320/task/31321/stat : 31321 (java) R 31318 31318 31155 0 -1 4202560 19950 0 0 0 238408 7 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919364640016 139918984232397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31322] ppid=31318 vsize=15151156 memory=3616 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31322/stat : 31322 (java) S 31318 31318 31155 0 -1 1077944384 2112 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919313022096 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31323] ppid=31318 vsize=15151156 memory=2832 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31323/stat : 31323 (java) S 31318 31318 31155 0 -1 1077944384 1774 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919311969296 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31324] ppid=31318 vsize=15151156 memory=1548 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31324/stat : 31324 (java) S 31318 31318 31155 0 -1 1077944384 3424 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919310916496 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31325] ppid=31318 vsize=15151156 memory=1056 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31325/stat : 31325 (java) S 31318 31318 31155 0 -1 1077944384 1353 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919309863696 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31326] ppid=31318 vsize=15151156 memory=744 CPUtime=0.13 cores=1,3,5,7
/proc/31320/task/31326/stat : 31326 (java) S 31318 31318 31155 0 -1 1077944384 2579 0 0 0 11 2 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918896097648 139919360412290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31327] ppid=31318 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31327/stat : 31327 (java) S 31318 31318 31155 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918232773728 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31328] ppid=31318 vsize=15151156 memory=215148 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31328/stat : 31328 (java) S 31318 31318 31155 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918231720832 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31329] ppid=31318 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31329/stat : 31329 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918230669136 139919360419739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31330] ppid=31318 vsize=15151156 memory=2608 CPUtime=3.29 cores=1,3,5,7
/proc/31320/task/31330/stat : 31330 (java) S 31318 31318 31155 0 -1 1077944384 23328 0 0 0 326 3 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918229617520 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31331] ppid=31318 vsize=15151156 memory=2600 CPUtime=3.48 cores=1,3,5,7
/proc/31320/task/31331/stat : 31331 (java) S 31318 31318 31155 0 -1 1077944384 24623 0 0 0 345 3 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918228564720 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31332] ppid=31318 vsize=15151156 memory=1412 CPUtime=0.6 cores=1,3,5,7
/proc/31320/task/31332/stat : 31332 (java) S 31318 31318 31155 0 -1 1077944384 10576 0 0 0 58 2 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918227511920 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31333] ppid=31318 vsize=15151156 memory=3272 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31333/stat : 31333 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918226459360 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31334] ppid=31318 vsize=15151156 memory=1448 CPUtime=0.47 cores=1,3,5,7
/proc/31320/task/31334/stat : 31334 (java) S 31318 31318 31155 0 -1 1077944384 1531 0 0 0 20 27 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918225406640 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
Current children cumulated CPU time: 2392.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216596 KiB
[startup+2384.8 s]
/proc/loadavg: 1.68 1.70 1.82 3/229 31649
/proc/meminfo: memFree=25246328/32770624 swapFree=66956600/67108860
[pid=31318] ppid=31315 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
[pid=31320] ppid=31318 vsize=15151156 memory=215148 CPUtime=2393.06 cores=1,3,5,7
/proc/31320/stat : 31320 (java) S 31318 31318 31155 0 -1 1077944320 92687 0 0 0 239261 45 0 0 20 0 15 0 517074321 15514783744 53787 33554432000 4194304 4196468 140733246219664 140733246202208 139919360401143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
/proc/31320/statm: 3787789 53787 3513 1 0 3748889 0
[pid=31320/tid=31321] ppid=31318 vsize=15151156 memory=215148 CPUtime=2384.55 cores=1,3,5,7
/proc/31320/task/31321/stat : 31321 (java) R 31318 31318 31155 0 -1 4202560 19950 0 0 0 238448 7 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919364640016 139918984232499 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31322] ppid=31318 vsize=15151156 memory=1440 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31322/stat : 31322 (java) S 31318 31318 31155 0 -1 1077944384 2112 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919313022096 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31323] ppid=31318 vsize=15151156 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31323/stat : 31323 (java) S 31318 31318 31155 0 -1 1077944384 1774 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919311969296 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31324] ppid=31318 vsize=15151156 memory=53860 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31324/stat : 31324 (java) S 31318 31318 31155 0 -1 1077944384 3424 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919310916496 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31325] ppid=31318 vsize=15151156 memory=984 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31325/stat : 31325 (java) S 31318 31318 31155 0 -1 1077944384 1353 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919309863696 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31326] ppid=31318 vsize=15151156 memory=2032 CPUtime=0.13 cores=1,3,5,7
/proc/31320/task/31326/stat : 31326 (java) S 31318 31318 31155 0 -1 1077944384 2579 0 0 0 11 2 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918896097648 139919360412290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31327] ppid=31318 vsize=15151156 memory=1328 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31327/stat : 31327 (java) S 31318 31318 31155 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918232773728 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31328] ppid=31318 vsize=15151156 memory=2532 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31328/stat : 31328 (java) S 31318 31318 31155 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918231720832 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31329] ppid=31318 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31329/stat : 31329 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918230669136 139919360419739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31330] ppid=31318 vsize=15151156 memory=808 CPUtime=3.29 cores=1,3,5,7
/proc/31320/task/31330/stat : 31330 (java) S 31318 31318 31155 0 -1 1077944384 23328 0 0 0 326 3 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918229617520 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31331] ppid=31318 vsize=15151156 memory=1772 CPUtime=3.48 cores=1,3,5,7
/proc/31320/task/31331/stat : 31331 (java) S 31318 31318 31155 0 -1 1077944384 24623 0 0 0 345 3 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918228564720 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31332] ppid=31318 vsize=15151156 memory=111632 CPUtime=0.6 cores=1,3,5,7
/proc/31320/task/31332/stat : 31332 (java) S 31318 31318 31155 0 -1 1077944384 10576 0 0 0 58 2 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918227511920 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31333] ppid=31318 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31333/stat : 31333 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918226459360 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31334] ppid=31318 vsize=15151156 memory=1724 CPUtime=0.47 cores=1,3,5,7
/proc/31320/task/31334/stat : 31334 (java) S 31318 31318 31155 0 -1 1077944384 1531 0 0 0 20 27 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918225406640 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
Current children cumulated CPU time: 2393.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216596 KiB
[startup+2384.9 s]
/proc/loadavg: 1.68 1.70 1.82 3/229 31649
/proc/meminfo: memFree=25246328/32770624 swapFree=66956600/67108860
[pid=31318] ppid=31315 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31318/stat : 31318 (xcsp3-exec) S 31315 31318 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517074321 115843072 362 33554432000 4194304 5098028 140731099823648 140731099821752 140027927949948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21229568 140731099825018 140731099825261 140731099825261 140731099828170 0
/proc/31318/statm: 28282 362 304 221 0 87 0
[pid=31320] ppid=31318 vsize=15151156 memory=215148 CPUtime=2393.16 cores=1,3,5,7
/proc/31320/stat : 31320 (java) S 31318 31318 31155 0 -1 1077944320 92687 0 0 0 239271 45 0 0 20 0 15 0 517074321 15514783744 53787 33554432000 4194304 4196468 140733246219664 140733246202208 139919360401143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
/proc/31320/statm: 3787789 53787 3513 1 0 3748889 0
[pid=31320/tid=31321] ppid=31318 vsize=15151156 memory=215148 CPUtime=2384.65 cores=1,3,5,7
/proc/31320/task/31321/stat : 31321 (java) R 31318 31318 31155 0 -1 4202560 19950 0 0 0 238458 7 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919364639904 139918984232376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31322] ppid=31318 vsize=15151156 memory=215148 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31322/stat : 31322 (java) S 31318 31318 31155 0 -1 1077944384 2112 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919313022096 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31323] ppid=31318 vsize=15151156 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31323/stat : 31323 (java) S 31318 31318 31155 0 -1 1077944384 1774 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919311969296 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31324] ppid=31318 vsize=15151156 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31324/stat : 31324 (java) S 31318 31318 31155 0 -1 1077944384 3424 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919310916496 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31325] ppid=31318 vsize=15151156 memory=1772 CPUtime=0.11 cores=1,3,5,7
/proc/31320/task/31325/stat : 31325 (java) S 31318 31318 31155 0 -1 1077944384 1353 0 0 0 10 1 0 0 20 0 15 0 517074322 15514783744 53787 33554432000 4194304 4196468 140733246219664 139919309863696 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31326] ppid=31318 vsize=15151156 memory=1448 CPUtime=0.13 cores=1,3,5,7
/proc/31320/task/31326/stat : 31326 (java) S 31318 31318 31155 0 -1 1077944384 2579 0 0 0 11 2 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918896097648 139919360412290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31327] ppid=31318 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31327/stat : 31327 (java) S 31318 31318 31155 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918232773728 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31328] ppid=31318 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31328/stat : 31328 (java) S 31318 31318 31155 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 517074324 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918231720832 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31329] ppid=31318 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31329/stat : 31329 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918230669136 139919360419739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31330] ppid=31318 vsize=15151156 memory=1448 CPUtime=3.29 cores=1,3,5,7
/proc/31320/task/31330/stat : 31330 (java) S 31318 31318 31155 0 -1 1077944384 23328 0 0 0 326 3 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918229617520 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31331] ppid=31318 vsize=15151156 memory=1448 CPUtime=3.48 cores=1,3,5,7
/proc/31320/task/31331/stat : 31331 (java) S 31318 31318 31155 0 -1 1077944384 24623 0 0 0 345 3 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918228564720 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31332] ppid=31318 vsize=15151156 memory=215148 CPUtime=0.6 cores=1,3,5,7
/proc/31320/task/31332/stat : 31332 (java) S 31318 31318 31155 0 -1 1077944384 10576 0 0 0 58 2 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918227511920 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31333] ppid=31318 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/31320/task/31333/stat : 31333 (java) S 31318 31318 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918226459360 139919360411349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
[pid=31320/tid=31334] ppid=31318 vsize=15151156 memory=924 CPUtime=0.47 cores=1,3,5,7
/proc/31320/task/31334/stat : 31334 (java) S 31318 31318 31155 0 -1 1077944384 1531 0 0 0 20 27 0 0 20 0 15 0 517074327 15514783744 53787 33554432000 4194304 4196468 140733246219664 139918225406640 139919360412290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15216640 140733246223343 140733246223514 140733246223514 140733246226383 0
Current children cumulated CPU time: 2393.16 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216596 KiB
Child status: 0
Real time (s): 2384.99
CPU time (s): 2393.26
CPU user time (s): 2392.8
CPU system time (s): 0.459069
CPU usage (%): 100.347
Max. virtual memory (cumulated for all children) (KiB): 15266732
Max. memory (cumulated for all children) (KiB): 242556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.8
system time used= 0.459069
maximum resident set size= 241840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57149
involuntary context switches= 827
# summary of solver processes directly reported to runsolver:
# pid: 31318
# total CPU time (s): 2393.26
# total CPU user time (s): 2392.8
# total CPU system time (s): 0.459069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5675 second user time and 20.5775 second system time
The end