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 (15258 MiB free)
memory of node 1: 16384 MiB (13169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400479-1568676481/watcher-4400479-1568676481 -o /tmp/evaluation-result-4400479-1568676481/solver-4400479-1568676481 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 146496948 HOME/instance-4400479-1568676481.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
solver pid=5271, runsolver pid=5268
Current StackSize limit: 8192 KiB
[startup+0.100433 s]*
/proc/loadavg: 8.20 8.45 8.35 8/233 5287
/proc/meminfo: memFree=29094824/32770624 swapFree=66997368/67108860
[pid=5271] ppid=5268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (xcsp3-exec) S 5268 5271 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443901132 115843072 363 33554432000 4194304 5098028 140731701303568 140731701301672 139729272001148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21598208 140731701310331 140731701310573 140731701310573 140731701313482 0
/proc/5271/statm: 28282 363 304 221 0 87 0
[pid=5273] ppid=5271 vsize=15144776 memory=28732 CPUtime=0.12 cores=0,2,4,6
/proc/5273/stat : 5273 (java) S 5271 5271 32513 0 -1 1077944320 5660 0 0 0 11 1 0 0 20 0 15 0 443901133 15508250624 7183 33554432000 4194304 4196468 140724775279072 140724775261616 139672247684855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
/proc/5273/statm: 3786194 7183 3125 1 0 3748377 0
[pid=5273/tid=5274] ppid=5271 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/5273/task/5274/stat : 5274 (java) R 5271 5271 32513 0 -1 4202560 3567 0 0 0 9 0 0 0 20 0 15 0 443901133 15508250624 7249 33554432000 4194304 4196468 140724775279072 139672251906128 139672247696790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5275] ppid=5271 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5275/stat : 5275 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15508250624 7249 33554432000 4194304 4196468 140724775279072 139672204237840 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5276] ppid=5271 vsize=15144776 memory=140092778825344 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5276/stat : 5276 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671838579856 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5277] ppid=5271 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5277/stat : 5277 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671837526800 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5278] ppid=5271 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5278/stat : 5278 (java) S 5271 5271 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443901134 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671836474256 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5279] ppid=5271 vsize=15144776 memory=140092778825344 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5279/stat : 5279 (java) S 5271 5271 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443901135 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671581587696 139672247696002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5280] ppid=5271 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5280/stat : 5280 (java) S 5271 5271 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443901136 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671580533920 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5281] ppid=5271 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5281/stat : 5281 (java) S 5271 5271 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443901136 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671579480816 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5282] ppid=5271 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5282/stat : 5282 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443901138 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671578429392 139672247703451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5283] ppid=5271 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5283/stat : 5283 (java) S 5271 5271 32513 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 443901138 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671577377520 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5284] ppid=5271 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5284/stat : 5284 (java) S 5271 5271 32513 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 443901138 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671576324976 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5285] ppid=5271 vsize=15144776 memory=140092778825344 CPUtime=0.02 cores=0,2,4,6
/proc/5273/task/5285/stat : 5285 (java) R 5271 5271 32513 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 443901138 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671575271920 139672226053453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5286] ppid=5271 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5286/stat : 5286 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443901138 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671574219616 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5287] ppid=5271 vsize=15144776 memory=140092778825344 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5287/stat : 5287 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901139 15508250624 7249 33554432000 4194304 4196468 140724775279072 139671573166640 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30184 KiB
[startup+0.210806 s]*
/proc/loadavg: 8.20 8.45 8.35 7/233 5287
/proc/meminfo: memFree=29081464/32770624 swapFree=66997368/67108860
[pid=5271] ppid=5268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (xcsp3-exec) S 5268 5271 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443901132 115843072 363 33554432000 4194304 5098028 140731701303568 140731701301672 139729272001148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21598208 140731701310331 140731701310573 140731701310573 140731701313482 0
/proc/5271/statm: 28282 363 304 221 0 87 0
[pid=5273] ppid=5271 vsize=15144776 memory=41264 CPUtime=0.34 cores=0,2,4,6
/proc/5273/stat : 5273 (java) S 5271 5271 32513 0 -1 1077944320 9477 0 0 0 31 3 0 0 20 0 15 0 443901133 15508250624 10316 33554432000 4194304 4196468 140724775279072 140724775261616 139672247684855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
/proc/5273/statm: 3786194 10316 3321 1 0 3748377 0
[pid=5273/tid=5274] ppid=5271 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/5273/task/5274/stat : 5274 (java) R 5271 5271 32513 0 -1 4202560 6586 0 0 0 18 2 0 0 20 0 15 0 443901133 15508250624 10316 33554432000 4194304 4196468 140724775279072 139672251920000 139672247696790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5275] ppid=5271 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5275/stat : 5275 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15508250624 10316 33554432000 4194304 4196468 140724775279072 139672204237840 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5276] ppid=5271 vsize=15144776 memory=3978850694002460320 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5276/stat : 5276 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671838579856 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5277] ppid=5271 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5277/stat : 5277 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671837526800 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5278] ppid=5271 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5278/stat : 5278 (java) S 5271 5271 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443901134 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671836474256 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5279] ppid=5271 vsize=15144776 memory=140092778825344 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5279/stat : 5279 (java) S 5271 5271 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443901135 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671581587696 139672247696002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5280] ppid=5271 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5280/stat : 5280 (java) S 5271 5271 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443901136 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671580533920 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5281] ppid=5271 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5281/stat : 5281 (java) S 5271 5271 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443901136 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671579480816 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5282] ppid=5271 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5282/stat : 5282 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443901138 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671578429392 139672247703451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5283] ppid=5271 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5273/task/5283/stat : 5283 (java) S 5271 5271 32513 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 443901138 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671577377520 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5284] ppid=5271 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5273/task/5284/stat : 5284 (java) S 5271 5271 32513 0 -1 1077944384 507 0 0 0 3 0 0 0 20 0 15 0 443901138 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671576324976 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5285] ppid=5271 vsize=15144776 memory=140092778825344 CPUtime=0.08 cores=0,2,4,6
/proc/5273/task/5285/stat : 5285 (java) R 5271 5271 32513 0 -1 4202560 733 0 0 0 8 0 0 0 20 0 15 0 443901138 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671575271920 139672247696790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5286] ppid=5271 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5286/stat : 5286 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443901138 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671574219616 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5287] ppid=5271 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5287/stat : 5287 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901139 15508250624 10316 33554432000 4194304 4196468 140724775279072 139671573166640 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42716 KiB
[startup+0.310709 s]*
/proc/loadavg: 8.20 8.45 8.35 8/233 5287
/proc/meminfo: memFree=29074576/32770624 swapFree=66997368/67108860
[pid=5271] ppid=5268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (xcsp3-exec) S 5268 5271 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443901132 115843072 363 33554432000 4194304 5098028 140731701303568 140731701301672 139729272001148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21598208 140731701310331 140731701310573 140731701310573 140731701313482 0
/proc/5271/statm: 28282 363 304 221 0 87 0
[pid=5273] ppid=5271 vsize=15149032 memory=49976 CPUtime=0.53 cores=0,2,4,6
/proc/5273/stat : 5273 (java) S 5271 5271 32513 0 -1 1077944320 10818 0 0 0 49 4 0 0 20 0 15 0 443901133 15512608768 12494 33554432000 4194304 4196468 140724775279072 140724775261616 139672247684855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
/proc/5273/statm: 3787258 12494 3356 1 0 3748377 0
[pid=5273/tid=5274] ppid=5271 vsize=15149032 memory=32213995742560408 CPUtime=0.29 cores=0,2,4,6
/proc/5273/task/5274/stat : 5274 (java) R 5271 5271 32513 0 -1 4202560 7745 0 0 0 27 2 0 0 20 0 15 0 443901133 15512608768 12494 33554432000 4194304 4196468 140724775279072 139672251914512 139672231765342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5275] ppid=5271 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5275/stat : 5275 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15512608768 12494 33554432000 4194304 4196468 140724775279072 139672204237840 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5276] ppid=5271 vsize=15149032 memory=15540712988330992 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5276/stat : 5276 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671838579856 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5277] ppid=5271 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5277/stat : 5277 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901134 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671837526800 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5278] ppid=5271 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5278/stat : 5278 (java) S 5271 5271 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443901134 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671836474256 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5279] ppid=5271 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5279/stat : 5279 (java) S 5271 5271 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443901135 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671581587696 139672247696002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5280] ppid=5271 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5280/stat : 5280 (java) S 5271 5271 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443901136 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671580533920 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5281] ppid=5271 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5281/stat : 5281 (java) S 5271 5271 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443901136 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671579480816 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5282] ppid=5271 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5282/stat : 5282 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443901138 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671578429392 139672247703451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5283] ppid=5271 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5273/task/5283/stat : 5283 (java) R 5271 5271 32513 0 -1 4202560 445 0 0 0 4 0 0 0 20 0 15 0 443901138 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671577377520 139672231242168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5284] ppid=5271 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5273/task/5284/stat : 5284 (java) S 5271 5271 32513 0 -1 1077944384 531 0 0 0 4 0 0 0 20 0 15 0 443901138 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671576324976 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5285] ppid=5271 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5273/task/5285/stat : 5285 (java) S 5271 5271 32513 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 15 0 443901138 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671575271920 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5286] ppid=5271 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5286/stat : 5286 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443901138 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671574219616 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5287] ppid=5271 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5287/stat : 5287 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443901139 15512608768 12494 33554432000 4194304 4196468 140724775279072 139671573166640 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51428 KiB
[startup+0.70075 s]
/proc/loadavg: 8.20 8.45 8.35 7/233 5287
/proc/meminfo: memFree=29064100/32770624 swapFree=66997368/67108860
[pid=5271] ppid=5268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (xcsp3-exec) S 5268 5271 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443901132 115843072 363 33554432000 4194304 5098028 140731701303568 140731701301672 139729272001148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21598208 140731701310331 140731701310573 140731701310573 140731701313482 0
/proc/5271/statm: 28282 363 304 221 0 87 0
[pid=5273] ppid=5271 vsize=15417412 memory=85780 CPUtime=1.59 cores=0,2,4,6
/proc/5273/stat : 5273 (java) S 5271 5271 32513 0 -1 1077944320 14719 0 0 0 153 6 0 0 20 0 19 0 443901133 15787429888 21445 33554432000 4194304 4196468 140724775279072 140724775261616 139672247684855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
/proc/5273/statm: 3854353 21445 3453 1 0 3815453 0
[pid=5273/tid=5274] ppid=5271 vsize=15417412 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/5273/task/5274/stat : 5274 (java) S 5271 5271 32513 0 -1 1077944384 9332 0 0 0 62 3 0 0 20 0 19 0 443901133 15787429888 21445 33554432000 4194304 4196468 140724775279072 139672251925632 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5275] ppid=5271 vsize=15417412 memory=143 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5275/stat : 5275 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443901134 15787429888 21445 33554432000 4194304 4196468 140724775279072 139672204237840 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5276] ppid=5271 vsize=15417412 memory=2 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5276/stat : 5276 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443901134 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671838579856 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5277] ppid=5271 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5277/stat : 5277 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443901134 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671837526800 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5278] ppid=5271 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5278/stat : 5278 (java) S 5271 5271 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443901134 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671836474256 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5279] ppid=5271 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5279/stat : 5279 (java) S 5271 5271 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 443901135 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671581587696 139672247696002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5280] ppid=5271 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5280/stat : 5280 (java) S 5271 5271 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443901136 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671580533920 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5281] ppid=5271 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5281/stat : 5281 (java) S 5271 5271 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 443901136 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671579480816 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5282] ppid=5271 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5282/stat : 5282 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443901138 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671578429392 139672247703451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5283] ppid=5271 vsize=15417412 memory=1764 CPUtime=0.23 cores=0,2,4,6
/proc/5273/task/5283/stat : 5283 (java) S 5271 5271 32513 0 -1 1077944384 951 0 0 0 23 0 0 0 20 0 19 0 443901138 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671577377520 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5284] ppid=5271 vsize=15417412 memory=111628 CPUtime=0.21 cores=0,2,4,6
/proc/5273/task/5284/stat : 5284 (java) S 5271 5271 32513 0 -1 1077944384 1176 0 0 0 21 0 0 0 20 0 19 0 443901138 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671576324976 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5285] ppid=5271 vsize=15417412 memory=796 CPUtime=0.42 cores=0,2,4,6
/proc/5273/task/5285/stat : 5285 (java) R 5271 5271 32513 0 -1 4202560 1751 0 0 0 42 0 0 0 20 0 19 0 443901138 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671575270608 139672226129638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5286] ppid=5271 vsize=15417412 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5286/stat : 5286 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443901138 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671574219616 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5287] ppid=5271 vsize=15417412 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5287/stat : 5287 (java) S 5271 5271 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443901139 15787429888 21445 33554432000 4194304 4196468 140724775279072 139671573166640 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 87232 KiB
[startup+1.50076 s]
/proc/loadavg: 8.20 8.45 8.35 12/237 5339
/proc/meminfo: memFree=28947576/32770624 swapFree=66997368/67108860
[pid=5271] ppid=5268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (xcsp3-exec) S 5268 5271 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443901132 115843072 363 33554432000 4194304 5098028 140731701303568 140731701301672 139729272001148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21598208 140731701310331 140731701310573 140731701310573 140731701313482 0
/proc/5271/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5273/task/5287/stat : 5287 (java) S 5271 5271 32513 0 -1 1077944384 393 0 0 0 0 5 0 0 20 0 19 0 443901139 15858741248 226206 33554432000 4194304 4196468 140724775279072 139671573166640 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5467] ppid=5271 vsize=15487052 memory=2012 CPUtime=133.08 cores=0,2,4,6
/proc/5273/task/5467/stat : 5467 (java) R 5271 5271 32513 0 -1 4202560 2547 0 0 0 13306 2 0 0 20 0 19 0 443904907 15858741248 226206 33554432000 4194304 4196468 140724775279072 139671561026936 139671888841487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5468] ppid=5271 vsize=15487052 memory=1388 CPUtime=132.76 cores=0,2,4,6
/proc/5273/task/5468/stat : 5468 (java) R 5271 5271 32513 0 -1 4202560 11286 0 0 0 13273 3 0 0 20 0 19 0 443904907 15858741248 226206 33554432000 4194304 4196468 140724775279072 139671559974848 139671889057463 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5469] ppid=5271 vsize=15487052 memory=1452 CPUtime=133.05 cores=0,2,4,6
/proc/5273/task/5469/stat : 5469 (java) R 5271 5271 32513 0 -1 4202560 3838 0 0 0 13304 1 0 0 20 0 19 0 443904907 15858741248 226206 33554432000 4194304 4196468 140724775279072 139671562082784 139671889056653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5470] ppid=5271 vsize=15487052 memory=1548 CPUtime=133.18 cores=0,2,4,6
/proc/5273/task/5470/stat : 5470 (java) R 5271 5271 32513 0 -1 4202560 5364 0 0 0 13313 5 0 0 20 0 19 0 443904907 15858741248 226206 33554432000 4194304 4196468 140724775279072 139671556826040 139671889068646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
Current children cumulated CPU time: 683.06 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 906276 KiB
[startup+174.401 s]
/proc/loadavg: 8.54 8.59 8.42 9/237 5640
/proc/meminfo: memFree=29455596/32770624 swapFree=66997368/67108860
[pid=5271] ppid=5268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (xcsp3-exec) S 5268 5271 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443901132 115843072 363 33554432000 4194304 5098028 140731701303568 140731701301672 139729272001148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21598208 140731701310331 140731701310573 140731701310573 140731701313482 0
/proc/5271/statm: 28282 363 304 221 0 87 0
[pid=5273] ppid=5271 vsize=15487052 memory=902500 CPUtime=689.41 cores=0,2,4,6
/proc/5273/stat : 5273 (java) S 5271 5271 32513 0 -1 1077944320 79347 0 0 0 68886 55 0 0 20 0 19 0 443901133 15858741248 225625 33554432000 4194304 4196468 140724775279072 140724775261616 139672247684855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
/proc/5273/statm: 3871763 225625 3546 1 0 3832863 0
[pid=5273/tid=5274] ppid=5271 vsize=15487052 memory=823584 CPUtime=0.66 cores=0,2,4,6
/proc/5273/task/5274/stat : 5274 (java) S 5271 5271 32513 0 -1 1077944384 9518 0 0 0 63 3 0 0 20 0 19 0 443901133 15858741248 225625 33554432000 4194304 4196468 140724775279072 139672251925632 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5275] ppid=5271 vsize=15487052 memory=14008 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5275/stat : 5275 (java) S 5271 5271 32513 0 -1 1077944384 3829 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225625 33554432000 4194304 4196468 140724775279072 139672204237840 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5276] ppid=5271 vsize=15487052 memory=2124 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5276/stat : 5276 (java) S 5271 5271 32513 0 -1 1077944384 1781 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671838579856 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5277] ppid=5271 vsize=15487052 memory=1560 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5277/stat : 5277 (java) S 5271 5271 32513 0 -1 1077944384 1955 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671837526800 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5278] ppid=5271 vsize=15487052 memory=932 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5278/stat : 5278 (java) S 5271 5271 32513 0 -1 1077944384 2332 0 0 0 61 8 0 0 20 0 19 0 443901134 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671836474256 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5279] ppid=5271 vsize=15487052 memory=3768 CPUtime=0.37 cores=0,2,4,6
/proc/5273/task/5279/stat : 5279 (java) S 5271 5271 32513 0 -1 1077944384 7113 0 0 0 30 7 0 0 20 0 19 0 443901135 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671581587696 139672247696002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5280] ppid=5271 vsize=15487052 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5280/stat : 5280 (java) S 5271 5271 32513 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 443901136 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671580533984 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5281] ppid=5271 vsize=15487052 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5281/stat : 5281 (java) S 5271 5271 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 443901136 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671579480832 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5282] ppid=5271 vsize=15487052 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5282/stat : 5282 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443901138 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671578429392 139672247703451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5283] ppid=5271 vsize=15487052 memory=111628 CPUtime=1.38 cores=0,2,4,6
/proc/5273/task/5283/stat : 5283 (java) S 5271 5271 32513 0 -1 1077944384 7097 0 0 0 137 1 0 0 20 0 19 0 443901138 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671577377520 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5284] ppid=5271 vsize=15487052 memory=796 CPUtime=1.65 cores=0,2,4,6
/proc/5273/task/5284/stat : 5284 (java) S 5271 5271 32513 0 -1 1077944384 9751 0 0 0 165 0 0 0 20 0 19 0 443901138 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671576324976 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5285] ppid=5271 vsize=15487052 memory=4100 CPUtime=0.7 cores=0,2,4,6
/proc/5273/task/5285/stat : 5285 (java) S 5271 5271 32513 0 -1 1077944384 5313 0 0 0 69 1 0 0 20 0 19 0 443901138 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671575271920 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5286] ppid=5271 vsize=15487052 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5286/stat : 5286 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443901138 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671574219616 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5287] ppid=5271 vsize=15487052 memory=3280 CPUtime=0.05 cores=0,2,4,6
/proc/5273/task/5287/stat : 5287 (java) S 5271 5271 32513 0 -1 1077944384 393 0 0 0 0 5 0 0 20 0 19 0 443901139 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671573166640 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5637] ppid=5271 vsize=15487052 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5637/stat : 5637 (java) R 5271 5271 32513 0 -1 4202560 20 0 0 0 69 0 0 0 20 0 19 0 443918503 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671559974840 139671889056479 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5638] ppid=5271 vsize=15487052 memory=2828 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5638/stat : 5638 (java) R 5271 5271 32513 0 -1 4202560 17 0 0 0 69 0 0 0 20 0 19 0 443918503 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671556824936 139671890575948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5639] ppid=5271 vsize=15487052 memory=676 CPUtime=0.67 cores=0,2,4,6
/proc/5273/task/5639/stat : 5639 (java) R 5271 5271 32513 0 -1 4202560 17 0 0 0 67 0 0 0 20 0 19 0 443918503 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671561027792 139671888700413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5640] ppid=5271 vsize=15487052 memory=1060 CPUtime=0.68 cores=0,2,4,6
/proc/5273/task/5640/stat : 5640 (java) R 5271 5271 32513 0 -1 4202560 18 0 0 0 68 0 0 0 20 0 19 0 443918503 15858741248 225625 33554432000 4194304 4196468 140724775279072 139671562082944 139671888183744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
Current children cumulated CPU time: 689.41 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 903952 KiB
[startup+175.201 s]
/proc/loadavg: 8.54 8.59 8.42 10/237 5640
/proc/meminfo: memFree=29455544/32770624 swapFree=66997368/67108860
[pid=5271] ppid=5268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (xcsp3-exec) S 5268 5271 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443901132 115843072 363 33554432000 4194304 5098028 140731701303568 140731701301672 139729272001148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21598208 140731701310331 140731701310573 140731701310573 140731701313482 0
/proc/5271/statm: 28282 363 304 221 0 87 0
[pid=5273] ppid=5271 vsize=15487052 memory=903636 CPUtime=692.59 cores=0,2,4,6
/proc/5273/stat : 5273 (java) S 5271 5271 32513 0 -1 1077944320 79353 0 0 0 69203 56 0 0 20 0 19 0 443901133 15858741248 225909 33554432000 4194304 4196468 140724775279072 140724775261616 139672247684855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
/proc/5273/statm: 3871763 225909 3546 1 0 3832863 0
[pid=5273/tid=5274] ppid=5271 vsize=15487052 memory=1668 CPUtime=0.66 cores=0,2,4,6
/proc/5273/task/5274/stat : 5274 (java) S 5271 5271 32513 0 -1 1077944384 9518 0 0 0 63 3 0 0 20 0 19 0 443901133 15858741248 225909 33554432000 4194304 4196468 140724775279072 139672251925632 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5275] ppid=5271 vsize=15487052 memory=1112 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5275/stat : 5275 (java) S 5271 5271 32513 0 -1 1077944384 3830 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225909 33554432000 4194304 4196468 140724775279072 139672204237840 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5276] ppid=5271 vsize=15487052 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5276/stat : 5276 (java) S 5271 5271 32513 0 -1 1077944384 1782 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671838579856 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5277] ppid=5271 vsize=15487052 memory=904040 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5277/stat : 5277 (java) S 5271 5271 32513 0 -1 1077944384 1956 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671837526800 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5278] ppid=5271 vsize=15487052 memory=2012 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5278/stat : 5278 (java) S 5271 5271 32513 0 -1 1077944384 2333 0 0 0 61 8 0 0 20 0 19 0 443901134 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671836474256 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5279] ppid=5271 vsize=15487052 memory=1388 CPUtime=0.37 cores=0,2,4,6
/proc/5273/task/5279/stat : 5279 (java) S 5271 5271 32513 0 -1 1077944384 7113 0 0 0 30 7 0 0 20 0 19 0 443901135 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671581587696 139672247696002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5280] ppid=5271 vsize=15487052 memory=676 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5280/stat : 5280 (java) S 5271 5271 32513 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 443901136 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671580533984 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5281] ppid=5271 vsize=15487052 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5281/stat : 5281 (java) S 5271 5271 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 443901136 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671579480832 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5282] ppid=5271 vsize=15487052 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5282/stat : 5282 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671578429392 139672247703451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5283] ppid=5271 vsize=15487052 memory=8560 CPUtime=1.38 cores=0,2,4,6
/proc/5273/task/5283/stat : 5283 (java) S 5271 5271 32513 0 -1 1077944384 7097 0 0 0 137 1 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671577377520 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5284] ppid=5271 vsize=15487052 memory=1668 CPUtime=1.65 cores=0,2,4,6
/proc/5273/task/5284/stat : 5284 (java) S 5271 5271 32513 0 -1 1077944384 9751 0 0 0 165 0 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671576324976 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5285] ppid=5271 vsize=15487052 memory=1112 CPUtime=0.7 cores=0,2,4,6
/proc/5273/task/5285/stat : 5285 (java) S 5271 5271 32513 0 -1 1077944384 5313 0 0 0 69 1 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671575271920 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5286] ppid=5271 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5286/stat : 5286 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671574219616 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5287] ppid=5271 vsize=15487052 memory=7379830117836608084 CPUtime=0.05 cores=0,2,4,6
/proc/5273/task/5287/stat : 5287 (java) S 5271 5271 32513 0 -1 1077944384 393 0 0 0 0 5 0 0 20 0 19 0 443901139 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671573166640 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5637] ppid=5271 vsize=15487052 memory=280185279737304 CPUtime=1.48 cores=0,2,4,6
/proc/5273/task/5637/stat : 5637 (java) R 5271 5271 32513 0 -1 4202560 21 0 0 0 148 0 0 0 20 0 19 0 443918503 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671559974720 139671891022990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5638] ppid=5271 vsize=15487052 memory=215418718 CPUtime=1.48 cores=0,2,4,6
/proc/5273/task/5638/stat : 5638 (java) R 5271 5271 32513 0 -1 4202560 17 0 0 0 148 0 0 0 20 0 19 0 443918503 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671556825360 139671891492619 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5639] ppid=5271 vsize=15487052 memory=140092640504843 CPUtime=1.47 cores=0,2,4,6
/proc/5273/task/5639/stat : 5639 (java) R 5271 5271 32513 0 -1 4202560 18 0 0 0 147 0 0 0 20 0 19 0 443918503 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671561027472 139671888700467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5640] ppid=5271 vsize=15487052 memory=280185281035264 CPUtime=1.45 cores=0,2,4,6
/proc/5273/task/5640/stat : 5640 (java) R 5271 5271 32513 0 -1 4202560 18 0 0 0 145 0 0 0 20 0 19 0 443918503 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671562082944 139671889057147 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
Current children cumulated CPU time: 692.59 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 905088 KiB
[startup+175.401 s]
/proc/loadavg: 8.54 8.59 8.42 10/237 5640
/proc/meminfo: memFree=29455544/32770624 swapFree=66997368/67108860
[pid=5271] ppid=5268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (xcsp3-exec) S 5268 5271 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443901132 115843072 363 33554432000 4194304 5098028 140731701303568 140731701301672 139729272001148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21598208 140731701310331 140731701310573 140731701310573 140731701313482 0
/proc/5271/statm: 28282 363 304 221 0 87 0
[pid=5273] ppid=5271 vsize=15487052 memory=903636 CPUtime=693.39 cores=0,2,4,6
/proc/5273/stat : 5273 (java) S 5271 5271 32513 0 -1 1077944320 79354 0 0 0 69283 56 0 0 20 0 19 0 443901133 15858741248 225909 33554432000 4194304 4196468 140724775279072 140724775261616 139672247684855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
/proc/5273/statm: 3871763 225909 3546 1 0 3832863 0
[pid=5273/tid=5274] ppid=5271 vsize=15487052 memory=7738120309775690596 CPUtime=0.66 cores=0,2,4,6
/proc/5273/task/5274/stat : 5274 (java) S 5271 5271 32513 0 -1 1077944384 9518 0 0 0 63 3 0 0 20 0 19 0 443901133 15858741248 225909 33554432000 4194304 4196468 140724775279072 139672251925632 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5275] ppid=5271 vsize=15487052 memory=280185280910752 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5275/stat : 5275 (java) S 5271 5271 32513 0 -1 1077944384 3830 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225909 33554432000 4194304 4196468 140724775279072 139672204237840 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5276] ppid=5271 vsize=15487052 memory=5866058822797583720 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5276/stat : 5276 (java) S 5271 5271 32513 0 -1 1077944384 1782 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671838579856 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5277] ppid=5271 vsize=15487052 memory=7019257425709197167 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5277/stat : 5277 (java) S 5271 5271 32513 0 -1 1077944384 1956 0 0 0 62 7 0 0 20 0 19 0 443901134 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671837526800 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5278] ppid=5271 vsize=15487052 memory=1448 CPUtime=0.69 cores=0,2,4,6
/proc/5273/task/5278/stat : 5278 (java) S 5271 5271 32513 0 -1 1077944384 2333 0 0 0 61 8 0 0 20 0 19 0 443901134 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671836474256 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5279] ppid=5271 vsize=15487052 memory=1188060 CPUtime=0.37 cores=0,2,4,6
/proc/5273/task/5279/stat : 5279 (java) S 5271 5271 32513 0 -1 1077944384 7113 0 0 0 30 7 0 0 20 0 19 0 443901135 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671581587696 139672247696002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5280] ppid=5271 vsize=15487052 memory=1756 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5280/stat : 5280 (java) S 5271 5271 32513 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 443901136 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671580533984 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5281] ppid=5271 vsize=15487052 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5281/stat : 5281 (java) S 5271 5271 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 443901136 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671579480832 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5282] ppid=5271 vsize=15487052 memory=920 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5282/stat : 5282 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671578429392 139672247703451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5283] ppid=5271 vsize=15487052 memory=3848 CPUtime=1.38 cores=0,2,4,6
/proc/5273/task/5283/stat : 5283 (java) S 5271 5271 32513 0 -1 1077944384 7097 0 0 0 137 1 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671577377520 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5284] ppid=5271 vsize=15487052 memory=2596 CPUtime=1.65 cores=0,2,4,6
/proc/5273/task/5284/stat : 5284 (java) S 5271 5271 32513 0 -1 1077944384 9751 0 0 0 165 0 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671576324976 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5285] ppid=5271 vsize=15487052 memory=2596 CPUtime=0.7 cores=0,2,4,6
/proc/5273/task/5285/stat : 5285 (java) S 5271 5271 32513 0 -1 1077944384 5313 0 0 0 69 1 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671575271920 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5286] ppid=5271 vsize=15487052 memory=6935054825532540783 CPUtime=0 cores=0,2,4,6
/proc/5273/task/5286/stat : 5286 (java) S 5271 5271 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443901138 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671574219616 139672247695061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5287] ppid=5271 vsize=15487052 memory=4126316290023845779 CPUtime=0.05 cores=0,2,4,6
/proc/5273/task/5287/stat : 5287 (java) S 5271 5271 32513 0 -1 1077944384 393 0 0 0 0 5 0 0 20 0 19 0 443901139 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671573166640 139672247696002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5637] ppid=5271 vsize=15487052 memory=6036 CPUtime=1.68 cores=0,2,4,6
/proc/5273/task/5637/stat : 5637 (java) R 5271 5271 32513 0 -1 4202560 21 0 0 0 168 0 0 0 20 0 19 0 443918503 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671559974312 139671888841961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5638] ppid=5271 vsize=15487052 memory=14008 CPUtime=1.68 cores=0,2,4,6
/proc/5273/task/5638/stat : 5638 (java) R 5271 5271 32513 0 -1 4202560 17 0 0 0 168 0 0 0 20 0 19 0 443918503 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671556824960 139671888703699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5639] ppid=5271 vsize=15487052 memory=2124 CPUtime=1.66 cores=0,2,4,6
/proc/5273/task/5639/stat : 5639 (java) R 5271 5271 32513 0 -1 4202560 18 0 0 0 166 0 0 0 20 0 19 0 443918503 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671561027560 139671889057637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
[pid=5273/tid=5640] ppid=5271 vsize=15487052 memory=3768 CPUtime=1.65 cores=0,2,4,6
/proc/5273/task/5640/stat : 5640 (java) R 5271 5271 32513 0 -1 4202560 19 0 0 0 165 0 0 0 20 0 19 0 443918503 15858741248 225909 33554432000 4194304 4196468 140724775279072 139671562082944 139671889640091 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20045824 140724775281647 140724775281818 140724775281818 140724775284687 0
Current children cumulated CPU time: 693.39 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 905088 KiB
Child status: 0
Real time (s): 175.438
CPU time (s): 693.51
CPU user time (s): 692.938
CPU system time (s): 0.572118
CPU usage (%): 395.302
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 957500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 692.937
system time used= 0.572118
maximum resident set size= 988920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18947
involuntary context switches= 12638
# summary of solver processes directly reported to runsolver:
# pid: 5271
# total CPU time (s): 693.51
# total CPU user time (s): 692.938
# total CPU system time (s): 0.572118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16628 second user time and 1.96321 second system time
The end