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 (3380 MiB free)
memory of node 1: 16384 MiB (6439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404104-1568991551/watcher-4404104-1568991551 -o /tmp/evaluation-result-4404104-1568991551/solver-4404104-1568991551 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568987794-29632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 850604526 HOME/instance-4404104-1568991551.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32446, runsolver pid=32443
[startup+0.100497 s]*
/proc/loadavg: 6.78 2.55 1.55 7/233 32462
/proc/meminfo: memFree=10040212/32770624 swapFree=66998164/67108860
[pid=32446] ppid=32443 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32446/stat : 32446 (xcsp3-exec) S 32443 32446 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409356 115843072 362 33554432000 4194304 5098028 140736014360432 140736014358536 140015287882364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10780672 140736014365563 140736014365805 140736014365805 140736014368714 0
/proc/32446/statm: 28282 362 304 221 0 87 0
[pid=32448] ppid=32446 vsize=15144776 memory=29032 CPUtime=0.12 cores=0,2,4,6
/proc/32448/stat : 32448 (java) S 32446 32446 29601 0 -1 1077944320 5643 0 0 0 11 1 0 0 20 0 15 0 475409356 15508250624 7258 33554432000 4194304 4196468 140735772761584 140735772744128 140711810027255 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
/proc/32448/statm: 3786194 7258 3160 1 0 3748377 0
[pid=32448/tid=32449] ppid=32446 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/32448/task/32449/stat : 32449 (java) R 32446 32446 29601 0 -1 4202560 3567 0 0 0 8 1 0 0 20 0 15 0 475409356 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711814263600 140711794107742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32450] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32450/stat : 32450 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409357 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711721684112 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32451] ppid=32446 vsize=15144776 memory=140674952738432 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32451/stat : 32451 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409357 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711720631312 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32452] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32452/stat : 32452 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409357 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711399779216 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32453] ppid=32446 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32453/stat : 32453 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409357 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711398726416 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32454] ppid=32446 vsize=15144776 memory=140674952738432 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32454/stat : 32454 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409359 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711278684528 140711810038402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32455] ppid=32446 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32455/stat : 32455 (java) S 32446 32446 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409359 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711277630496 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32456] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32456/stat : 32456 (java) S 32446 32446 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409359 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711276577648 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32457] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32457/stat : 32457 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409362 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711275525968 140711810045851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32458] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32458/stat : 32458 (java) S 32446 32446 29601 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 475409362 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711274474352 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32459] ppid=32446 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32459/stat : 32459 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409362 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711273421552 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32460] ppid=32446 vsize=15144776 memory=140674952738432 CPUtime=0.02 cores=0,2,4,6
/proc/32448/task/32460/stat : 32460 (java) S 32446 32446 29601 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 475409362 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711272368752 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32461] ppid=32446 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32461/stat : 32461 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409362 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711271316192 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32462] ppid=32446 vsize=15144776 memory=140674952738432 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32462/stat : 32462 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409362 15508250624 7258 33554432000 4194304 4196468 140735772761584 140711270263472 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30480 KiB
[startup+0.210733 s]*
/proc/loadavg: 6.78 2.55 1.55 6/233 32462
/proc/meminfo: memFree=10027712/32770624 swapFree=66998164/67108860
[pid=32446] ppid=32443 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32446/stat : 32446 (xcsp3-exec) S 32443 32446 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409356 115843072 362 33554432000 4194304 5098028 140736014360432 140736014358536 140015287882364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10780672 140736014365563 140736014365805 140736014365805 140736014368714 0
/proc/32446/statm: 28282 362 304 221 0 87 0
[pid=32448] ppid=32446 vsize=15144776 memory=40780 CPUtime=0.33 cores=0,2,4,6
/proc/32448/stat : 32448 (java) S 32446 32446 29601 0 -1 1077944320 9421 0 0 0 30 3 0 0 20 0 15 0 475409356 15508250624 10195 33554432000 4194304 4196468 140735772761584 140735772744128 140711810027255 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
/proc/32448/statm: 3786194 10195 3304 1 0 3748377 0
[pid=32448/tid=32449] ppid=32446 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/32448/task/32449/stat : 32449 (java) R 32446 32446 29601 0 -1 4202560 6600 0 0 0 17 2 0 0 20 0 15 0 475409356 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711814256976 140711810039190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32450] ppid=32446 vsize=15144776 memory=2669799 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32450/stat : 32450 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409357 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711721684112 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32451] ppid=32446 vsize=15144776 memory=140674952767577 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32451/stat : 32451 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409357 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711720631312 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32452] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32452/stat : 32452 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409357 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711399779216 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32453] ppid=32446 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32453/stat : 32453 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409357 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711398726416 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32454] ppid=32446 vsize=15144776 memory=140674952738432 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32454/stat : 32454 (java) S 32446 32446 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475409359 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711278684528 140711810038402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32455] ppid=32446 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32455/stat : 32455 (java) S 32446 32446 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409359 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711277630496 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32456] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32456/stat : 32456 (java) S 32446 32446 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409359 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711276577648 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32457] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32457/stat : 32457 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409362 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711275525968 140711810045851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32458] ppid=32446 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32448/task/32458/stat : 32458 (java) S 32446 32446 29601 0 -1 1077944384 707 0 0 0 3 0 0 0 20 0 15 0 475409362 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711274474352 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32459] ppid=32446 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32448/task/32459/stat : 32459 (java) S 32446 32446 29601 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 475409362 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711273421552 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32460] ppid=32446 vsize=15144776 memory=140674952738432 CPUtime=0.07 cores=0,2,4,6
/proc/32448/task/32460/stat : 32460 (java) R 32446 32446 29601 0 -1 4202560 777 0 0 0 7 0 0 0 20 0 15 0 475409362 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711272368752 140711810048602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32461] ppid=32446 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32461/stat : 32461 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409362 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711271316192 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32462] ppid=32446 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32462/stat : 32462 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409362 15508250624 10195 33554432000 4194304 4196468 140735772761584 140711270263472 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42228 KiB
[startup+0.310815 s]*
/proc/loadavg: 6.78 2.55 1.55 8/233 32462
/proc/meminfo: memFree=10019920/32770624 swapFree=66998164/67108860
[pid=32446] ppid=32443 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32446/stat : 32446 (xcsp3-exec) S 32443 32446 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409356 115843072 362 33554432000 4194304 5098028 140736014360432 140736014358536 140015287882364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10780672 140736014365563 140736014365805 140736014365805 140736014368714 0
/proc/32446/statm: 28282 362 304 221 0 87 0
[pid=32448] ppid=32446 vsize=15149032 memory=49736 CPUtime=0.52 cores=0,2,4,6
/proc/32448/stat : 32448 (java) S 32446 32446 29601 0 -1 1077944320 10843 0 0 0 48 4 0 0 20 0 15 0 475409356 15512608768 12434 33554432000 4194304 4196468 140735772761584 140735772744128 140711810027255 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
/proc/32448/statm: 3787258 12434 3349 1 0 3748377 0
[pid=32448/tid=32449] ppid=32446 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/32448/task/32449/stat : 32449 (java) R 32446 32446 29601 0 -1 4202560 7769 0 0 0 27 3 0 0 20 0 15 0 475409356 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711814256912 140711794107742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32450] ppid=32446 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32450/stat : 32450 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409357 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711721684112 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32451] ppid=32446 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32451/stat : 32451 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409357 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711720631312 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32452] ppid=32446 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32452/stat : 32452 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409357 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711399779216 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32453] ppid=32446 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32453/stat : 32453 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409357 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711398726416 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32454] ppid=32446 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32454/stat : 32454 (java) S 32446 32446 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475409359 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711278684528 140711810038402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32455] ppid=32446 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32455/stat : 32455 (java) S 32446 32446 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409359 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711277630496 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32456] ppid=32446 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32456/stat : 32456 (java) S 32446 32446 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409359 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711276577648 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32457] ppid=32446 vsize=15149032 memory=4569919473823683475 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32457/stat : 32457 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409362 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711275525968 140711810045851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32458] ppid=32446 vsize=15149032 memory=4426078206164241782 CPUtime=0.06 cores=0,2,4,6
/proc/32448/task/32458/stat : 32458 (java) R 32446 32446 29601 0 -1 4202560 820 0 0 0 6 0 0 0 20 0 15 0 475409362 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711274474352 140711793414585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32459] ppid=32446 vsize=15149032 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32448/task/32459/stat : 32459 (java) S 32446 32446 29601 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 15 0 475409362 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711273421552 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32460] ppid=32446 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32448/task/32460/stat : 32460 (java) S 32446 32446 29601 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 15 0 475409362 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711272368752 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32461] ppid=32446 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32461/stat : 32461 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409362 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711271316192 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32462] ppid=32446 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32462/stat : 32462 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409362 15512608768 12434 33554432000 4194304 4196468 140735772761584 140711270263472 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51184 KiB
[startup+0.704479 s]
/proc/loadavg: 6.78 2.55 1.55 7/233 32462
/proc/meminfo: memFree=10005196/32770624 swapFree=66998164/67108860
[pid=32446] ppid=32443 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32446/stat : 32446 (xcsp3-exec) S 32443 32446 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409356 115843072 362 33554432000 4194304 5098028 140736014360432 140736014358536 140015287882364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10780672 140736014365563 140736014365805 140736014365805 140736014368714 0
/proc/32446/statm: 28282 362 304 221 0 87 0
[pid=32448] ppid=32446 vsize=15417412 memory=105796 CPUtime=1.64 cores=0,2,4,6
/proc/32448/stat : 32448 (java) S 32446 32446 29601 0 -1 1077944320 14174 0 0 0 157 7 0 0 20 0 19 0 475409356 15787429888 26449 33554432000 4194304 4196468 140735772761584 140735772744128 140711810027255 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
/proc/32448/statm: 3854353 26449 3465 1 0 3815453 0
[pid=32448/tid=32449] ppid=32446 vsize=15417412 memory=43464 CPUtime=0.62 cores=0,2,4,6
/proc/32448/task/32449/stat : 32449 (java) S 32446 32446 29601 0 -1 1077944384 9099 0 0 0 58 4 0 0 20 0 19 0 475409356 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711814268032 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32450] ppid=32446 vsize=15417412 memory=984 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32450/stat : 32450 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475409357 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711721684112 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32451] ppid=32446 vsize=15417412 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32451/stat : 32451 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409357 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711720631312 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32452] ppid=32446 vsize=15417412 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32452/stat : 32452 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409357 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711399779216 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32453] ppid=32446 vsize=15417412 memory=1128 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32453/stat : 32453 (java) S 32446 32446 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475409357 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711398726416 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32454] ppid=32446 vsize=15417412 memory=772 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32454/stat : 32454 (java) S 32446 32446 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475409359 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711278684528 140711810038402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32455] ppid=32446 vsize=15417412 memory=3648 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32455/stat : 32455 (java) S 32446 32446 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475409359 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711277630496 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32456] ppid=32446 vsize=15417412 memory=948 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32456/stat : 32456 (java) S 32446 32446 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475409359 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711276577648 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32457] ppid=32446 vsize=15417412 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32457/stat : 32457 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409362 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711275525968 140711810045851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32458] ppid=32446 vsize=15417412 memory=9492 CPUtime=0.26 cores=0,2,4,6
/proc/32448/task/32458/stat : 32458 (java) R 32446 32446 29601 0 -1 4202560 1186 0 0 0 26 0 0 0 20 0 19 0 475409362 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711274473536 140711789683674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32459] ppid=32446 vsize=15417412 memory=1548 CPUtime=0.24 cores=0,2,4,6
/proc/32448/task/32459/stat : 32459 (java) S 32446 32446 29601 0 -1 1077944384 572 0 0 0 24 0 0 0 20 0 19 0 475409362 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711273412592 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32460] ppid=32446 vsize=15417412 memory=628 CPUtime=0.38 cores=0,2,4,6
/proc/32448/task/32460/stat : 32460 (java) R 32446 32446 29601 0 -1 1077944384 1706 0 0 0 38 0 0 0 20 0 19 0 475409362 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711272368880 140711810037461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32461] ppid=32446 vsize=15417412 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32461/stat : 32461 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409362 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711271316192 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32462] ppid=32446 vsize=15417412 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32462/stat : 32462 (java) S 32446 32446 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409362 15787429888 26449 33554432000 4194304 4196468 140735772761584 140711270263472 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 107244 KiB
[startup+1.50148 s]
/proc/loadavg: 6.78 2.55 1.55 13/237 32474
/proc/meminfo: memFree=9949844/32770624 swapFree=66998164/67108860
[pid=32446] ppid=32443 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32446/stat : 32446 (xcsp3-exec) S 32443 32446 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409356 115843072 362 33554432000 4194304 5098028 140736014360432 140736014358536 140015287882364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10780672 140736014365563 140736014365805 140736014365805 140736014368714 0
/proc/32446/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/32448/task/32456/stat : 32456 (java) S 32446 32446 29601 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475409359 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711276577664 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32457] ppid=32446 vsize=15418440 memory=3648 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32457/stat : 32457 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711275525968 140711810045851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32458] ppid=32446 vsize=15418440 memory=1720 CPUtime=2 cores=0,2,4,6
/proc/32448/task/32458/stat : 32458 (java) S 32446 32446 29601 0 -1 1077944384 20225 0 0 0 199 1 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711274474352 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32459] ppid=32446 vsize=15418440 memory=6048 CPUtime=1.89 cores=0,2,4,6
/proc/32448/task/32459/stat : 32459 (java) S 32446 32446 29601 0 -1 1077944384 21354 0 0 0 187 2 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711273421552 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32460] ppid=32446 vsize=15418440 memory=14012 CPUtime=0.63 cores=0,2,4,6
/proc/32448/task/32460/stat : 32460 (java) S 32446 32446 29601 0 -1 1077944384 7164 0 0 0 62 1 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711272368752 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32461] ppid=32446 vsize=15418440 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32461/stat : 32461 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711271316192 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32462] ppid=32446 vsize=15418440 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/32448/task/32462/stat : 32462 (java) S 32446 32446 29601 0 -1 1077944384 624 0 0 0 0 4 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711270263472 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32501] ppid=32446 vsize=15418440 memory=984 CPUtime=17.25 cores=0,2,4,6
/proc/32448/task/32501/stat : 32501 (java) R 32446 32446 29601 0 -1 4202560 720 0 0 0 1725 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711257885792 140711404488452 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32502] ppid=32446 vsize=15418440 memory=2024 CPUtime=17.47 cores=0,2,4,6
/proc/32448/task/32502/stat : 32502 (java) R 32446 32446 29601 0 -1 4202560 20126 0 0 0 1747 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711256835904 140711405655608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32503] ppid=32446 vsize=15418440 memory=1376 CPUtime=17.48 cores=0,2,4,6
/proc/32448/task/32503/stat : 32503 (java) R 32446 32446 29601 0 -1 4202560 968 0 0 0 1748 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711261044952 140711404793129 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32504] ppid=32446 vsize=15418440 memory=-3622645143214314312 CPUtime=17.37 cores=0,2,4,6
/proc/32448/task/32504/stat : 32504 (java) R 32446 32446 29601 0 -1 4202560 1364 0 0 0 1737 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711258940504 140711404488253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
Current children cumulated CPU time: 710.44 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 1255012 KiB
[startup+179.601 s]
/proc/loadavg: 8.60 5.27 2.78 10/237 32504
/proc/meminfo: memFree=8014772/32770624 swapFree=66998164/67108860
[pid=32446] ppid=32443 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32446/stat : 32446 (xcsp3-exec) S 32443 32446 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409356 115843072 362 33554432000 4194304 5098028 140736014360432 140736014358536 140015287882364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10780672 140736014365563 140736014365805 140736014365805 140736014368714 0
/proc/32446/statm: 28282 362 304 221 0 87 0
[pid=32448] ppid=32446 vsize=15418440 memory=1253564 CPUtime=712.03 cores=0,2,4,6
/proc/32448/stat : 32448 (java) S 32446 32446 29601 0 -1 1077944320 122772 0 0 0 71124 79 0 0 20 0 19 0 475409356 15788482560 313391 33554432000 4194304 4196468 140735772761584 140735772744128 140711810027255 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
/proc/32448/statm: 3854610 313391 3533 1 0 3815710 0
[pid=32448/tid=32449] ppid=32446 vsize=15418440 memory=2024 CPUtime=0.63 cores=0,2,4,6
/proc/32448/task/32449/stat : 32449 (java) S 32446 32446 29601 0 -1 1077944384 9138 0 0 0 59 4 0 0 20 0 19 0 475409356 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711814268032 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32450] ppid=32446 vsize=15418440 memory=6791534058613427641 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32450/stat : 32450 (java) S 32446 32446 29601 0 -1 1077944384 2622 0 0 0 65 10 0 0 20 0 19 0 475409357 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711721684112 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32451] ppid=32446 vsize=15418440 memory=2552 CPUtime=0.74 cores=0,2,4,6
/proc/32448/task/32451/stat : 32451 (java) S 32446 32446 29601 0 -1 1077944384 2187 0 0 0 64 10 0 0 20 0 19 0 475409357 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711720631312 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32452] ppid=32446 vsize=15418440 memory=1760 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32452/stat : 32452 (java) S 32446 32446 29601 0 -1 1077944384 2719 0 0 0 66 9 0 0 20 0 19 0 475409357 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711399779216 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32453] ppid=32446 vsize=15418440 memory=111632 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32453/stat : 32453 (java) S 32446 32446 29601 0 -1 1077944384 2083 0 0 0 65 10 0 0 20 0 19 0 475409357 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711398726416 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32454] ppid=32446 vsize=15418440 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/32448/task/32454/stat : 32454 (java) S 32446 32446 29601 0 -1 1077944384 5290 0 0 0 21 10 0 0 20 0 19 0 475409359 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711278684528 140711810038402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32455] ppid=32446 vsize=15418440 memory=43476 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32455/stat : 32455 (java) S 32446 32446 29601 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 475409359 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711277630560 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32456] ppid=32446 vsize=15418440 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32456/stat : 32456 (java) S 32446 32446 29601 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475409359 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711276577664 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32457] ppid=32446 vsize=15418440 memory=1251240 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32457/stat : 32457 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711275525968 140711810045851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32458] ppid=32446 vsize=15418440 memory=1448 CPUtime=2 cores=0,2,4,6
/proc/32448/task/32458/stat : 32458 (java) S 32446 32446 29601 0 -1 1077944384 20225 0 0 0 199 1 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711274474352 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32459] ppid=32446 vsize=15418440 memory=1251240 CPUtime=1.89 cores=0,2,4,6
/proc/32448/task/32459/stat : 32459 (java) S 32446 32446 29601 0 -1 1077944384 21354 0 0 0 187 2 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711273421552 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32460] ppid=32446 vsize=15418440 memory=6791534058613427641 CPUtime=0.63 cores=0,2,4,6
/proc/32448/task/32460/stat : 32460 (java) S 32446 32446 29601 0 -1 1077944384 7164 0 0 0 62 1 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711272368752 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32461] ppid=32446 vsize=15418440 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32461/stat : 32461 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711271316192 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32462] ppid=32446 vsize=15418440 memory=2116 CPUtime=0.04 cores=0,2,4,6
/proc/32448/task/32462/stat : 32462 (java) S 32446 32446 29601 0 -1 1077944384 624 0 0 0 0 4 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711270263472 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32501] ppid=32446 vsize=15418440 memory=3804 CPUtime=17.64 cores=0,2,4,6
/proc/32448/task/32501/stat : 32501 (java) R 32446 32446 29601 0 -1 4202560 778 0 0 0 1764 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711257885792 140711406841516 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32502] ppid=32446 vsize=15418440 memory=2772 CPUtime=17.87 cores=0,2,4,6
/proc/32448/task/32502/stat : 32502 (java) R 32446 32446 29601 0 -1 4202560 20434 0 0 0 1787 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711256835904 140711406786107 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32503] ppid=32446 vsize=15418440 memory=2680 CPUtime=17.88 cores=0,2,4,6
/proc/32448/task/32503/stat : 32503 (java) R 32446 32446 29601 0 -1 4202560 970 0 0 0 1788 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711261044952 140711405589960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32504] ppid=32446 vsize=15418440 memory=1164 CPUtime=17.77 cores=0,2,4,6
/proc/32448/task/32504/stat : 32504 (java) R 32446 32446 29601 0 -1 4202560 1365 0 0 0 1777 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711258940504 140711404488245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
Current children cumulated CPU time: 712.03 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 1255012 KiB
[startup+180.001 s]*
/proc/loadavg: 8.60 5.27 2.78 10/237 32504
/proc/meminfo: memFree=8014804/32770624 swapFree=66998164/67108860
[pid=32446] ppid=32443 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32446/stat : 32446 (xcsp3-exec) S 32443 32446 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409356 115843072 362 33554432000 4194304 5098028 140736014360432 140736014358536 140015287882364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10780672 140736014365563 140736014365805 140736014365805 140736014368714 0
/proc/32446/statm: 28282 362 304 221 0 87 0
[pid=32448] ppid=32446 vsize=15418440 memory=1253564 CPUtime=713.66 cores=0,2,4,6
/proc/32448/stat : 32448 (java) S 32446 32446 29601 0 -1 1077944320 122964 0 0 0 71287 79 0 0 20 0 19 0 475409356 15788482560 313391 33554432000 4194304 4196468 140735772761584 140735772744128 140711810027255 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
/proc/32448/statm: 3854610 313391 3533 1 0 3815710 0
[pid=32448/tid=32449] ppid=32446 vsize=15418440 memory=6791534058613427641 CPUtime=0.63 cores=0,2,4,6
/proc/32448/task/32449/stat : 32449 (java) S 32446 32446 29601 0 -1 1077944384 9138 0 0 0 59 4 0 0 20 0 19 0 475409356 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711814268032 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32450] ppid=32446 vsize=15418440 memory=6226012589534697049 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32450/stat : 32450 (java) S 32446 32446 29601 0 -1 1077944384 2622 0 0 0 65 10 0 0 20 0 19 0 475409357 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711721684112 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32451] ppid=32446 vsize=15418440 memory=6082202987142278231 CPUtime=0.74 cores=0,2,4,6
/proc/32448/task/32451/stat : 32451 (java) S 32446 32446 29601 0 -1 1077944384 2187 0 0 0 64 10 0 0 20 0 19 0 475409357 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711720631312 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32452] ppid=32446 vsize=15418440 memory=6082202987142082135 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32452/stat : 32452 (java) S 32446 32446 29601 0 -1 1077944384 2719 0 0 0 66 9 0 0 20 0 19 0 475409357 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711399779216 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32453] ppid=32446 vsize=15418440 memory=4126316290023845779 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32453/stat : 32453 (java) S 32446 32446 29601 0 -1 1077944384 2083 0 0 0 65 10 0 0 20 0 19 0 475409357 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711398726416 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32454] ppid=32446 vsize=15418440 memory=12024 CPUtime=0.31 cores=0,2,4,6
/proc/32448/task/32454/stat : 32454 (java) S 32446 32446 29601 0 -1 1077944384 5290 0 0 0 21 10 0 0 20 0 19 0 475409359 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711278684528 140711810038402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32455] ppid=32446 vsize=15418440 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32455/stat : 32455 (java) S 32446 32446 29601 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 475409359 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711277630560 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32456] ppid=32446 vsize=15418440 memory=500 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32456/stat : 32456 (java) S 32446 32446 29601 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475409359 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711276577664 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32457] ppid=32446 vsize=15418440 memory=928 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32457/stat : 32457 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711275525968 140711810045851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32458] ppid=32446 vsize=15418440 memory=1728 CPUtime=2 cores=0,2,4,6
/proc/32448/task/32458/stat : 32458 (java) S 32446 32446 29601 0 -1 1077944384 20225 0 0 0 199 1 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711274474352 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32459] ppid=32446 vsize=15418440 memory=1448 CPUtime=1.89 cores=0,2,4,6
/proc/32448/task/32459/stat : 32459 (java) S 32446 32446 29601 0 -1 1077944384 21354 0 0 0 187 2 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711273421552 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32460] ppid=32446 vsize=15418440 memory=6791534058613427641 CPUtime=0.63 cores=0,2,4,6
/proc/32448/task/32460/stat : 32460 (java) S 32446 32446 29601 0 -1 1077944384 7164 0 0 0 62 1 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711272368752 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32461] ppid=32446 vsize=15418440 memory=1171344 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32461/stat : 32461 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711271316192 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32462] ppid=32446 vsize=15418440 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/32448/task/32462/stat : 32462 (java) S 32446 32446 29601 0 -1 1077944384 624 0 0 0 0 4 0 0 20 0 19 0 475409362 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711270263472 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32501] ppid=32446 vsize=15418440 memory=895620 CPUtime=18.04 cores=0,2,4,6
/proc/32448/task/32501/stat : 32501 (java) R 32446 32446 29601 0 -1 4202560 940 0 0 0 1804 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711257885792 140711404714659 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32502] ppid=32446 vsize=15418440 memory=1412 CPUtime=18.28 cores=0,2,4,6
/proc/32448/task/32502/stat : 32502 (java) R 32446 32446 29601 0 -1 4202560 20460 0 0 0 1828 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711256835904 140711404488415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32503] ppid=32446 vsize=15418440 memory=1448 CPUtime=18.29 cores=0,2,4,6
/proc/32448/task/32503/stat : 32503 (java) R 32446 32446 29601 0 -1 4202560 972 0 0 0 1829 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711261044952 140711404489077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32504] ppid=32446 vsize=15418440 memory=1252292 CPUtime=18.18 cores=0,2,4,6
/proc/32448/task/32504/stat : 32504 (java) R 32446 32446 29601 0 -1 4202560 1365 0 0 0 1818 0 0 0 20 0 19 0 475425525 15788482560 313391 33554432000 4194304 4196468 140735772761584 140711258940504 140711406337232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
Current children cumulated CPU time: 713.66 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 1255012 KiB
[startup+180.111 s]
/proc/loadavg: 8.60 5.27 2.78 10/237 32504
/proc/meminfo: memFree=8014804/32770624 swapFree=66998164/67108860
[pid=32446] ppid=32443 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32446/stat : 32446 (xcsp3-exec) S 32443 32446 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409356 115843072 362 33554432000 4194304 5098028 140736014360432 140736014358536 140015287882364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10780672 140736014365563 140736014365805 140736014365805 140736014368714 0
/proc/32446/statm: 28282 362 304 221 0 87 0
[pid=32448] ppid=32446 vsize=15418440 memory=1253392 CPUtime=714.05 cores=0,2,4,6
/proc/32448/stat : 32448 (java) S 32446 32446 29601 0 -1 1077944320 124044 0 0 0 71326 79 0 0 20 0 15 0 475409356 15788482560 313348 33554432000 4194304 4196468 140735772761584 140735772744128 140711810027255 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
/proc/32448/statm: 3854610 313348 3533 1 0 3815710 0
[pid=32448/tid=32449] ppid=32446 vsize=15418440 memory=1448 CPUtime=0.63 cores=0,2,4,6
/proc/32448/task/32449/stat : 32449 (java) R 32446 32446 29601 0 -1 4202560 9788 0 0 0 59 4 0 0 20 0 15 0 475409356 15788482560 313349 33554432000 4194304 4196468 140735772761584 140711814269968 140711794626789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32450] ppid=32446 vsize=15418440 memory=1253564 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32450/stat : 32450 (java) S 32446 32446 29601 0 -1 1077944384 2622 0 0 0 65 10 0 0 20 0 14 0 475409357 15788482560 313349 33554432000 4194304 4196468 140735772761584 140711721684112 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32451] ppid=32446 vsize=15418440 memory=1448 CPUtime=0.74 cores=0,2,4,6
/proc/32448/task/32451/stat : 32451 (java) S 32446 32446 29601 0 -1 1077944384 2187 0 0 0 64 10 0 0 20 0 14 0 475409357 15788482560 313349 33554432000 4194304 4196468 140735772761584 140711720631312 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32452] ppid=32446 vsize=15418440 memory=1448 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32452/stat : 32452 (java) S 32446 32446 29601 0 -1 1077944384 2719 0 0 0 66 9 0 0 20 0 14 0 475409357 15788482560 313349 33554432000 4194304 4196468 140735772761584 140711399779216 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32453] ppid=32446 vsize=15418440 memory=1253564 CPUtime=0.75 cores=0,2,4,6
/proc/32448/task/32453/stat : 32453 (java) S 32446 32446 29601 0 -1 1077944384 2083 0 0 0 65 10 0 0 20 0 14 0 475409357 15788482560 313352 33554432000 4194304 4196468 140735772761584 140711398726416 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32454] ppid=32446 vsize=15418440 memory=1252292 CPUtime=0.31 cores=0,2,4,6
/proc/32448/task/32454/stat : 32454 (java) R 32446 32446 29601 0 -1 1077944384 5290 0 0 0 21 10 0 0 20 0 13 0 475409359 15788482560 313352 33554432000 4194304 4196468 140735772761584 140711278684528 140711810038402 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32455] ppid=32446 vsize=15418440 memory=1252292 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32455/stat : 32455 (java) S 32446 32446 29601 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 13 0 475409359 15788482560 313352 33554432000 4194304 4196468 140735772761584 140711277630560 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32456] ppid=32446 vsize=15418440 memory=1128 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32456/stat : 32456 (java) S 32446 32446 29601 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 13 0 475409359 15788482560 313352 33554432000 4194304 4196468 140735772761584 140711276577664 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32458] ppid=32446 vsize=15418440 memory=1448 CPUtime=2 cores=0,2,4,6
/proc/32448/task/32458/stat : 32458 (java) S 32446 32446 29601 0 -1 1077944384 20225 0 0 0 199 1 0 0 20 0 13 0 475409362 15788482560 313352 33554432000 4194304 4196468 140735772761584 140711274474352 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32459] ppid=32446 vsize=15418440 memory=1412 CPUtime=1.89 cores=0,2,4,6
/proc/32448/task/32459/stat : 32459 (java) S 32446 32446 29601 0 -1 1077944384 21354 0 0 0 187 2 0 0 20 0 13 0 475409362 15788482560 313352 33554432000 4194304 4196468 140735772761584 140711273421552 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32460] ppid=32446 vsize=15418440 memory=1253564 CPUtime=0.63 cores=0,2,4,6
/proc/32448/task/32460/stat : 32460 (java) S 32446 32446 29601 0 -1 1077944384 7418 0 0 0 62 1 0 0 20 0 13 0 475409362 15788482560 313352 33554432000 4194304 4196468 140735772761584 140711272368752 140711810038402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
[pid=32448/tid=32461] ppid=32446 vsize=15418440 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32448/task/32461/stat : 32461 (java) S 32446 32446 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 475409362 15788482560 313352 33554432000 4194304 4196468 140735772761584 140711271316192 140711810037461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33218560 140735772767215 140735772767386 140735772767386 140735772770255 0
Current children cumulated CPU time: 714.05 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 1254840 KiB
Child status: 0
Real time (s): 180.123
CPU time (s): 714.075
CPU user time (s): 713.266
CPU system time (s): 0.808942
CPU usage (%): 396.437
Max. virtual memory (cumulated for all children) (KiB): 15533800
Max. memory (cumulated for all children) (KiB): 1255012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 713.266
system time used= 0.808942
maximum resident set size= 1254588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14176
involuntary context switches= 16782
# summary of solver processes directly reported to runsolver:
# pid: 32446
# total CPU time (s): 714.075
# total CPU user time (s): 713.266
# total CPU system time (s): 0.808942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23329 second user time and 1.96495 second system time
The end