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 (13663 MiB free)
memory of node 1: 16384 MiB (15483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394217-1568332229/watcher-4394217-1568332229 -o /tmp/evaluation-result-4394217-1568332229/solver-4394217-1568332229 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1204111055 HOME/instance-4394217-1568332229.xml
running on 4 cores: 1,3,5,7
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
solver pid=9462, runsolver pid=9459
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 8.04 7.94 7.63 7/234 9478
/proc/meminfo: memFree=29829992/32770624 swapFree=66933688/67108860
[pid=9462] ppid=9459 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9462/stat : 9462 (xcsp3-exec) S 9459 9462 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409494415 115843072 363 33554432000 4194304 5098028 140735706146320 140735706144424 139887894385276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10391552 140735706153850 140735706154093 140735706154093 140735706157002 0
/proc/9462/statm: 28282 363 304 221 0 87 0
[pid=9464] ppid=9462 vsize=15144768 memory=28688 CPUtime=0.13 cores=1,3,5,7
/proc/9464/stat : 9464 (java) S 9462 9462 25300 0 -1 1077944320 5566 0 0 0 12 1 0 0 20 0 15 0 409494415 15508242432 7172 33554432000 4194304 4196468 140726183980112 140726183962656 140267892436727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
/proc/9464/statm: 3786192 7172 3151 1 0 3748377 0
[pid=9464/tid=9465] ppid=9462 vsize=15144768 memory=-6664436420846797971 CPUtime=0.08 cores=1,3,5,7
/proc/9464/task/9465/stat : 9465 (java) R 9462 9462 25300 0 -1 4202560 3433 0 0 0 8 0 0 0 20 0 15 0 409494415 15508242432 7172 33554432000 4194304 4196468 140726183980112 140267896670000 140267872151542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9466] ppid=9462 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9466/stat : 9466 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15508242432 7172 33554432000 4194304 4196468 140726183980112 140267862150288 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9467] ppid=9462 vsize=15144768 memory=140181157598848 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9467/stat : 9467 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409494416 15508242432 7172 33554432000 4194304 4196468 140726183980112 140267483696144 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9468] ppid=9462 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9468/stat : 9468 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15508242432 7172 33554432000 4194304 4196468 140726183980112 140267482643344 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9469] ppid=9462 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9469/stat : 9469 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15508242432 7172 33554432000 4194304 4196468 140726183980112 140267481590544 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9470] ppid=9462 vsize=15144768 memory=140181157598848 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9470/stat : 9470 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494417 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266967865712 140267892447874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9471] ppid=9462 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9471/stat : 9471 (java) S 9462 9462 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409494418 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266966811680 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9472] ppid=9462 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9472/stat : 9472 (java) S 9462 9462 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409494418 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266965758832 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9473] ppid=9462 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9473/stat : 9473 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409494420 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266964707152 140267892455323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9474] ppid=9462 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9474/stat : 9474 (java) S 9462 9462 25300 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 409494420 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266963655536 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9475] ppid=9462 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9475/stat : 9475 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409494420 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266962602736 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9476] ppid=9462 vsize=15144768 memory=140181157598848 CPUtime=0.02 cores=1,3,5,7
/proc/9464/task/9476/stat : 9476 (java) R 9462 9462 25300 0 -1 4202560 407 0 0 0 2 0 0 0 20 0 15 0 409494420 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266961549936 140267892458074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9477] ppid=9462 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9477/stat : 9477 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409494420 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266960497376 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9478] ppid=9462 vsize=15144768 memory=140181157598848 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9478/stat : 9478 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409494421 15508242432 7172 33554432000 4194304 4196468 140726183980112 140266959444656 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30140 KiB
[startup+0.210864 s]*
/proc/loadavg: 8.04 7.94 7.63 8/234 9478
/proc/meminfo: memFree=29818472/32770624 swapFree=66933688/67108860
[pid=9462] ppid=9459 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9462/stat : 9462 (xcsp3-exec) S 9459 9462 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409494415 115843072 363 33554432000 4194304 5098028 140735706146320 140735706144424 139887894385276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10391552 140735706153850 140735706154093 140735706154093 140735706157002 0
/proc/9462/statm: 28282 363 304 221 0 87 0
[pid=9464] ppid=9462 vsize=15144768 memory=39352 CPUtime=0.34 cores=1,3,5,7
/proc/9464/stat : 9464 (java) S 9462 9462 25300 0 -1 1077944320 9083 0 0 0 32 2 0 0 20 0 15 0 409494415 15508242432 9838 33554432000 4194304 4196468 140726183980112 140726183962656 140267892436727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
/proc/9464/statm: 3786192 9838 3308 1 0 3748377 0
[pid=9464/tid=9465] ppid=9462 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9464/task/9465/stat : 9465 (java) R 9462 9462 25300 0 -1 4202560 6195 0 0 0 18 2 0 0 20 0 15 0 409494415 15508242432 9838 33554432000 4194304 4196468 140726183980112 140267896670224 140267892448662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9466] ppid=9462 vsize=15144768 memory=364 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9466/stat : 9466 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15508242432 9838 33554432000 4194304 4196468 140726183980112 140267862150288 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9467] ppid=9462 vsize=15144768 memory=140181157623739 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9467/stat : 9467 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409494416 15508242432 9838 33554432000 4194304 4196468 140726183980112 140267483696144 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9468] ppid=9462 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9468/stat : 9468 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15508242432 9838 33554432000 4194304 4196468 140726183980112 140267482643344 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9469] ppid=9462 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9469/stat : 9469 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15508242432 9838 33554432000 4194304 4196468 140726183980112 140267481590544 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9470] ppid=9462 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9470/stat : 9470 (java) S 9462 9462 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409494417 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266967865712 140267892447874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9471] ppid=9462 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9471/stat : 9471 (java) S 9462 9462 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409494418 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266966811680 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9472] ppid=9462 vsize=15144768 memory=140181157598848 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9472/stat : 9472 (java) S 9462 9462 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409494418 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266965758832 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9473] ppid=9462 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9473/stat : 9473 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409494420 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266964707152 140267892455323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9474] ppid=9462 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9464/task/9474/stat : 9474 (java) S 9462 9462 25300 0 -1 1077944384 611 0 0 0 3 0 0 0 20 0 15 0 409494420 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266963655536 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9475] ppid=9462 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9464/task/9475/stat : 9475 (java) S 9462 9462 25300 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 15 0 409494420 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266962602736 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9476] ppid=9462 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9464/task/9476/stat : 9476 (java) R 9462 9462 25300 0 -1 4202560 923 0 0 0 8 0 0 0 20 0 15 0 409494420 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266961549936 140267885533563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9477] ppid=9462 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9477/stat : 9477 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409494420 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266960497376 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9478] ppid=9462 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9478/stat : 9478 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409494421 15508242432 9838 33554432000 4194304 4196468 140726183980112 140266959444656 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 40804 KiB
[startup+0.311432 s]*
/proc/loadavg: 8.04 7.94 7.63 6/234 9478
/proc/meminfo: memFree=29810680/32770624 swapFree=66933688/67108860
[pid=9462] ppid=9459 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9462/stat : 9462 (xcsp3-exec) S 9459 9462 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409494415 115843072 363 33554432000 4194304 5098028 140735706146320 140735706144424 139887894385276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10391552 140735706153850 140735706154093 140735706154093 140735706157002 0
/proc/9462/statm: 28282 363 304 221 0 87 0
[pid=9464] ppid=9462 vsize=15149024 memory=49144 CPUtime=0.53 cores=1,3,5,7
/proc/9464/stat : 9464 (java) S 9462 9462 25300 0 -1 1077944320 10593 0 0 0 50 3 0 0 20 0 15 0 409494415 15512600576 12286 33554432000 4194304 4196468 140726183980112 140726183962656 140267892436727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
/proc/9464/statm: 3787256 12286 3362 1 0 3748377 0
[pid=9464/tid=9465] ppid=9462 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=1,3,5,7
/proc/9464/task/9465/stat : 9465 (java) R 9462 9462 25300 0 -1 4202560 7310 0 0 0 27 3 0 0 20 0 15 0 409494415 15512600576 12286 33554432000 4194304 4196468 140726183980112 140267896667840 140267892458653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9466] ppid=9462 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9466/stat : 9466 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15512600576 12286 33554432000 4194304 4196468 140726183980112 140267862150288 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9467] ppid=9462 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9467/stat : 9467 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409494416 15512600576 12286 33554432000 4194304 4196468 140726183980112 140267483696144 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9468] ppid=9462 vsize=15149024 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9468/stat : 9468 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15512600576 12286 33554432000 4194304 4196468 140726183980112 140267482643344 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9469] ppid=9462 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9469/stat : 9469 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409494416 15512600576 12286 33554432000 4194304 4196468 140726183980112 140267481590544 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9470] ppid=9462 vsize=15149024 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9470/stat : 9470 (java) S 9462 9462 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409494417 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266967865712 140267892447874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9471] ppid=9462 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9471/stat : 9471 (java) S 9462 9462 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409494418 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266966811680 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9472] ppid=9462 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9472/stat : 9472 (java) S 9462 9462 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409494418 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266965758832 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9473] ppid=9462 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9473/stat : 9473 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409494420 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266964707152 140267892455323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9474] ppid=9462 vsize=15149024 memory=-1751206868705893467 CPUtime=0.05 cores=1,3,5,7
/proc/9464/task/9474/stat : 9474 (java) S 9462 9462 25300 0 -1 1077944384 646 0 0 0 5 0 0 0 20 0 15 0 409494420 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266963655536 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9475] ppid=9462 vsize=15149024 memory=7680491646476169235 CPUtime=0.04 cores=1,3,5,7
/proc/9464/task/9475/stat : 9475 (java) R 9462 9462 25300 0 -1 4202560 199 0 0 0 4 0 0 0 20 0 15 0 409494420 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266962583752 140267873957953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9476] ppid=9462 vsize=15149024 memory=7088771780547993696 CPUtime=0.13 cores=1,3,5,7
/proc/9464/task/9476/stat : 9476 (java) S 9462 9462 25300 0 -1 1077944384 1153 0 0 0 13 0 0 0 20 0 15 0 409494420 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266961549936 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9477] ppid=9462 vsize=15149024 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9477/stat : 9477 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409494420 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266960497376 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9478] ppid=9462 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9478/stat : 9478 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409494421 15512600576 12286 33554432000 4194304 4196468 140726183980112 140266959444656 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50596 KiB
[startup+0.701478 s]
/proc/loadavg: 8.04 7.94 7.63 9/234 9478
/proc/meminfo: memFree=29794088/32770624 swapFree=66933688/67108860
[pid=9462] ppid=9459 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9462/stat : 9462 (xcsp3-exec) S 9459 9462 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409494415 115843072 363 33554432000 4194304 5098028 140735706146320 140735706144424 139887894385276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10391552 140735706153850 140735706154093 140735706154093 140735706157002 0
/proc/9462/statm: 28282 363 304 221 0 87 0
[pid=9464] ppid=9462 vsize=15483968 memory=155276 CPUtime=1.66 cores=1,3,5,7
/proc/9464/stat : 9464 (java) S 9462 9462 25300 0 -1 1077944320 15246 0 0 0 159 7 0 0 20 0 19 0 409494415 15855583232 38819 33554432000 4194304 4196468 140726183980112 140726183962656 140267892436727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
/proc/9464/statm: 3870992 38819 3460 1 0 3832094 0
[pid=9464/tid=9465] ppid=9462 vsize=15483968 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/9464/task/9465/stat : 9465 (java) S 9462 9462 25300 0 -1 1077944384 8775 0 0 0 49 4 0 0 20 0 19 0 409494415 15855583232 38819 33554432000 4194304 4196468 140726183980112 140267896677504 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9466] ppid=9462 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9466/stat : 9466 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409494416 15855583232 38819 33554432000 4194304 4196468 140726183980112 140267862150288 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9467] ppid=9462 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9467/stat : 9467 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409494416 15855583232 38819 33554432000 4194304 4196468 140726183980112 140267483696144 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9468] ppid=9462 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9468/stat : 9468 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409494416 15855583232 38819 33554432000 4194304 4196468 140726183980112 140267482643344 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9469] ppid=9462 vsize=15483968 memory=70 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9469/stat : 9469 (java) S 9462 9462 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409494416 15855583232 38819 33554432000 4194304 4196468 140726183980112 140267481590544 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9470] ppid=9462 vsize=15483968 memory=1 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9470/stat : 9470 (java) S 9462 9462 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409494417 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266967865712 140267892447874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9471] ppid=9462 vsize=15483968 memory=14323715934760 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9471/stat : 9471 (java) S 9462 9462 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409494418 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266966811680 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9472] ppid=9462 vsize=15483968 memory=2958624 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9472/stat : 9472 (java) S 9462 9462 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409494418 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266965758832 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9473] ppid=9462 vsize=15483968 memory=2966641 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9473/stat : 9473 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409494420 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266964707152 140267892455323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9474] ppid=9462 vsize=15483968 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/9464/task/9474/stat : 9474 (java) R 9462 9462 25300 0 -1 4202560 1652 0 0 0 30 0 0 0 20 0 19 0 409494420 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266963643728 140267876826232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9475] ppid=9462 vsize=15483968 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/9464/task/9475/stat : 9475 (java) R 9462 9462 25300 0 -1 1077944384 684 0 0 0 25 0 0 0 20 0 19 0 409494420 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266962602736 140267892447874 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9476] ppid=9462 vsize=15483968 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/9464/task/9476/stat : 9476 (java) R 9462 9462 25300 0 -1 4202560 1987 0 0 0 34 0 0 0 20 0 19 0 409494420 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266961550064 140267872151508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9477] ppid=9462 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9477/stat : 9477 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409494420 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266960497376 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9478] ppid=9462 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9478/stat : 9478 (java) S 9462 9462 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409494421 15855583232 38819 33554432000 4194304 4196468 140726183980112 140266959444656 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 156728 KiB
[startup+1.50161 s]
/proc/loadavg: 8.04 7.94 7.63 13/238 9542
/proc/meminfo: memFree=29679180/32770624 swapFree=66933688/67108860
[pid=9462] ppid=9459 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9462/stat : 9462 (xcsp3-exec) S 9459 9462 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409494415 115843072 363 33554432000 4194304 5098028 140735706146320 140735706144424 139887894385276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10391552 140735706153850 140735706154093 140735706154093 140735706157002 0
/proc/9462/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9464/task/9478/stat : 9478 (java) S 9462 9462 25300 0 -1 1077944384 913 0 0 0 0 6 0 0 20 0 19 0 409494421 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266959444656 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9587] ppid=9462 vsize=15484996 memory=1548 CPUtime=199.96 cores=1,3,5,7
/proc/9464/task/9587/stat : 9587 (java) R 9462 9462 25300 0 -1 4202560 820 0 0 0 19996 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266949181352 140267532648466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9588] ppid=9462 vsize=15484996 memory=1056 CPUtime=199.32 cores=1,3,5,7
/proc/9464/task/9588/stat : 9588 (java) R 9462 9462 25300 0 -1 4202560 2426 0 0 0 19931 1 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266944973664 140267532647821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9589] ppid=9462 vsize=15484996 memory=3620 CPUtime=199.93 cores=1,3,5,7
/proc/9464/task/9589/stat : 9589 (java) R 9462 9462 25300 0 -1 4202560 653 0 0 0 19993 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266950234888 140267533567964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9590] ppid=9462 vsize=15484996 memory=80265174078768 CPUtime=199.64 cores=1,3,5,7
/proc/9464/task/9590/stat : 9590 (java) R 9462 9462 25300 0 -1 4202560 1100 0 0 0 19964 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266947075712 140267535231846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
Current children cumulated CPU time: 811.22 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 178332 KiB
[startup+206.402 s]
/proc/loadavg: 8.88 8.39 7.86 9/238 9612
/proc/meminfo: memFree=29647588/32770624 swapFree=66933688/67108860
[pid=9462] ppid=9459 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9462/stat : 9462 (xcsp3-exec) S 9459 9462 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409494415 115843072 363 33554432000 4194304 5098028 140735706146320 140735706144424 139887894385276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10391552 140735706153850 140735706154093 140735706154093 140735706157002 0
/proc/9462/statm: 28282 363 304 221 0 87 0
[pid=9464] ppid=9462 vsize=15484996 memory=176880 CPUtime=817.53 cores=1,3,5,7
/proc/9464/stat : 9464 (java) S 9462 9462 25300 0 -1 1077944320 50838 0 0 0 81729 24 0 0 20 0 19 0 409494415 15856635904 44220 33554432000 4194304 4196468 140726183980112 140726183962656 140267892436727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
/proc/9464/statm: 3871249 44220 3514 1 0 3832351 0
[pid=9464/tid=9465] ppid=9462 vsize=15484996 memory=3620 CPUtime=0.53 cores=1,3,5,7
/proc/9464/task/9465/stat : 9465 (java) S 9462 9462 25300 0 -1 1077944384 8943 0 0 0 49 4 0 0 20 0 19 0 409494415 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267896677504 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9466] ppid=9462 vsize=15484996 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9466/stat : 9466 (java) S 9462 9462 25300 0 -1 1077944384 3699 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267862150288 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9467] ppid=9462 vsize=15484996 memory=8112282956445269571 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9467/stat : 9467 (java) S 9462 9462 25300 0 -1 1077944384 1658 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267483696144 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9468] ppid=9462 vsize=15484996 memory=916 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9468/stat : 9468 (java) S 9462 9462 25300 0 -1 1077944384 1949 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267482643344 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9469] ppid=9462 vsize=15484996 memory=3848 CPUtime=0.22 cores=1,3,5,7
/proc/9464/task/9469/stat : 9469 (java) S 9462 9462 25300 0 -1 1077944384 1463 0 0 0 20 2 0 0 20 0 19 0 409494416 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267481590544 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9470] ppid=9462 vsize=15484996 memory=3016 CPUtime=0.12 cores=1,3,5,7
/proc/9464/task/9470/stat : 9470 (java) S 9462 9462 25300 0 -1 1077944384 2193 0 0 0 7 5 0 0 20 0 19 0 409494417 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266967865712 140267892447874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9471] ppid=9462 vsize=15484996 memory=2620 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9471/stat : 9471 (java) S 9462 9462 25300 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409494418 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266966811744 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9472] ppid=9462 vsize=15484996 memory=176880 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9472/stat : 9472 (java) S 9462 9462 25300 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409494418 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266965758848 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9473] ppid=9462 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9473/stat : 9473 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266964707152 140267892455323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9474] ppid=9462 vsize=15484996 memory=1 CPUtime=2.19 cores=1,3,5,7
/proc/9464/task/9474/stat : 9474 (java) S 9462 9462 25300 0 -1 1077944384 8220 0 0 0 218 1 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266963655536 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9475] ppid=9462 vsize=15484996 memory=0 CPUtime=2.18 cores=1,3,5,7
/proc/9464/task/9475/stat : 9475 (java) S 9462 9462 25300 0 -1 1077944384 7888 0 0 0 218 0 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266962602736 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9476] ppid=9462 vsize=15484996 memory=2147 CPUtime=0.52 cores=1,3,5,7
/proc/9464/task/9476/stat : 9476 (java) S 9462 9462 25300 0 -1 1077944384 4936 0 0 0 52 0 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266961549936 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9477] ppid=9462 vsize=15484996 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9477/stat : 9477 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266960497376 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9478] ppid=9462 vsize=15484996 memory=2532 CPUtime=0.06 cores=1,3,5,7
/proc/9464/task/9478/stat : 9478 (java) S 9462 9462 25300 0 -1 1077944384 913 0 0 0 0 6 0 0 20 0 19 0 409494421 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266959444656 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9587] ppid=9462 vsize=15484996 memory=1440 CPUtime=201.55 cores=1,3,5,7
/proc/9464/task/9587/stat : 9587 (java) R 9462 9462 25300 0 -1 4202560 821 0 0 0 20155 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266949180808 140267534011082 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9588] ppid=9462 vsize=15484996 memory=808 CPUtime=200.9 cores=1,3,5,7
/proc/9464/task/9588/stat : 9588 (java) R 9462 9462 25300 0 -1 4202560 2427 0 0 0 20089 1 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266944973664 140267533506581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9589] ppid=9462 vsize=15484996 memory=1772 CPUtime=201.47 cores=1,3,5,7
/proc/9464/task/9589/stat : 9589 (java) R 9462 9462 25300 0 -1 4202560 653 0 0 0 20147 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266950234312 140267533567362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9590] ppid=9462 vsize=15484996 memory=1448 CPUtime=201.22 cores=1,3,5,7
/proc/9464/task/9590/stat : 9590 (java) R 9462 9462 25300 0 -1 4202560 1100 0 0 0 20122 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266947075824 140267535232007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
Current children cumulated CPU time: 817.53 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 178332 KiB
[startup+206.802 s]
/proc/loadavg: 8.88 8.39 7.86 9/238 9612
/proc/meminfo: memFree=29647588/32770624 swapFree=66933688/67108860
[pid=9462] ppid=9459 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9462/stat : 9462 (xcsp3-exec) S 9459 9462 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409494415 115843072 363 33554432000 4194304 5098028 140735706146320 140735706144424 139887894385276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10391552 140735706153850 140735706154093 140735706154093 140735706157002 0
/proc/9462/statm: 28282 363 304 221 0 87 0
[pid=9464] ppid=9462 vsize=15484996 memory=176880 CPUtime=819.13 cores=1,3,5,7
/proc/9464/stat : 9464 (java) S 9462 9462 25300 0 -1 1077944320 50841 0 0 0 81889 24 0 0 20 0 19 0 409494415 15856635904 44220 33554432000 4194304 4196468 140726183980112 140726183962656 140267892436727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
/proc/9464/statm: 3871249 44220 3514 1 0 3832351 0
[pid=9464/tid=9465] ppid=9462 vsize=15484996 memory=2124 CPUtime=0.53 cores=1,3,5,7
/proc/9464/task/9465/stat : 9465 (java) S 9462 9462 25300 0 -1 1077944384 8943 0 0 0 49 4 0 0 20 0 19 0 409494415 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267896677504 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9466] ppid=9462 vsize=15484996 memory=6352 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9466/stat : 9466 (java) S 9462 9462 25300 0 -1 1077944384 3699 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267862150288 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9467] ppid=9462 vsize=15484996 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9467/stat : 9467 (java) S 9462 9462 25300 0 -1 1077944384 1658 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267483696144 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9468] ppid=9462 vsize=15484996 memory=176880 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9468/stat : 9468 (java) S 9462 9462 25300 0 -1 1077944384 1949 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267482643344 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9469] ppid=9462 vsize=15484996 memory=6655300316396806240 CPUtime=0.22 cores=1,3,5,7
/proc/9464/task/9469/stat : 9469 (java) S 9462 9462 25300 0 -1 1077944384 1463 0 0 0 20 2 0 0 20 0 19 0 409494416 15856635904 44220 33554432000 4194304 4196468 140726183980112 140267481590544 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9470] ppid=9462 vsize=15484996 memory=6944656592455359580 CPUtime=0.12 cores=1,3,5,7
/proc/9464/task/9470/stat : 9470 (java) S 9462 9462 25300 0 -1 1077944384 2193 0 0 0 7 5 0 0 20 0 19 0 409494417 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266967865712 140267892447874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9471] ppid=9462 vsize=15484996 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9471/stat : 9471 (java) S 9462 9462 25300 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409494418 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266966811744 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9472] ppid=9462 vsize=15484996 memory=56 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9472/stat : 9472 (java) S 9462 9462 25300 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409494418 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266965758848 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9473] ppid=9462 vsize=15484996 memory=-6374957858630779283 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9473/stat : 9473 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266964707152 140267892455323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9474] ppid=9462 vsize=15484996 memory=-7518891959079781826 CPUtime=2.19 cores=1,3,5,7
/proc/9464/task/9474/stat : 9474 (java) S 9462 9462 25300 0 -1 1077944384 8220 0 0 0 218 1 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266963655536 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9475] ppid=9462 vsize=15484996 memory=-7522837583045875833 CPUtime=2.18 cores=1,3,5,7
/proc/9464/task/9475/stat : 9475 (java) S 9462 9462 25300 0 -1 1077944384 7888 0 0 0 218 0 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266962602736 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9476] ppid=9462 vsize=15484996 memory=4137282616176384304 CPUtime=0.52 cores=1,3,5,7
/proc/9464/task/9476/stat : 9476 (java) S 9462 9462 25300 0 -1 1077944384 4936 0 0 0 52 0 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266961549936 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9477] ppid=9462 vsize=15484996 memory=6933690287860520752 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9477/stat : 9477 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409494420 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266960497376 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9478] ppid=9462 vsize=15484996 memory=6369613127971532132 CPUtime=0.06 cores=1,3,5,7
/proc/9464/task/9478/stat : 9478 (java) S 9462 9462 25300 0 -1 1077944384 913 0 0 0 0 6 0 0 20 0 19 0 409494421 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266959444656 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9587] ppid=9462 vsize=15484996 memory=6369613127971532132 CPUtime=201.95 cores=1,3,5,7
/proc/9464/task/9587/stat : 9587 (java) R 9462 9462 25300 0 -1 4202560 823 0 0 0 20195 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266949180616 140267532797065 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9588] ppid=9462 vsize=15484996 memory=8112282956445269571 CPUtime=201.3 cores=1,3,5,7
/proc/9464/task/9588/stat : 9588 (java) R 9462 9462 25300 0 -1 4202560 2428 0 0 0 20129 1 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266944973664 140267535231836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9589] ppid=9462 vsize=15484996 memory=772 CPUtime=201.87 cores=1,3,5,7
/proc/9464/task/9589/stat : 9589 (java) R 9462 9462 25300 0 -1 4202560 653 0 0 0 20187 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266950234344 140267532647563 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9590] ppid=9462 vsize=15484996 memory=3932 CPUtime=201.62 cores=1,3,5,7
/proc/9464/task/9590/stat : 9590 (java) R 9462 9462 25300 0 -1 4202560 1100 0 0 0 20162 0 0 0 20 0 19 0 409494762 15856635904 44220 33554432000 4194304 4196468 140726183980112 140266947075712 140267535231945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
Current children cumulated CPU time: 819.13 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 178332 KiB
[startup+207.201 s]
/proc/loadavg: 8.88 8.39 7.86 6/238 9612
/proc/meminfo: memFree=29645540/32770624 swapFree=66933688/67108860
[pid=9462] ppid=9459 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9462/stat : 9462 (xcsp3-exec) S 9459 9462 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409494415 115843072 363 33554432000 4194304 5098028 140735706146320 140735706144424 139887894385276 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10391552 140735706153850 140735706154093 140735706154093 140735706157002 0
/proc/9462/statm: 28282 363 304 221 0 87 0
[pid=9464] ppid=9462 vsize=15484996 memory=176884 CPUtime=819.77 cores=1,3,5,7
/proc/9464/stat : 9464 (java) S 9462 9462 25300 0 -1 1077944320 50949 0 0 0 81953 24 0 0 20 0 19 0 409494415 15856635904 44221 33554432000 4194304 4196468 140726183980112 140726183962656 140267892436727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
/proc/9464/statm: 3871249 44221 3514 1 0 3832351 0
[pid=9464/tid=9465] ppid=9462 vsize=15484996 memory=5952 CPUtime=0.53 cores=1,3,5,7
/proc/9464/task/9465/stat : 9465 (java) S 9462 9462 25300 0 -1 1077944384 8943 0 0 0 49 4 0 0 20 0 19 0 409494415 15856635904 44221 33554432000 4194304 4196468 140726183980112 140267896677504 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9466] ppid=9462 vsize=15484996 memory=1124 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9466/stat : 9466 (java) S 9462 9462 25300 0 -1 1077944384 3699 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44221 33554432000 4194304 4196468 140726183980112 140267862150288 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9467] ppid=9462 vsize=15484996 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9467/stat : 9467 (java) S 9462 9462 25300 0 -1 1077944384 1658 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44221 33554432000 4194304 4196468 140726183980112 140267483696144 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9468] ppid=9462 vsize=15484996 memory=176880 CPUtime=0.23 cores=1,3,5,7
/proc/9464/task/9468/stat : 9468 (java) S 9462 9462 25300 0 -1 1077944384 1949 0 0 0 21 2 0 0 20 0 19 0 409494416 15856635904 44221 33554432000 4194304 4196468 140726183980112 140267482643344 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9469] ppid=9462 vsize=15484996 memory=3388 CPUtime=0.22 cores=1,3,5,7
/proc/9464/task/9469/stat : 9469 (java) S 9462 9462 25300 0 -1 1077944384 1463 0 0 0 20 2 0 0 20 0 19 0 409494416 15856635904 44221 33554432000 4194304 4196468 140726183980112 140267481590544 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9470] ppid=9462 vsize=15484996 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/9464/task/9470/stat : 9470 (java) S 9462 9462 25300 0 -1 1077944384 2193 0 0 0 7 5 0 0 20 0 19 0 409494417 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266967865712 140267892447874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9471] ppid=9462 vsize=15484996 memory=4578 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9471/stat : 9471 (java) S 9462 9462 25300 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409494418 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266966811744 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9472] ppid=9462 vsize=15484996 memory=2009 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9472/stat : 9472 (java) S 9462 9462 25300 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409494418 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266965758848 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9473] ppid=9462 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9473/stat : 9473 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409494420 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266964707152 140267892455323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9474] ppid=9462 vsize=15484996 memory=126 CPUtime=2.19 cores=1,3,5,7
/proc/9464/task/9474/stat : 9474 (java) S 9462 9462 25300 0 -1 1077944384 8220 0 0 0 218 1 0 0 20 0 19 0 409494420 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266963655536 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9475] ppid=9462 vsize=15484996 memory=513 CPUtime=2.18 cores=1,3,5,7
/proc/9464/task/9475/stat : 9475 (java) S 9462 9462 25300 0 -1 1077944384 7888 0 0 0 218 0 0 0 20 0 19 0 409494420 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266962602736 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9476] ppid=9462 vsize=15484996 memory=1564 CPUtime=0.52 cores=1,3,5,7
/proc/9464/task/9476/stat : 9476 (java) S 9462 9462 25300 0 -1 1077944384 4936 0 0 0 52 0 0 0 20 0 19 0 409494420 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266961549936 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9477] ppid=9462 vsize=15484996 memory=976 CPUtime=0 cores=1,3,5,7
/proc/9464/task/9477/stat : 9477 (java) S 9462 9462 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409494420 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266960497376 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9478] ppid=9462 vsize=15484996 memory=772 CPUtime=0.06 cores=1,3,5,7
/proc/9464/task/9478/stat : 9478 (java) S 9462 9462 25300 0 -1 1077944384 913 0 0 0 0 6 0 0 20 0 19 0 409494421 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266959444656 140267892447874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9587] ppid=9462 vsize=15484996 memory=3932 CPUtime=202.03 cores=1,3,5,7
/proc/9464/task/9587/stat : 9587 (java) S 9462 9462 25300 0 -1 1077944384 905 0 0 0 20203 0 0 0 20 0 19 0 409494762 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266949185600 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9588] ppid=9462 vsize=15484996 memory=2832 CPUtime=201.39 cores=1,3,5,7
/proc/9464/task/9588/stat : 9588 (java) S 9462 9462 25300 0 -1 1077944384 2437 0 0 0 20138 1 0 0 20 0 19 0 409494762 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266944976208 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9589] ppid=9462 vsize=15484996 memory=1548 CPUtime=201.95 cores=1,3,5,7
/proc/9464/task/9589/stat : 9589 (java) S 9462 9462 25300 0 -1 1077944384 670 0 0 0 20195 0 0 0 20 0 19 0 409494762 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266950239440 140267892446933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
[pid=9464/tid=9590] ppid=9462 vsize=15484996 memory=984 CPUtime=202.02 cores=1,3,5,7
/proc/9464/task/9590/stat : 9590 (java) R 9462 9462 25300 0 -1 4202560 1100 0 0 0 20202 0 0 0 20 0 19 0 409494762 15856635904 44221 33554432000 4194304 4196468 140726183980112 140266947075712 140267535231896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140726183982063 140726183982234 140726183982234 140726183985103 0
Current children cumulated CPU time: 819.77 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 178336 KiB
Child status: 0
Real time (s): 207.274
CPU time (s): 819.861
CPU user time (s): 819.608
CPU system time (s): 0.253702
CPU usage (%): 395.545
Max. virtual memory (cumulated for all children) (KiB): 15598124
Max. memory (cumulated for all children) (KiB): 218920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 819.608
system time used= 0.253702
maximum resident set size= 221596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9348
involuntary context switches= 17642
# summary of solver processes directly reported to runsolver:
# pid: 9462
# total CPU time (s): 819.861
# total CPU user time (s): 819.608
# total CPU system time (s): 0.253702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36992 second user time and 2.44417 second system time
The end