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 (5599 MiB free)
memory of node 1: 16384 MiB (7225 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306796-1534104838/watcher-4306796-1534104838 -o /tmp/evaluation-result-4306796-1534104838/solver-4306796-1534104838 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580 HOME/xcsp3-exec -seed 854595401 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306796-1534104838.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4372, runsolver pid=4369
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 1.88 1.86 1.81 4/218 4388
/proc/meminfo: memFree=13116576/32770624 swapFree=67108792/67108860
[pid=4372] ppid=4369 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
[pid=4374] ppid=4372 vsize=14082940 memory=29172 CPUtime=0.12 cores=0,2,4,6
/proc/4374/stat : 4374 (java) S 4372 4372 2709 0 -1 1077944320 5588 0 0 0 11 1 0 0 20 0 15 0 228047093 14420930560 7293 33554432000 4194304 4196468 140725825418384 140725825400928 140392722927351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
/proc/4374/statm: 3520735 7293 3049 1 0 3483012 0
[pid=4374/tid=4375] ppid=4372 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/4374/task/4375/stat : 4375 (java) D 4372 4372 2709 0 -1 1077944384 3600 0 0 0 8 0 0 0 20 0 15 0 228047093 14420930560 7293 33554432000 4194304 4196468 140725825418384 140392727147568 140392715606573 0 4 0 16800975 18446744072101727780 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4376] ppid=4372 vsize=14082940 memory=3472467871123576016 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4376/stat : 4376 (java) S 4372 4372 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047094 14420930560 7293 33554432000 4194304 4196468 140725825418384 140392318347664 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4377] ppid=4372 vsize=14082972 memory=139742228424320 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4377/stat : 4377 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14420963328 7293 33554432000 4194304 4196468 140725825418384 140392317294864 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4378] ppid=4372 vsize=14082972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4378/stat : 4378 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14420963328 7359 33554432000 4194304 4196468 140725825418384 140392316242576 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4379] ppid=4372 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14421946368 7359 33554432000 4194304 4196468 140725825418384 140392315189776 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4380] ppid=4372 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4380/stat : 4380 (java) S 4372 4372 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047096 14421946368 7359 33554432000 4194304 4196468 140725825418384 140392197184112 140392722938498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4381] ppid=4372 vsize=14083932 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4381/stat : 4381 (java) S 4372 4372 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228047096 14421946368 7359 33554432000 4194304 4196468 140725825418384 140392196130080 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4382] ppid=4372 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4382/stat : 4382 (java) S 4372 4372 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228047096 14421946368 7359 33554432000 4194304 4196468 140725825418384 140392195077744 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4383] ppid=4372 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4383/stat : 4383 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14421946368 7359 33554432000 4194304 4196468 140725825418384 140392194026064 140392722945947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4384] ppid=4372 vsize=14083932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4384/stat : 4384 (java) S 4372 4372 2709 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 228047099 14421946368 7425 33554432000 4194304 4196468 140725825418384 140392192972912 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4385] ppid=4372 vsize=14083932 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4385/stat : 4385 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14421946368 7425 33554432000 4194304 4196468 140725825418384 140392191920112 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4386] ppid=4372 vsize=14083932 memory=139742228424320 CPUtime=0.01 cores=0,2,4,6
/proc/4374/task/4386/stat : 4386 (java) R 4372 4372 2709 0 -1 4202560 275 0 0 0 1 0 0 0 20 0 15 0 228047099 14421946368 7425 33554432000 4194304 4196468 140725825418384 140392190867824 140392715164478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4387] ppid=4372 vsize=14083932 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4387/stat : 4387 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14421946368 7425 33554432000 4194304 4196468 140725825418384 140392189815264 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4388] ppid=4372 vsize=14083932 memory=139742228424320 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4388/stat : 4388 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047099 14421946368 7425 33554432000 4194304 4196468 140725825418384 140392188763056 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30624 KiB
[startup+0.214748 s]*
/proc/loadavg: 1.88 1.86 1.81 3/218 4388
/proc/meminfo: memFree=13105472/32770624 swapFree=67108792/67108860
[pid=4372] ppid=4369 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
[pid=4374] ppid=4372 vsize=14087196 memory=40836 CPUtime=0.35 cores=0,2,4,6
/proc/4374/stat : 4374 (java) S 4372 4372 2709 0 -1 1077944320 8228 0 0 0 32 3 0 0 20 0 15 0 228047093 14425288704 10209 33554432000 4194304 4196468 140725825418384 140725825400928 140392722927351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
/proc/4374/statm: 3521799 10209 3213 1 0 3483012 0
[pid=4374/tid=4375] ppid=4372 vsize=14087196 memory=4500115623978573208 CPUtime=0.2 cores=0,2,4,6
/proc/4374/task/4375/stat : 4375 (java) R 4372 4372 2709 0 -1 4202560 5472 0 0 0 19 1 0 0 20 0 15 0 228047093 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392727148344 140392707007838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4376] ppid=4372 vsize=14087196 memory=3472467871123576016 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4376/stat : 4376 (java) S 4372 4372 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047094 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392318347664 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4377] ppid=4372 vsize=14087196 memory=139742228424320 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4377/stat : 4377 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392317294864 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4378] ppid=4372 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4378/stat : 4378 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392316242576 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4379] ppid=4372 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392315189776 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4380] ppid=4372 vsize=14087196 memory=139742228424320 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4380/stat : 4380 (java) S 4372 4372 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228047096 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392197184112 140392722938498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4381] ppid=4372 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4381/stat : 4381 (java) S 4372 4372 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228047096 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392196130080 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4382] ppid=4372 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4382/stat : 4382 (java) S 4372 4372 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228047096 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392195077744 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4383] ppid=4372 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4383/stat : 4383 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392194026064 140392722945947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4384] ppid=4372 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4374/task/4384/stat : 4384 (java) S 4372 4372 2709 0 -1 1077944384 733 0 0 0 3 0 0 0 20 0 15 0 228047099 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392192972912 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4385] ppid=4372 vsize=14087196 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4374/task/4385/stat : 4385 (java) S 4372 4372 2709 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 228047099 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392191920112 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4386] ppid=4372 vsize=14087196 memory=139742228424320 CPUtime=0.08 cores=0,2,4,6
/proc/4374/task/4386/stat : 4386 (java) R 4372 4372 2709 0 -1 4202560 687 0 0 0 8 0 0 0 20 0 15 0 228047099 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392190867824 140392701846079 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4387] ppid=4372 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4387/stat : 4387 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392189815264 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4388] ppid=4372 vsize=14087196 memory=139742228424320 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4388/stat : 4388 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047099 14425288704 10209 33554432000 4194304 4196468 140725825418384 140392188763056 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42288 KiB
[startup+0.310627 s]*
/proc/loadavg: 1.88 1.86 1.81 4/218 4388
/proc/meminfo: memFree=13099144/32770624 swapFree=67108792/67108860
[pid=4372] ppid=4369 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
[pid=4374] ppid=4372 vsize=14087196 memory=47484 CPUtime=0.52 cores=0,2,4,6
/proc/4374/stat : 4374 (java) S 4372 4372 2709 0 -1 1077944320 9064 0 0 0 49 3 0 0 20 0 15 0 228047093 14425288704 11871 33554432000 4194304 4196468 140725825418384 140725825400928 140392722927351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
/proc/4374/statm: 3521799 11871 3252 1 0 3483012 0
[pid=4374/tid=4375] ppid=4372 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/4374/task/4375/stat : 4375 (java) R 4372 4372 2709 0 -1 4202560 6147 0 0 0 27 2 0 0 20 0 15 0 228047093 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392727152576 140392722949277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4376] ppid=4372 vsize=14087196 memory=3472467871123576016 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4376/stat : 4376 (java) S 4372 4372 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047094 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392318347664 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4377] ppid=4372 vsize=14087196 memory=139742228424320 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4377/stat : 4377 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392317294864 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4378] ppid=4372 vsize=14087196 memory=5 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4378/stat : 4378 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392316242576 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4379] ppid=4372 vsize=14087196 memory=139742129825823 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392315189776 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4380] ppid=4372 vsize=14087196 memory=279484259612416 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4380/stat : 4380 (java) S 4372 4372 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228047096 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392197184112 140392722938498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4381] ppid=4372 vsize=14087196 memory=139742129802767 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4381/stat : 4381 (java) S 4372 4372 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228047096 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392196130080 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4382] ppid=4372 vsize=14087196 memory=279484358236256 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4382/stat : 4382 (java) S 4372 4372 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228047096 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392195077744 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4383] ppid=4372 vsize=14087196 memory=139742129807375 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4383/stat : 4383 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392194026064 140392722945947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4384] ppid=4372 vsize=14087196 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/4374/task/4384/stat : 4384 (java) S 4372 4372 2709 0 -1 1077944384 811 0 0 0 6 0 0 0 20 0 15 0 228047099 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392192972912 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4385] ppid=4372 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4374/task/4385/stat : 4385 (java) S 4372 4372 2709 0 -1 1077944384 55 0 0 0 3 0 0 0 20 0 15 0 228047099 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392191920112 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4386] ppid=4372 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4374/task/4386/stat : 4386 (java) S 4372 4372 2709 0 -1 1077944384 756 0 0 0 12 0 0 0 20 0 15 0 228047099 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392190867824 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4387] ppid=4372 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4387/stat : 4387 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392189815264 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4388] ppid=4372 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4388/stat : 4388 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047099 14425288704 11945 33554432000 4194304 4196468 140725825418384 140392188763056 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48936 KiB
[startup+0.7008 s]
/proc/loadavg: 1.88 1.86 1.81 7/218 4388
/proc/meminfo: memFree=13089096/32770624 swapFree=67108792/67108860
[pid=4372] ppid=4369 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
[pid=4374] ppid=4372 vsize=14089320 memory=69244 CPUtime=1.56 cores=0,2,4,6
/proc/4374/stat : 4374 (java) S 4372 4372 2709 0 -1 1077944320 13031 0 0 0 151 5 0 0 20 0 15 0 228047093 14427463680 17311 33554432000 4194304 4196468 140725825418384 140725825400928 140392722927351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
/proc/4374/statm: 3522330 17311 3350 1 0 3483524 0
[pid=4374/tid=4375] ppid=4372 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=0,2,4,6
/proc/4374/task/4375/stat : 4375 (java) R 4372 4372 2709 0 -1 4202560 6873 0 0 0 64 3 0 0 20 0 15 0 228047093 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392727164016 140392360973399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4376] ppid=4372 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4376/stat : 4376 (java) S 4372 4372 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392318347664 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4377] ppid=4372 vsize=14089320 memory=5859271421084521832 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4377/stat : 4377 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392317294864 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4378] ppid=4372 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4378/stat : 4378 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392316242576 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4379] ppid=4372 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392315189776 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4380] ppid=4372 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4380/stat : 4380 (java) S 4372 4372 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392197184112 140392722938498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4381] ppid=4372 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4381/stat : 4381 (java) S 4372 4372 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392196130080 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4382] ppid=4372 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4382/stat : 4382 (java) S 4372 4372 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392195077744 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4383] ppid=4372 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4383/stat : 4383 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392194026064 140392722945947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4384] ppid=4372 vsize=14089320 memory=61992 CPUtime=0.31 cores=0,2,4,6
/proc/4374/task/4384/stat : 4384 (java) R 4372 4372 2709 0 -1 4202560 2578 0 0 0 31 0 0 0 20 0 15 0 228047099 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392192962296 140392703626884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4385] ppid=4372 vsize=14089320 memory=1220 CPUtime=0.27 cores=0,2,4,6
/proc/4374/task/4385/stat : 4385 (java) R 4372 4372 2709 0 -1 4202560 1037 0 0 0 27 0 0 0 20 0 15 0 228047099 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392191909904 140392708969468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4386] ppid=4372 vsize=14089320 memory=2380 CPUtime=0.27 cores=0,2,4,6
/proc/4374/task/4386/stat : 4386 (java) S 4372 4372 2709 0 -1 1077944384 1235 0 0 0 27 0 0 0 20 0 15 0 228047099 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392190867824 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4387] ppid=4372 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4387/stat : 4387 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392189815264 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4388] ppid=4372 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4388/stat : 4388 (java) S 4372 4372 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 17311 33554432000 4194304 4196468 140725825418384 140392188763056 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 70696 KiB
[startup+1.50075 s]
/proc/loadavg: 1.88 1.86 1.81 5/218 4388
/proc/meminfo: memFree=13057732/32770624 swapFree=67108792/67108860
[pid=4372] ppid=4369 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
[pid=4374] ppid=4372 vsize=14089320 memory=202768 CPUtime=5.22 cores=0,2,4,6
/proc/4374/stat : 4374 (java) S 4372 4372 2709 0 -1 1077944320 27686 0 0 0 513 9 0 0 20 0 15 0 228047093 14427463680 50692 33554432000 4194304 4196468 140725825418384 140725825400928 140392722927351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
/proc/4374/statm: 3522330 50692 3381 1 0 3483524 0
[pid=4374/tid=4375] ppid=4372 vsize=14089320 memory=25392 CPUtime=3.17 cores=0,2,4,6
/proc/4374/task/4375/stat : 4375 (java) R 4372 4372 2709 0 -1 4202560 7430 0 0 0 312 5 0 0 20 0 15 0 228047093 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392727166176 140392704333626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4376] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4376/stat : 4376 (java) S 4372 4372 2709 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392318347664 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4377] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4377/stat : 4377 (java) S 4372 4372 2709 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392317294864 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4378] ppid=4372 vsize=14089320 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4378/stat : 4378 (java) S 4372 4372 2709 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392316242576 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4379] ppid=4372 vsize=14089320 memory=61992 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (java) S 4372 4372 2709 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392315189776 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4380] ppid=4372 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4380/stat : 4380 (java) S 4372 4372 2709 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392197184112 140392722938498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4381] ppid=4372 vsize=14089320 memory=2380 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4381/stat : 4381 (java) S 4372 4372 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392196130080 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4382] ppid=4372 vsize=14089320 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4382/stat : 4382 (java) S 4372 4372 2709 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392195077744 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4383] ppid=4372 vsize=14089320 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4383/stat : 4383 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392194026064 140392722945947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4384] ppid=4372 vsize=14089320 memory=55 CPUtime=0.87 cores=0,2,4,6
/proc/4374/task/4384/stat : 4384 (java) S 4372 4372 2709 0 -1 1077944384 5311 0 0 0 87 0 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392192972912 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4385] ppid=4372 vsize=14089320 memory=6943526294502006880 CPUtime=0.81 cores=0,2,4,6
/proc/4374/task/4385/stat : 4385 (java) S 4372 4372 2709 0 -1 1077944384 10142 0 0 0 80 1 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392191920112 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4386] ppid=4372 vsize=14089320 memory=6943526294502006880 CPUtime=0.31 cores=0,2,4,6
/proc/4374/task/4386/stat : 4386 (java) S 4372 4372 2709 0 -1 1077944384 2589 0 0 0 30 1 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392190867824 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4387] ppid=4372 vsize=14089320 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4387/stat : 4387 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392189815264 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4388] ppid=4372 vsize=14089320 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4388/stat : 4388 (java) S 4372 4372 2709 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392188763056 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 204220 KiB
[startup+4.00077 s]*
/proc/loadavg: 1.88 1.86 1.81 3/218 4388
/proc/meminfo: memFree=12943256/32770624 swapFree=67108792/67108860
[pid=4372] ppid=4369 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
[pid=4374] ppid=4372 vsize=14089320 memory=202768 CPUtime=6.03 cores=0,2,4,6
/proc/4374/stat : 4374 (java) S 4372 4372 2709 0 -1 1077944320 27705 0 0 0 594 9 0 0 20 0 15 0 228047093 14427463680 50692 33554432000 4194304 4196468 140725825418384 140725825400928 140392722927351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
/proc/4374/statm: 3522330 50692 3381 1 0 3483524 0
[pid=4374/tid=4375] ppid=4372 vsize=14089320 memory=4500115623978573208 CPUtime=3.98 cores=0,2,4,6
/proc/4374/task/4375/stat : 4375 (java) R 4372 4372 2709 0 -1 4202560 7438 0 0 0 393 5 0 0 20 0 15 0 228047093 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392727166376 140392363423249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4376] ppid=4372 vsize=14089320 memory=3472468038456104624 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4376/stat : 4376 (java) S 4372 4372 2709 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392318347664 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4377] ppid=4372 vsize=14089320 memory=279484358207160 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4377/stat : 4377 (java) S 4372 4372 2709 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392317294864 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4378] ppid=4372 vsize=14089320 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4378/stat : 4378 (java) S 4372 4372 2709 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392316242576 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4379] ppid=4372 vsize=14089320 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (java) S 4372 4372 2709 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392315189776 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4380] ppid=4372 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4380/stat : 4380 (java) S 4372 4372 2709 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392197184112 140392722938498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4381] ppid=4372 vsize=14089320 memory=3472328296227418159 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4381/stat : 4381 (java) S 4372 4372 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392196130080 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4382] ppid=4372 vsize=14089320 memory=3540004371690152147 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4382/stat : 4382 (java) S 4372 4372 2709 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392195077744 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4383] ppid=4372 vsize=14089320 memory=4201109995990157889 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4383/stat : 4383 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392194026064 140392722945947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4384] ppid=4372 vsize=14089320 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/4374/task/4384/stat : 4384 (java) S 4372 4372 2709 0 -1 1077944384 5311 0 0 0 87 0 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392192972912 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4385] ppid=4372 vsize=14089320 memory=7517479142146327146 CPUtime=0.81 cores=0,2,4,6
/proc/4374/task/4385/stat : 4385 (java) S 4372 4372 2709 0 -1 1077944384 10145 0 0 0 80 1 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392191920112 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4386] ppid=4372 vsize=14089320 memory=2321240910425524911 CPUtime=0.32 cores=0,2,4,6
/proc/4374/task/4386/stat : 4386 (java) S 4372 4372 2709 0 -1 1077944384 2597 0 0 0 31 1 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392190867824 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4387] ppid=4372 vsize=14089320 memory=-8823246064971903881 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4387/stat : 4387 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392189815264 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4388] ppid=4372 vsize=14089320 memory=158518652969522 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4388/stat : 4388 (java) S 4372 4372 2709 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 50692 33554432000 4194304 4196468 140725825418384 140392188763056 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 204220 KiB
[startup+4.80066 s]
/proc/loadavg: 1.88 1.86 1.81 3/218 4388
/proc/meminfo: memFree=12943256/32770624 swapFree=67108792/67108860
[pid=4372] ppid=4369 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
[pid=4374] ppid=4372 vsize=14089320 memory=204836 CPUtime=6.85 cores=0,2,4,6
/proc/4374/stat : 4374 (java) S 4372 4372 2709 0 -1 1077944320 27735 0 0 0 675 10 0 0 20 0 15 0 228047093 14427463680 51209 33554432000 4194304 4196468 140725825418384 140725825400928 140392722927351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
/proc/4374/statm: 3522330 51209 3386 1 0 3483524 0
[pid=4374/tid=4375] ppid=4372 vsize=14089320 memory=0 CPUtime=4.76 cores=0,2,4,6
/proc/4374/task/4375/stat : 4375 (java) R 4372 4372 2709 0 -1 4202560 7442 0 0 0 471 5 0 0 20 0 15 0 228047093 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392727166176 140392363334717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4376] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4376/stat : 4376 (java) S 4372 4372 2709 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392318347664 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4377] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4377/stat : 4377 (java) S 4372 4372 2709 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392317294864 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4378] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4378/stat : 4378 (java) S 4372 4372 2709 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392316242576 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4379] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (java) S 4372 4372 2709 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392315189776 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4380] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4380/stat : 4380 (java) S 4372 4372 2709 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392197184112 140392722938498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4381] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4381/stat : 4381 (java) S 4372 4372 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392196130080 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4382] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4382/stat : 4382 (java) S 4372 4372 2709 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392195077744 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4383] ppid=4372 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4383/stat : 4383 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392194026064 140392722945947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4384] ppid=4372 vsize=14089320 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/4374/task/4384/stat : 4384 (java) S 4372 4372 2709 0 -1 1077944384 5323 0 0 0 89 0 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392192972912 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4385] ppid=4372 vsize=14089320 memory=1452 CPUtime=0.82 cores=0,2,4,6
/proc/4374/task/4385/stat : 4385 (java) S 4372 4372 2709 0 -1 1077944384 10145 0 0 0 80 2 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392191920112 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4386] ppid=4372 vsize=14089320 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/4374/task/4386/stat : 4386 (java) S 4372 4372 2709 0 -1 1077944384 2601 0 0 0 31 1 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392190867824 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4387] ppid=4372 vsize=14089320 memory=4596 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4387/stat : 4387 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392189815264 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4388] ppid=4372 vsize=14089320 memory=15817794159643212 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4388/stat : 4388 (java) S 4372 4372 2709 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392188763056 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
Current children cumulated CPU time: 6.85 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 206288 KiB
[startup+5.20077 s]
/proc/loadavg: 1.88 1.86 1.81 3/218 4388
/proc/meminfo: memFree=12936264/32770624 swapFree=67108792/67108860
[pid=4372] ppid=4369 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4372/stat : 4372 (xcsp3-exec) S 4369 4372 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228047093 115843072 363 33554432000 4194304 5098028 140732906954272 140732906952376 139656838922876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34574336 140732906955835 140732906956036 140732906956036 140732906958794 0
/proc/4372/statm: 28282 363 306 221 0 87 0
[pid=4374] ppid=4372 vsize=14089320 memory=204836 CPUtime=7.25 cores=0,2,4,6
/proc/4374/stat : 4374 (java) S 4372 4372 2709 0 -1 1077944320 27739 0 0 0 715 10 0 0 20 0 15 0 228047093 14427463680 51209 33554432000 4194304 4196468 140725825418384 140725825400928 140392722927351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
/proc/4374/statm: 3522330 51209 3386 1 0 3483524 0
[pid=4374/tid=4375] ppid=4372 vsize=14089320 memory=4212144659556567943 CPUtime=5.16 cores=0,2,4,6
/proc/4374/task/4375/stat : 4375 (java) R 4372 4372 2709 0 -1 4202560 7444 0 0 0 511 5 0 0 20 0 15 0 228047093 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392727166200 140392363727279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4376] ppid=4372 vsize=14089320 memory=5792262874651971664 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4376/stat : 4376 (java) S 4372 4372 2709 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392318347664 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4377] ppid=4372 vsize=14089320 memory=7079770014140616784 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4377/stat : 4377 (java) S 4372 4372 2709 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392317294864 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4378] ppid=4372 vsize=14089320 memory=7079770014140616784 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4378/stat : 4378 (java) S 4372 4372 2709 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392316242576 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4379] ppid=4372 vsize=14089320 memory=5792262874651971664 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (java) S 4372 4372 2709 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 228047094 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392315189776 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4380] ppid=4372 vsize=14089320 memory=7079770014140616784 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4380/stat : 4380 (java) S 4372 4372 2709 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392197184112 140392722938498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4381] ppid=4372 vsize=14089320 memory=5792262874651971664 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4381/stat : 4381 (java) S 4372 4372 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392196130080 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4382] ppid=4372 vsize=14089320 memory=5792262874651971664 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4382/stat : 4382 (java) S 4372 4372 2709 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 228047096 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392195077744 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4383] ppid=4372 vsize=14089320 memory=5931348737964200016 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4383/stat : 4383 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392194026064 140392722945947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4384] ppid=4372 vsize=14089320 memory=7300704776819338072 CPUtime=0.89 cores=0,2,4,6
/proc/4374/task/4384/stat : 4384 (java) S 4372 4372 2709 0 -1 1077944384 5323 0 0 0 89 0 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392192972912 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4385] ppid=4372 vsize=14089320 memory=5859271429675178064 CPUtime=0.82 cores=0,2,4,6
/proc/4374/task/4385/stat : 4385 (java) S 4372 4372 2709 0 -1 1077944384 10145 0 0 0 80 2 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392191920112 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4386] ppid=4372 vsize=14089320 memory=7300704776836113235 CPUtime=0.32 cores=0,2,4,6
/proc/4374/task/4386/stat : 4386 (java) S 4372 4372 2709 0 -1 1077944384 2601 0 0 0 31 1 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392190867824 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4387] ppid=4372 vsize=14089320 memory=5931348737964200016 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4387/stat : 4387 (java) S 4372 4372 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392189815264 140392722937557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
[pid=4374/tid=4388] ppid=4372 vsize=14089320 memory=5792262874651971664 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4388/stat : 4388 (java) S 4372 4372 2709 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 228047099 14427463680 51209 33554432000 4194304 4196468 140725825418384 140392188763056 140392722938498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 9555968 140725825422470 140725825422641 140725825422641 140725825425359 0
Current children cumulated CPU time: 7.25 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 206288 KiB
Child status: 0
Real time (s): 5.21316
CPU time (s): 7.26888
CPU user time (s): 7.15826
CPU system time (s): 0.11062
CPU usage (%): 139.433
Max. virtual memory (cumulated for all children) (KiB): 14204368
Max. memory (cumulated for all children) (KiB): 206288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.15826
system time used= 0.11062
maximum resident set size= 205212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1948
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 4372
# total CPU time (s): 7.26888
# total CPU user time (s): 7.15826
# total CPU system time (s): 0.11062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058117 second user time and 0.092874 second system time
The end