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 (15240 MiB free)
memory of node 1: 16384 MiB (14756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400567-1568692715/watcher-4400567-1568692715 -o /tmp/evaluation-result-4400567-1568692715/solver-4400567-1568692715 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 803341794 HOME/instance-4400567-1568692715.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=32404, runsolver pid=32401
[startup+0.100142 s]*
/proc/loadavg: 7.86 8.26 8.11 10/233 32420
/proc/meminfo: memFree=30701504/32770624 swapFree=66997372/67108860
[pid=32404] ppid=32401 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32404/stat : 32404 (xcsp3-exec) S 32401 32404 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445524543 115843072 363 33554432000 4194304 5098028 140732295014880 140732295012984 140697517834876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24915968 140732295017339 140732295017581 140732295017581 140732295020490 0
/proc/32404/statm: 28282 363 304 221 0 87 0
[pid=32406] ppid=32404 vsize=15144776 memory=28932 CPUtime=0.13 cores=0,2,4,6
/proc/32406/stat : 32406 (java) S 32404 32404 24272 0 -1 1077944320 5671 0 0 0 12 1 0 0 20 0 15 0 445524543 15508250624 7233 33554432000 4194304 4196468 140721185763120 140721185745664 140233759112951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
/proc/32406/statm: 3786194 7233 3156 1 0 3748377 0
[pid=32406/tid=32407] ppid=32404 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/32406/task/32407/stat : 32407 (java) R 32404 32404 24272 0 -1 4202560 3574 0 0 0 9 0 0 0 20 0 15 0 445524543 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233763335952 140233743193438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32408] ppid=32404 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32408/stat : 32408 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233711733136 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32409] ppid=32404 vsize=15144776 memory=139718661830272 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32409/stat : 32409 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233710680336 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32410] ppid=32404 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32410/stat : 32410 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233709628048 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32411] ppid=32404 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32411/stat : 32411 (java) S 32404 32404 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445524544 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233708575248 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32412] ppid=32404 vsize=15144776 memory=139718661830272 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32412/stat : 32412 (java) S 32404 32404 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445524546 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233227082352 140233759124098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32413] ppid=32404 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32413/stat : 32413 (java) S 32404 32404 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445524546 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233226028320 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32414] ppid=32404 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32414/stat : 32414 (java) S 32404 32404 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445524546 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233224975984 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32415] ppid=32404 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32415/stat : 32415 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233223924304 140233759131547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32416] ppid=32404 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32416/stat : 32416 (java) R 32404 32404 24272 0 -1 4202560 435 0 0 0 0 0 0 0 20 0 15 0 445524549 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233222871152 140233742548689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32417] ppid=32404 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32417/stat : 32417 (java) R 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233221818352 140233759124098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32418] ppid=32404 vsize=15144776 memory=139718661830272 CPUtime=0.02 cores=0,2,4,6
/proc/32406/task/32418/stat : 32418 (java) R 32404 32404 24272 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 445524549 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233220766064 140233743193438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32419] ppid=32404 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32419/stat : 32419 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233219713504 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32420] ppid=32404 vsize=15144776 memory=139718661830272 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32420/stat : 32420 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524549 15508250624 7233 33554432000 4194304 4196468 140721185763120 140233218661296 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30384 KiB
[startup+0.210627 s]*
/proc/loadavg: 7.86 8.26 8.11 7/233 32420
/proc/meminfo: memFree=30676192/32770624 swapFree=66997372/67108860
[pid=32404] ppid=32401 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32404/stat : 32404 (xcsp3-exec) S 32401 32404 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445524543 115843072 363 33554432000 4194304 5098028 140732295014880 140732295012984 140697517834876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24915968 140732295017339 140732295017581 140732295017581 140732295020490 0
/proc/32404/statm: 28282 363 304 221 0 87 0
[pid=32406] ppid=32404 vsize=15144776 memory=40888 CPUtime=0.34 cores=0,2,4,6
/proc/32406/stat : 32406 (java) S 32404 32404 24272 0 -1 1077944320 9474 0 0 0 31 3 0 0 20 0 15 0 445524543 15508250624 10222 33554432000 4194304 4196468 140721185763120 140721185745664 140233759112951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
/proc/32406/statm: 3786194 10222 3299 1 0 3748377 0
[pid=32406/tid=32407] ppid=32404 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/32406/task/32407/stat : 32407 (java) R 32404 32404 24272 0 -1 4202560 6594 0 0 0 18 1 0 0 20 0 15 0 445524543 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233763347072 140233739332042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32408] ppid=32404 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32408/stat : 32408 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233711733136 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32409] ppid=32404 vsize=15144776 memory=288370094813542016 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32409/stat : 32409 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233710680336 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32410] ppid=32404 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32410/stat : 32410 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233709628048 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32411] ppid=32404 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32411/stat : 32411 (java) S 32404 32404 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445524544 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233708575248 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32412] ppid=32404 vsize=15144776 memory=139718661830272 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32412/stat : 32412 (java) S 32404 32404 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445524546 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233227082352 140233759124098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32413] ppid=32404 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32413/stat : 32413 (java) S 32404 32404 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445524546 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233226028320 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32414] ppid=32404 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32414/stat : 32414 (java) S 32404 32404 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445524546 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233224975984 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32415] ppid=32404 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32415/stat : 32415 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233223924304 140233759131547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32416] ppid=32404 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32406/task/32416/stat : 32416 (java) S 32404 32404 24272 0 -1 1077944384 749 0 0 0 3 0 0 0 20 0 15 0 445524549 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233222871152 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32417] ppid=32404 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32406/task/32417/stat : 32417 (java) S 32404 32404 24272 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 445524549 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233221818352 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32418] ppid=32404 vsize=15144776 memory=139718661830272 CPUtime=0.07 cores=0,2,4,6
/proc/32406/task/32418/stat : 32418 (java) R 32404 32404 24272 0 -1 4202560 777 0 0 0 7 0 0 0 20 0 15 0 445524549 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233220766064 140233738247439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32419] ppid=32404 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32419/stat : 32419 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233219713504 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32420] ppid=32404 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32420/stat : 32420 (java) S 32404 32404 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445524549 15508250624 10222 33554432000 4194304 4196468 140721185763120 140233218661296 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42340 KiB
[startup+0.38667 s]*
/proc/loadavg: 7.86 8.26 8.11 9/233 32420
/proc/meminfo: memFree=30671604/32770624 swapFree=66997372/67108860
[pid=32404] ppid=32401 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32404/stat : 32404 (xcsp3-exec) S 32401 32404 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445524543 115843072 363 33554432000 4194304 5098028 140732295014880 140732295012984 140697517834876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24915968 140732295017339 140732295017581 140732295017581 140732295020490 0
/proc/32404/statm: 28282 363 304 221 0 87 0
[pid=32406] ppid=32404 vsize=15149108 memory=53772 CPUtime=0.66 cores=0,2,4,6
/proc/32406/stat : 32406 (java) S 32404 32404 24272 0 -1 1077944320 11704 0 0 0 62 4 0 0 20 0 15 0 445524543 15512686592 13443 33554432000 4194304 4196468 140721185763120 140721185745664 140233759112951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
/proc/32406/statm: 3787277 13443 3375 1 0 3748377 0
[pid=32406/tid=32407] ppid=32404 vsize=15149108 memory=7883960649037381690 CPUtime=0.37 cores=0,2,4,6
/proc/32406/task/32407/stat : 32407 (java) R 32404 32404 24272 0 -1 4202560 8527 0 0 0 35 2 0 0 20 0 15 0 445524543 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233763349616 140233743156581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32408] ppid=32404 vsize=15149108 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32408/stat : 32408 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233711733136 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32409] ppid=32404 vsize=15149108 memory=288230376155269011 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32409/stat : 32409 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233710680336 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32410] ppid=32404 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32410/stat : 32410 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233709628048 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32411] ppid=32404 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32411/stat : 32411 (java) S 32404 32404 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445524544 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233708575248 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32412] ppid=32404 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32412/stat : 32412 (java) S 32404 32404 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445524546 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233227082352 140233759124098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32413] ppid=32404 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32413/stat : 32413 (java) S 32404 32404 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445524546 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233226028320 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32414] ppid=32404 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32414/stat : 32414 (java) S 32404 32404 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445524546 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233224975984 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32415] ppid=32404 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32415/stat : 32415 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233223924304 140233759131547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32416] ppid=32404 vsize=15149108 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/32406/task/32416/stat : 32416 (java) R 32404 32404 24272 0 -1 4202560 793 0 0 0 6 0 0 0 20 0 15 0 445524549 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233222861536 140233738830087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32417] ppid=32404 vsize=15149108 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32406/task/32417/stat : 32417 (java) R 32404 32404 24272 0 -1 1077944384 119 0 0 0 4 0 0 0 20 0 15 0 445524549 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233221818448 140233759123157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32418] ppid=32404 vsize=15149108 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/32406/task/32418/stat : 32418 (java) S 32404 32404 24272 0 -1 1077944384 960 0 0 0 16 0 0 0 20 0 15 0 445524549 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233220766064 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32419] ppid=32404 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32419/stat : 32419 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233219713504 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32420] ppid=32404 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32420/stat : 32420 (java) S 32404 32404 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445524549 15512686592 13507 33554432000 4194304 4196468 140721185763120 140233218661296 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 55224 KiB
[startup+0.701394 s]
/proc/loadavg: 7.55 8.19 8.08 8/233 32420
/proc/meminfo: memFree=30666584/32770624 swapFree=66997372/67108860
[pid=32404] ppid=32401 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32404/stat : 32404 (xcsp3-exec) S 32401 32404 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445524543 115843072 363 33554432000 4194304 5098028 140732295014880 140732295012984 140697517834876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24915968 140732295017339 140732295017581 140732295017581 140732295020490 0
/proc/32404/statm: 28282 363 304 221 0 87 0
[pid=32406] ppid=32404 vsize=15151156 memory=84728 CPUtime=1.54 cores=0,2,4,6
/proc/32406/stat : 32406 (java) S 32404 32404 24272 0 -1 1077944320 14750 0 0 0 149 5 0 0 20 0 15 0 445524543 15514783744 21182 33554432000 4194304 4196468 140721185763120 140721185745664 140233759112951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
/proc/32406/statm: 3787789 21182 3453 1 0 3748889 0
[pid=32406/tid=32407] ppid=32404 vsize=15151156 memory=12024 CPUtime=0.67 cores=0,2,4,6
/proc/32406/task/32407/stat : 32407 (java) R 32404 32404 24272 0 -1 4202560 9003 0 0 0 64 3 0 0 20 0 15 0 445524543 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233763347104 140233383454849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32408] ppid=32404 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32408/stat : 32408 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233711733136 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32409] ppid=32404 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32409/stat : 32409 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233710680336 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32410] ppid=32404 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32410/stat : 32410 (java) S 32404 32404 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445524544 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233709628048 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32411] ppid=32404 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32411/stat : 32411 (java) S 32404 32404 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445524544 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233708575248 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32412] ppid=32404 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32412/stat : 32412 (java) S 32404 32404 24272 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445524546 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233227082352 140233759124098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32413] ppid=32404 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32413/stat : 32413 (java) S 32404 32404 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445524546 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233226028320 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32414] ppid=32404 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32414/stat : 32414 (java) S 32404 32404 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445524546 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233224975984 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32415] ppid=32404 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32415/stat : 32415 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233223924304 140233759131547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32416] ppid=32404 vsize=15151156 memory=1764 CPUtime=0.22 cores=0,2,4,6
/proc/32406/task/32416/stat : 32416 (java) S 32404 32404 24272 0 -1 1077944384 1466 0 0 0 22 0 0 0 20 0 15 0 445524549 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233222871152 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32417] ppid=32404 vsize=15151156 memory=111628 CPUtime=0.21 cores=0,2,4,6
/proc/32406/task/32417/stat : 32417 (java) R 32404 32404 24272 0 -1 4202560 888 0 0 0 21 0 0 0 20 0 15 0 445524549 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233221799368 140233743501808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32418] ppid=32404 vsize=15151156 memory=796 CPUtime=0.4 cores=0,2,4,6
/proc/32406/task/32418/stat : 32418 (java) R 32404 32404 24272 0 -1 4202560 2084 0 0 0 40 0 0 0 20 0 15 0 445524549 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233220766064 140233737628216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32419] ppid=32404 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32419/stat : 32419 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445524549 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233219713504 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32420] ppid=32404 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32420/stat : 32420 (java) S 32404 32404 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445524549 15514783744 21182 33554432000 4194304 4196468 140721185763120 140233218661296 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 86180 KiB
[startup+1.50073 s]
/proc/loadavg: 7.55 8.19 8.08 7/233 32420
/proc/meminfo: memFree=30537640/32770624 swapFree=66997372/67108860
[pid=32404] ppid=32401 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32404/stat : 32404 (xcsp3-exec) S 32401 32404 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445524543 115843072 363 33554432000 4194304 5098028 140732295014880 140732295012984 140697517834876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24915968 140732295017339 140732295017581 140732295017581 140732295020490 0
/proc/32404/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/32406/stat : 32406 (java) S 32404 32404 24272 0 -1 1077944320 113614 0 0 0 207642 47 0 0 20 0 19 0 445524543 15858741248 220244 33554432000 4194304 4196468 140721185763120 140721185745664 140233759112951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
/proc/32406/statm: 3871763 220244 3535 1 0 3832863 0
[pid=32406/tid=32407] ppid=32404 vsize=15487052 memory=880976 CPUtime=1.15 cores=0,2,4,6
/proc/32406/task/32407/stat : 32407 (java) S 32404 32404 24272 0 -1 1077944384 12427 0 0 0 109 6 0 0 20 0 19 0 445524543 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233763353728 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32408] ppid=32404 vsize=15487052 memory=882512 CPUtime=0.2 cores=0,2,4,6
/proc/32406/task/32408/stat : 32408 (java) S 32404 32404 24272 0 -1 1077944384 2185 0 0 0 17 3 0 0 20 0 19 0 445524544 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233711733136 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32409] ppid=32404 vsize=15487052 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/32406/task/32409/stat : 32409 (java) S 32404 32404 24272 0 -1 1077944384 2820 0 0 0 16 3 0 0 20 0 19 0 445524544 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233710680336 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32410] ppid=32404 vsize=15487052 memory=882512 CPUtime=0.19 cores=0,2,4,6
/proc/32406/task/32410/stat : 32410 (java) S 32404 32404 24272 0 -1 1077944384 2788 0 0 0 16 3 0 0 20 0 19 0 445524544 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233709628048 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32411] ppid=32404 vsize=15487052 memory=882000 CPUtime=0.19 cores=0,2,4,6
/proc/32406/task/32411/stat : 32411 (java) S 32404 32404 24272 0 -1 1077944384 3445 0 0 0 16 3 0 0 20 0 19 0 445524544 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233708575248 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32412] ppid=32404 vsize=15487052 memory=880976 CPUtime=0.08 cores=0,2,4,6
/proc/32406/task/32412/stat : 32412 (java) S 32404 32404 24272 0 -1 1077944384 4754 0 0 0 6 2 0 0 20 0 19 0 445524546 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233227082352 140233759124098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32413] ppid=32404 vsize=15487052 memory=880976 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32413/stat : 32413 (java) S 32404 32404 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445524546 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233226028384 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32414] ppid=32404 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32414/stat : 32414 (java) S 32404 32404 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445524546 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233224976000 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32415] ppid=32404 vsize=15487052 memory=880976 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32415/stat : 32415 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445524549 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233223924304 140233759131547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32416] ppid=32404 vsize=15487052 memory=1452 CPUtime=3.21 cores=0,2,4,6
/proc/32406/task/32416/stat : 32416 (java) S 32404 32404 24272 0 -1 1077944384 17798 0 0 0 319 2 0 0 20 0 19 0 445524549 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233222871152 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32417] ppid=32404 vsize=15487052 memory=1452 CPUtime=3.13 cores=0,2,4,6
/proc/32406/task/32417/stat : 32417 (java) S 32404 32404 24272 0 -1 1077944384 23415 0 0 0 311 2 0 0 20 0 19 0 445524549 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233221818352 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32418] ppid=32404 vsize=15487052 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/32406/task/32418/stat : 32418 (java) S 32404 32404 24272 0 -1 1077944384 10458 0 0 0 98 3 0 0 20 0 19 0 445524549 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233220766064 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32419] ppid=32404 vsize=15487052 memory=887464 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32419/stat : 32419 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445524549 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233219713504 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32420] ppid=32404 vsize=15487052 memory=8025807501076620137 CPUtime=0.16 cores=0,2,4,6
/proc/32406/task/32420/stat : 32420 (java) S 32404 32404 24272 0 -1 1077944384 885 0 0 0 0 16 0 0 20 0 19 0 445524549 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233218661296 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=442] ppid=32404 vsize=15487052 memory=6791534058613427641 CPUtime=319.54 cores=0,2,4,6
/proc/32406/task/442/stat : 442 (java) R 32404 32404 24272 0 -1 4202560 1490 0 0 0 31954 0 0 0 20 0 19 0 445544675 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233207581880 140233387818048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=443] ppid=32404 vsize=15487052 memory=4872558044660077418 CPUtime=319.1 cores=0,2,4,6
/proc/32406/task/443/stat : 443 (java) R 32404 32404 24272 0 -1 4202560 4435 0 0 0 31909 1 0 0 20 0 19 0 445544675 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233206530536 140233394330431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=444] ppid=32404 vsize=15487052 memory=1452 CPUtime=318.52 cores=0,2,4,6
/proc/32406/task/444/stat : 444 (java) R 32404 32404 24272 0 -1 4202560 2942 0 0 0 31852 0 0 0 20 0 19 0 445544675 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233202319472 140233392711828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=445] ppid=32404 vsize=15487052 memory=880976 CPUtime=319.87 cores=0,2,4,6
/proc/32406/task/445/stat : 445 (java) R 32404 32404 24272 0 -1 4202560 2613 0 0 0 31987 0 0 0 20 0 19 0 445544675 15858741248 220244 33554432000 4194304 4196468 140721185763120 140233203374576 140233391831388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
Current children cumulated CPU time: 2076.89 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 882428 KiB
[startup+582.301 s]
/proc/loadavg: 8.64 8.47 8.24 9/238 512
/proc/meminfo: memFree=26407668/32770624 swapFree=66997372/67108860
[pid=32404] ppid=32401 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32404/stat : 32404 (xcsp3-exec) S 32401 32404 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445524543 115843072 363 33554432000 4194304 5098028 140732295014880 140732295012984 140697517834876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24915968 140732295017339 140732295017581 140732295017581 140732295020490 0
/proc/32404/statm: 28282 363 304 221 0 87 0
[pid=32406] ppid=32404 vsize=15487052 memory=894012 CPUtime=2315.46 cores=0,2,4,6
/proc/32406/stat : 32406 (java) S 32404 32404 24272 0 -1 1077944320 118074 0 0 0 231497 49 0 0 20 0 19 0 445524543 15858741248 223503 33554432000 4194304 4196468 140721185763120 140721185745664 140233759112951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
/proc/32406/statm: 3871763 223503 3535 1 0 3832863 0
[pid=32406/tid=32407] ppid=32404 vsize=15487052 memory=894016 CPUtime=1.15 cores=0,2,4,6
/proc/32406/task/32407/stat : 32407 (java) S 32404 32404 24272 0 -1 1077944384 12427 0 0 0 109 6 0 0 20 0 19 0 445524543 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233763353728 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32408] ppid=32404 vsize=15487052 memory=895040 CPUtime=0.31 cores=0,2,4,6
/proc/32406/task/32408/stat : 32408 (java) S 32404 32404 24272 0 -1 1077944384 2412 0 0 0 28 3 0 0 20 0 19 0 445524544 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233711733136 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32409] ppid=32404 vsize=15487052 memory=882512 CPUtime=0.3 cores=0,2,4,6
/proc/32406/task/32409/stat : 32409 (java) S 32404 32404 24272 0 -1 1077944384 2899 0 0 0 27 3 0 0 20 0 19 0 445524544 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233710680336 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32410] ppid=32404 vsize=15487052 memory=876868 CPUtime=0.31 cores=0,2,4,6
/proc/32406/task/32410/stat : 32410 (java) S 32404 32404 24272 0 -1 1077944384 2935 0 0 0 27 4 0 0 20 0 19 0 445524544 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233709628048 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32411] ppid=32404 vsize=15487052 memory=884292 CPUtime=0.3 cores=0,2,4,6
/proc/32406/task/32411/stat : 32411 (java) S 32404 32404 24272 0 -1 1077944384 3775 0 0 0 27 3 0 0 20 0 19 0 445524544 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233708575248 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32412] ppid=32404 vsize=15487052 memory=896064 CPUtime=0.12 cores=0,2,4,6
/proc/32406/task/32412/stat : 32412 (java) S 32404 32404 24272 0 -1 1077944384 5056 0 0 0 9 3 0 0 20 0 19 0 445524546 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233227082352 140233759124098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32413] ppid=32404 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32413/stat : 32413 (java) S 32404 32404 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445524546 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233226028384 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32414] ppid=32404 vsize=15487052 memory=894012 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32414/stat : 32414 (java) S 32404 32404 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445524546 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233224976000 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32415] ppid=32404 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32415/stat : 32415 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445524549 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233223924304 140233759131547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32416] ppid=32404 vsize=15487052 memory=1452 CPUtime=3.21 cores=0,2,4,6
/proc/32406/task/32416/stat : 32416 (java) S 32404 32404 24272 0 -1 1077944384 18367 0 0 0 319 2 0 0 20 0 19 0 445524549 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233222871152 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32417] ppid=32404 vsize=15487052 memory=1452 CPUtime=3.13 cores=0,2,4,6
/proc/32406/task/32417/stat : 32417 (java) S 32404 32404 24272 0 -1 1077944384 24416 0 0 0 311 2 0 0 20 0 19 0 445524549 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233221818352 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32418] ppid=32404 vsize=15487052 memory=895552 CPUtime=1.01 cores=0,2,4,6
/proc/32406/task/32418/stat : 32418 (java) S 32404 32404 24272 0 -1 1077944384 11345 0 0 0 98 3 0 0 20 0 19 0 445524549 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233220766064 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32419] ppid=32404 vsize=15487052 memory=895556 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32419/stat : 32419 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445524549 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233219713504 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32420] ppid=32404 vsize=15487052 memory=3504 CPUtime=0.18 cores=0,2,4,6
/proc/32406/task/32420/stat : 32420 (java) S 32404 32404 24272 0 -1 1077944384 913 0 0 0 0 18 0 0 20 0 19 0 445524549 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233218661296 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=442] ppid=32404 vsize=15487052 memory=3028 CPUtime=379.02 cores=0,2,4,6
/proc/32406/task/442/stat : 442 (java) R 32404 32404 24272 0 -1 4202560 1647 0 0 0 37902 0 0 0 20 0 19 0 445544675 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233207581632 140233392610791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=443] ppid=32404 vsize=15487052 memory=2012 CPUtime=378.76 cores=0,2,4,6
/proc/32406/task/443/stat : 443 (java) R 32404 32404 24272 0 -1 4202560 4712 0 0 0 37875 1 0 0 20 0 19 0 445544675 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233206531032 140233391524138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=444] ppid=32404 vsize=15487052 memory=895040 CPUtime=378.03 cores=0,2,4,6
/proc/32406/task/444/stat : 444 (java) R 32404 32404 24272 0 -1 4202560 3158 0 0 0 37803 0 0 0 20 0 19 0 445544675 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233202322336 140233392711844 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=445] ppid=32404 vsize=15487052 memory=884292 CPUtime=379.27 cores=0,2,4,6
/proc/32406/task/445/stat : 445 (java) R 32404 32404 24272 0 -1 4202560 2853 0 0 0 37927 0 0 0 20 0 19 0 445544675 15858741248 223503 33554432000 4194304 4196468 140721185763120 140233203371752 140233392467974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
Current children cumulated CPU time: 2315.46 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 895464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.601 s]
/proc/loadavg: 8.54 8.46 8.24 10/237 514
/proc/meminfo: memFree=26388832/32770624 swapFree=66997372/67108860
[pid=32404] ppid=32401 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32404/stat : 32404 (xcsp3-exec) S 32401 32404 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445524543 115843072 363 33554432000 4194304 5098028 140732295014880 140732295012984 140697517834876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24915968 140732295017339 140732295017581 140732295017581 140732295020490 0
/proc/32404/statm: 28282 363 304 221 0 87 0
[pid=32406] ppid=32404 vsize=15487052 memory=913164 CPUtime=2400.12 cores=0,2,4,6
/proc/32406/stat : 32406 (java) S 32404 32404 24272 0 -1 1077944320 118312 0 0 0 239962 50 0 0 20 0 19 0 445524543 15858741248 228291 33554432000 4194304 4196468 140721185763120 140721185745664 140233759112951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
/proc/32406/statm: 3871763 228291 3535 1 0 3832863 0
[pid=32406/tid=32407] ppid=32404 vsize=15487052 memory=676 CPUtime=1.15 cores=0,2,4,6
/proc/32406/task/32407/stat : 32407 (java) S 32404 32404 24272 0 -1 1077944384 12427 0 0 0 109 6 0 0 20 0 19 0 445524543 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233763353728 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32408] ppid=32404 vsize=15487052 memory=1060 CPUtime=0.4 cores=0,2,4,6
/proc/32406/task/32408/stat : 32408 (java) S 32404 32404 24272 0 -1 1077944384 2441 0 0 0 36 4 0 0 20 0 19 0 445524544 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233711733136 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32409] ppid=32404 vsize=15487052 memory=1548 CPUtime=0.38 cores=0,2,4,6
/proc/32406/task/32409/stat : 32409 (java) S 32404 32404 24272 0 -1 1077944384 2927 0 0 0 35 3 0 0 20 0 19 0 445524544 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233710680336 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32410] ppid=32404 vsize=15487052 memory=8560 CPUtime=0.39 cores=0,2,4,6
/proc/32406/task/32410/stat : 32410 (java) S 32404 32404 24272 0 -1 1077944384 2975 0 0 0 35 4 0 0 20 0 19 0 445524544 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233709628048 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32411] ppid=32404 vsize=15487052 memory=1668 CPUtime=0.38 cores=0,2,4,6
/proc/32406/task/32411/stat : 32411 (java) S 32404 32404 24272 0 -1 1077944384 3807 0 0 0 34 4 0 0 20 0 19 0 445524544 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233708575248 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32412] ppid=32404 vsize=15487052 memory=1112 CPUtime=0.15 cores=0,2,4,6
/proc/32406/task/32412/stat : 32412 (java) S 32404 32404 24272 0 -1 1077944384 5066 0 0 0 11 4 0 0 20 0 19 0 445524546 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233227082352 140233759124098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32413] ppid=32404 vsize=15487052 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32413/stat : 32413 (java) S 32404 32404 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445524546 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233226028384 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32414] ppid=32404 vsize=15487052 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32414/stat : 32414 (java) S 32404 32404 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445524546 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233224976000 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32415] ppid=32404 vsize=15487052 memory=48252 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32415/stat : 32415 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445524549 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233223924304 140233759131547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32416] ppid=32404 vsize=15487052 memory=3028 CPUtime=3.21 cores=0,2,4,6
/proc/32406/task/32416/stat : 32416 (java) S 32404 32404 24272 0 -1 1077944384 18367 0 0 0 319 2 0 0 20 0 19 0 445524549 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233222871152 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32417] ppid=32404 vsize=15487052 memory=2012 CPUtime=3.13 cores=0,2,4,6
/proc/32406/task/32417/stat : 32417 (java) S 32404 32404 24272 0 -1 1077944384 24416 0 0 0 311 2 0 0 20 0 19 0 445524549 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233221818352 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32418] ppid=32404 vsize=15487052 memory=4104 CPUtime=1.01 cores=0,2,4,6
/proc/32406/task/32418/stat : 32418 (java) S 32404 32404 24272 0 -1 1077944384 11345 0 0 0 98 3 0 0 20 0 19 0 445524549 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233220766064 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32419] ppid=32404 vsize=15487052 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/32406/task/32419/stat : 32419 (java) S 32404 32404 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445524549 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233219713504 140233759123157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=32420] ppid=32404 vsize=15487052 memory=1764 CPUtime=0.18 cores=0,2,4,6
/proc/32406/task/32420/stat : 32420 (java) S 32404 32404 24272 0 -1 1077944384 917 0 0 0 0 18 0 0 20 0 19 0 445524549 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233218661296 140233759124098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=442] ppid=32404 vsize=15487052 memory=111628 CPUtime=400 cores=0,2,4,6
/proc/32406/task/442/stat : 442 (java) R 32404 32404 24272 0 -1 4202560 1663 0 0 0 40000 0 0 0 20 0 19 0 445544675 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233207581632 140233391830762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=443] ppid=32404 vsize=15487052 memory=796 CPUtime=399.86 cores=0,2,4,6
/proc/32406/task/443/stat : 443 (java) R 32404 32404 24272 0 -1 4202560 4749 0 0 0 39985 1 0 0 20 0 19 0 445544675 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233206530632 140233745181056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=444] ppid=32404 vsize=15487052 memory=1804 CPUtime=399.19 cores=0,2,4,6
/proc/32406/task/444/stat : 444 (java) R 32404 32404 24272 0 -1 4202560 3178 0 0 0 39919 0 0 0 20 0 19 0 445544675 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233202319656 140233392708271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
[pid=32406/tid=445] ppid=32404 vsize=15487052 memory=916 CPUtime=400.33 cores=0,2,4,6
/proc/32406/task/445/stat : 445 (java) R 32404 32404 24272 0 -1 4202560 2875 0 0 0 40033 0 0 0 20 0 19 0 445544675 15858741248 228291 33554432000 4194304 4196468 140721185763120 140233203374464 140233386706356 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140721185764335 140721185764506 140721185764506 140721185767375 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 914616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.622 s]
# the end of solver process 32404 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000792 s, system=0.001585 s
[startup+603.687 s]
# the end of solver process 32406 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.91 s, system=0.522541 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 603.687
CPU time (s): 2400.43
CPU user time (s): 2399.91
CPU system time (s): 0.522541
CPU usage (%): 397.628
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 1135840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.522541
maximum resident set size= 1144628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21018
involuntary context switches= 41824
# summary of solver processes directly reported to runsolver:
# pid: 32404,32406
# total CPU time (s): 2400.43
# total CPU user time (s): 2399.91
# total CPU system time (s): 0.522541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.78928 second user time and 6.77884 second system time
The end