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 (3012 MiB free)
memory of node 1: 16384 MiB (2780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403782-1568988014/watcher-4403782-1568988014 -o /tmp/evaluation-result-4403782-1568988014/solver-4403782-1568988014 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 534317711 HOME/instance-4403782-1568988014.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8248, runsolver pid=8245
[startup+0.108428 s]*
/proc/loadavg: 3.98 1.53 1.17 7/232 8264
/proc/meminfo: memFree=5917596/32770624 swapFree=66986244/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475058286 115843072 362 33554432000 4194304 5098028 140736934917088 140736934915192 140640809808508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36065280 140736934921083 140736934921325 140736934921325 140736934924234 0
/proc/8248/statm: 28282 362 304 221 0 87 0
[pid=8250] ppid=8248 vsize=15144776 memory=28000 CPUtime=0.15 cores=0,2,4,6
/proc/8250/stat : 8250 (java) S 8248 8248 7690 0 -1 1077944320 5971 0 0 0 14 1 0 0 20 0 15 0 475058286 15508250624 7000 33554432000 4194304 4196468 140723380062784 140723380045328 140171389128439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
/proc/8250/statm: 3786194 7000 3156 1 0 3748377 0
[pid=8250/tid=8251] ppid=8248 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (java) R 8248 8248 7690 0 -1 4202560 3662 0 0 0 9 0 0 0 20 0 15 0 475058286 15508250624 7066 33554432000 4194304 4196468 140723380062784 140171393357960 140171381365566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8252] ppid=8248 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15508250624 7066 33554432000 4194304 4196468 140723380062784 140170981149584 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8253] ppid=8248 vsize=15144776 memory=140518143841920 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15508250624 7066 33554432000 4194304 4196468 140723380062784 140170980096784 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8254] ppid=8248 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15508250624 7066 33554432000 4194304 4196468 140723380062784 140170979044496 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8255] ppid=8248 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058287 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170977991696 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8256] ppid=8248 vsize=15144776 memory=140518143841920 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058288 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170857318512 140171389139586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8257] ppid=8248 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058289 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170856264480 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8258] ppid=8248 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058289 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170855212144 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8259] ppid=8248 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058291 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170854160464 140171389147035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8260] ppid=8248 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 7690 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 475058291 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170853108336 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8261] ppid=8248 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 7690 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 475058291 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170852055536 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8262] ppid=8248 vsize=15144776 memory=140518143841920 CPUtime=0.03 cores=0,2,4,6
/proc/8250/task/8262/stat : 8262 (java) R 8248 8248 7690 0 -1 4202560 680 0 0 0 3 0 0 0 20 0 15 0 475058291 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170851000056 140171368070095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8263] ppid=8248 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058292 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170849950688 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8264] ppid=8248 vsize=15144776 memory=140518143841920 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058292 15508250624 7132 33554432000 4194304 4196468 140723380062784 140170848897456 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29448 KiB
[startup+0.210852 s]*
/proc/loadavg: 3.98 1.53 1.17 6/232 8264
/proc/meminfo: memFree=5904728/32770624 swapFree=66986244/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475058286 115843072 362 33554432000 4194304 5098028 140736934917088 140736934915192 140640809808508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36065280 140736934921083 140736934921325 140736934921325 140736934924234 0
/proc/8248/statm: 28282 362 304 221 0 87 0
[pid=8250] ppid=8248 vsize=15144776 memory=39072 CPUtime=0.34 cores=0,2,4,6
/proc/8250/stat : 8250 (java) S 8248 8248 7690 0 -1 1077944320 9564 0 0 0 31 3 0 0 20 0 15 0 475058286 15508250624 9768 33554432000 4194304 4196468 140723380062784 140723380045328 140171389128439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
/proc/8250/statm: 3786194 9768 3265 1 0 3748377 0
[pid=8250/tid=8251] ppid=8248 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (java) R 8248 8248 7690 0 -1 4202560 6651 0 0 0 18 2 0 0 20 0 15 0 475058286 15508250624 9768 33554432000 4194304 4196468 140723380062784 140171393362320 140171389140374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8252] ppid=8248 vsize=15144776 memory=1898699 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170981149584 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8253] ppid=8248 vsize=15144776 memory=3370899 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170980096784 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8254] ppid=8248 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170979044496 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8255] ppid=8248 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058287 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170977991696 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8256] ppid=8248 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475058288 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170857318512 140171389139586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8257] ppid=8248 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058289 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170856264480 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8258] ppid=8248 vsize=15144776 memory=140518143841920 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058289 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170855212144 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8259] ppid=8248 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058291 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170854160464 140171389147035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8260] ppid=8248 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 7690 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 475058291 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170853108336 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8261] ppid=8248 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 7690 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 15 0 475058291 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170852055536 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8262] ppid=8248 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8250/task/8262/stat : 8262 (java) R 8248 8248 7690 0 -1 4202560 963 0 0 0 8 0 0 0 20 0 15 0 475058291 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170851003376 140171381365566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8263] ppid=8248 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058292 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170849950688 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8264] ppid=8248 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058292 15508250624 9768 33554432000 4194304 4196468 140723380062784 140170848897456 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40520 KiB
[startup+0.311924 s]*
/proc/loadavg: 3.98 1.53 1.17 6/232 8264
/proc/meminfo: memFree=5896340/32770624 swapFree=66986244/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475058286 115843072 362 33554432000 4194304 5098028 140736934917088 140736934915192 140640809808508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36065280 140736934921083 140736934921325 140736934921325 140736934924234 0
/proc/8248/statm: 28282 362 304 221 0 87 0
[pid=8250] ppid=8248 vsize=15149032 memory=48864 CPUtime=0.52 cores=0,2,4,6
/proc/8250/stat : 8250 (java) S 8248 8248 7690 0 -1 1077944320 10999 0 0 0 49 3 0 0 20 0 15 0 475058286 15512608768 12216 33554432000 4194304 4196468 140723380062784 140723380045328 140171389128439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
/proc/8250/statm: 3787258 12216 3368 1 0 3748377 0
[pid=8250/tid=8251] ppid=8248 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (java) R 8248 8248 7690 0 -1 4202560 7805 0 0 0 28 2 0 0 20 0 15 0 475058286 15512608768 12216 33554432000 4194304 4196468 140723380062784 140171393359552 140171389150365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8252] ppid=8248 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170981149584 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8253] ppid=8248 vsize=15149032 memory=3375890 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170980096784 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8254] ppid=8248 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058287 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170979044496 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8255] ppid=8248 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058287 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170977991696 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8256] ppid=8248 vsize=15149032 memory=140518143841920 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475058288 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170857318512 140171389139586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8257] ppid=8248 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058289 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170856264480 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8258] ppid=8248 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058289 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170855212144 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8259] ppid=8248 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058291 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170854160464 140171389147035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8260] ppid=8248 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 7690 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 15 0 475058291 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170853108336 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8261] ppid=8248 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 7690 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 15 0 475058291 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170852055536 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8262] ppid=8248 vsize=15149032 memory=140518143841920 CPUtime=0.13 cores=0,2,4,6
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 7690 0 -1 1077944384 1199 0 0 0 13 0 0 0 20 0 15 0 475058291 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170851003248 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8263] ppid=8248 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058292 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170849950688 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8264] ppid=8248 vsize=15149032 memory=140518143841920 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058292 15512608768 12216 33554432000 4194304 4196468 140723380062784 140170848897456 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50312 KiB
[startup+0.701883 s]
/proc/loadavg: 3.98 1.53 1.17 7/232 8264
/proc/meminfo: memFree=5888532/32770624 swapFree=66986244/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475058286 115843072 362 33554432000 4194304 5098028 140736934917088 140736934915192 140640809808508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36065280 140736934921083 140736934921325 140736934921325 140736934924234 0
/proc/8248/statm: 28282 362 304 221 0 87 0
[pid=8250] ppid=8248 vsize=15417412 memory=82404 CPUtime=1.56 cores=0,2,4,6
/proc/8250/stat : 8250 (java) S 8248 8248 7690 0 -1 1077944320 14905 0 0 0 151 5 0 0 20 0 19 0 475058286 15787429888 20601 33554432000 4194304 4196468 140723380062784 140723380045328 140171389128439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
/proc/8250/statm: 3854353 20601 3453 1 0 3815453 0
[pid=8250/tid=8251] ppid=8248 vsize=15417412 memory=2120 CPUtime=0.65 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (java) S 8248 8248 7690 0 -1 1077944384 9387 0 0 0 62 3 0 0 20 0 19 0 475058286 15787429888 20601 33554432000 4194304 4196468 140723380062784 140171393369216 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8252] ppid=8248 vsize=15417412 memory=532 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475058287 15787429888 20601 33554432000 4194304 4196468 140723380062784 140170981149584 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8253] ppid=8248 vsize=15417412 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475058287 15787429888 20601 33554432000 4194304 4196468 140723380062784 140170980096784 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8254] ppid=8248 vsize=15417412 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475058287 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170979044496 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8255] ppid=8248 vsize=15417412 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475058287 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170977991696 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8256] ppid=8248 vsize=15417412 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475058288 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170857318512 140171389139586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8257] ppid=8248 vsize=15417412 memory=912 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475058289 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170856264480 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8258] ppid=8248 vsize=15417412 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475058289 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170855212144 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8259] ppid=8248 vsize=15417412 memory=2480 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058291 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170854160464 140171389147035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8260] ppid=8248 vsize=15417412 memory=7302135314614015849 CPUtime=0.2 cores=0,2,4,6
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 7690 0 -1 1077944384 1079 0 0 0 20 0 0 0 20 0 19 0 475058291 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170853101360 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8261] ppid=8248 vsize=15417412 memory=6224655726756129366 CPUtime=0.22 cores=0,2,4,6
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 7690 0 -1 1077944384 877 0 0 0 22 0 0 0 20 0 19 0 475058291 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170852048560 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8262] ppid=8248 vsize=15417412 memory=7295944995277656144 CPUtime=0.41 cores=0,2,4,6
/proc/8250/task/8262/stat : 8262 (java) R 8248 8248 7690 0 -1 4202560 2103 0 0 0 41 0 0 0 20 0 19 0 475058291 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170851000184 140171370538589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8263] ppid=8248 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058292 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170849950688 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8264] ppid=8248 vsize=15417412 memory=7523096512984082771 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475058292 15787429888 20648 33554432000 4194304 4196468 140723380062784 140170848897456 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 83852 KiB
[startup+1.50685 s]
/proc/loadavg: 3.98 1.53 1.17 12/236 8312
/proc/meminfo: memFree=5771016/32770624 swapFree=66986244/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475058286 115843072 362 33554432000 4194304 5098028 140736934917088 140736934915192 140640809808508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36065280 140736934921083 140736934921325 140736934921325 140736934924234 0
/proc/8248/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 7690 0 -1 1077944384 524 0 0 0 0 3 0 0 20 0 19 0 475058292 15858741248 214317 33554432000 4194304 4196468 140723380062784 140170848897456 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8317] ppid=8248 vsize=15487052 memory=1712 CPUtime=130.54 cores=0,2,4,6
/proc/8250/task/8317/stat : 8317 (java) R 8248 8248 7690 0 -1 4202560 1178 0 0 0 13053 1 0 0 20 0 19 0 475058399 15858741248 214317 33554432000 4194304 4196468 140723380062784 140170835704768 140171031217016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8318] ppid=8248 vsize=15487052 memory=692 CPUtime=130.62 cores=0,2,4,6
/proc/8250/task/8318/stat : 8318 (java) R 8248 8248 7690 0 -1 4202560 4012 0 0 0 13059 3 0 0 20 0 19 0 475058399 15858741248 214317 33554432000 4194304 4196468 140723380062784 140170837814576 140171033122436 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8319] ppid=8248 vsize=15487052 memory=1056 CPUtime=131.17 cores=0,2,4,6
/proc/8250/task/8319/stat : 8319 (java) R 8248 8248 7690 0 -1 4202560 2535 0 0 0 13115 2 0 0 20 0 19 0 475058399 15858741248 214317 33554432000 4194304 4196468 140723380062784 140170836759640 140171031217161 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8320] ppid=8248 vsize=15487052 memory=816760 CPUtime=130.9 cores=0,2,4,6
/proc/8250/task/8320/stat : 8320 (java) R 8248 8248 7690 0 -1 4202560 9299 0 0 0 13086 4 0 0 20 0 19 0 475058399 15858741248 214317 33554432000 4194304 4196468 140723380062784 140170834653520 140171031214389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
Current children cumulated CPU time: 531.27 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 858716 KiB
[startup+135.201 s]
/proc/loadavg: 7.64 3.94 2.12 9/237 8354
/proc/meminfo: memFree=5063352/32770624 swapFree=66986244/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475058286 115843072 362 33554432000 4194304 5098028 140736934917088 140736934915192 140640809808508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36065280 140736934921083 140736934921325 140736934921325 140736934924234 0
/proc/8248/statm: 28282 362 304 221 0 87 0
[pid=8250] ppid=8248 vsize=15487052 memory=856756 CPUtime=534.44 cores=0,2,4,6
/proc/8250/stat : 8250 (java) S 8248 8248 7690 0 -1 1077944320 63372 0 0 0 53399 45 0 0 20 0 19 0 475058286 15858741248 214189 33554432000 4194304 4196468 140723380062784 140723380045328 140171389128439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
/proc/8250/statm: 3871763 214189 3530 1 0 3832863 0
[pid=8250/tid=8251] ppid=8248 vsize=15487052 memory=55252 CPUtime=0.65 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (java) S 8248 8248 7690 0 -1 1077944384 9391 0 0 0 62 3 0 0 20 0 19 0 475058286 15858741248 214189 33554432000 4194304 4196468 140723380062784 140171393369216 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8252] ppid=8248 vsize=15487052 memory=988 CPUtime=0.51 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 7690 0 -1 1077944384 1541 0 0 0 44 7 0 0 20 0 19 0 475058287 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170981149584 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8253] ppid=8248 vsize=15487052 memory=2004 CPUtime=0.5 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 7690 0 -1 1077944384 1901 0 0 0 44 6 0 0 20 0 19 0 475058287 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170980096784 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8254] ppid=8248 vsize=15487052 memory=1448 CPUtime=0.5 cores=0,2,4,6
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 7690 0 -1 1077944384 1064 0 0 0 44 6 0 0 20 0 19 0 475058287 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170979044496 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8255] ppid=8248 vsize=15487052 memory=857268 CPUtime=0.51 cores=0,2,4,6
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 7690 0 -1 1077944384 3579 0 0 0 45 6 0 0 20 0 19 0 475058287 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170977991696 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8256] ppid=8248 vsize=15487052 memory=924 CPUtime=0.3 cores=0,2,4,6
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 7690 0 -1 1077944384 1979 0 0 0 26 4 0 0 20 0 19 0 475058288 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170857318512 140171389139586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8257] ppid=8248 vsize=15487052 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475058289 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170856264544 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8258] ppid=8248 vsize=15487052 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 7690 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475058289 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170855212160 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8259] ppid=8248 vsize=15487052 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058291 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170854160464 140171389147035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8260] ppid=8248 vsize=15487052 memory=780 CPUtime=1.61 cores=0,2,4,6
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 7690 0 -1 1077944384 7409 0 0 0 160 1 0 0 20 0 19 0 475058291 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170853108336 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8261] ppid=8248 vsize=15487052 memory=3616 CPUtime=1.84 cores=0,2,4,6
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 7690 0 -1 1077944384 9601 0 0 0 184 0 0 0 20 0 19 0 475058291 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170852055536 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8262] ppid=8248 vsize=15487052 memory=1112 CPUtime=0.7 cores=0,2,4,6
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 7690 0 -1 1077944384 6927 0 0 0 69 1 0 0 20 0 19 0 475058291 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170851003248 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8263] ppid=8248 vsize=15487052 memory=6048 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058292 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170849950688 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8264] ppid=8248 vsize=15487052 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 7690 0 -1 1077944384 524 0 0 0 0 3 0 0 20 0 19 0 475058292 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170848897456 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8317] ppid=8248 vsize=15487052 memory=785368 CPUtime=131.34 cores=0,2,4,6
/proc/8250/task/8317/stat : 8317 (java) R 8248 8248 7690 0 -1 4202560 1179 0 0 0 13133 1 0 0 20 0 19 0 475058399 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170835705392 140171031215817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8318] ppid=8248 vsize=15487052 memory=1440 CPUtime=131.41 cores=0,2,4,6
/proc/8250/task/8318/stat : 8318 (java) R 8248 8248 7690 0 -1 4202560 4012 0 0 0 13138 3 0 0 20 0 19 0 475058399 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170837811760 140171032919667 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8319] ppid=8248 vsize=15487052 memory=912 CPUtime=131.96 cores=0,2,4,6
/proc/8250/task/8319/stat : 8319 (java) R 8248 8248 7690 0 -1 4202560 2535 0 0 0 13194 2 0 0 20 0 19 0 475058399 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170836758800 140171031598500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8320] ppid=8248 vsize=15487052 memory=1984 CPUtime=131.68 cores=0,2,4,6
/proc/8250/task/8320/stat : 8320 (java) R 8248 8248 7690 0 -1 4202560 9300 0 0 0 13164 4 0 0 20 0 19 0 475058399 15858741248 214189 33554432000 4194304 4196468 140723380062784 140170834655792 140171027205236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
Current children cumulated CPU time: 534.44 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 858204 KiB
[startup+136.001 s]*
/proc/loadavg: 7.64 3.94 2.12 9/237 8354
/proc/meminfo: memFree=5047340/32770624 swapFree=66986244/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475058286 115843072 362 33554432000 4194304 5098028 140736934917088 140736934915192 140640809808508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36065280 140736934921083 140736934921325 140736934921325 140736934924234 0
/proc/8248/statm: 28282 362 304 221 0 87 0
[pid=8250] ppid=8248 vsize=15487052 memory=873140 CPUtime=537.67 cores=0,2,4,6
/proc/8250/stat : 8250 (java) S 8248 8248 7690 0 -1 1077944320 63386 0 0 0 53721 46 0 0 20 0 19 0 475058286 15858741248 218285 33554432000 4194304 4196468 140723380062784 140723380045328 140171389128439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
/proc/8250/statm: 3871763 218285 3530 1 0 3832863 0
[pid=8250/tid=8251] ppid=8248 vsize=15487052 memory=1112 CPUtime=0.65 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (java) S 8248 8248 7690 0 -1 1077944384 9391 0 0 0 62 3 0 0 20 0 19 0 475058286 15858741248 218285 33554432000 4194304 4196468 140723380062784 140171393369216 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8252] ppid=8248 vsize=15487052 memory=4126316290023845779 CPUtime=0.52 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 7690 0 -1 1077944384 1542 0 0 0 45 7 0 0 20 0 19 0 475058287 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170981149584 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8253] ppid=8248 vsize=15487052 memory=1412 CPUtime=0.51 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 7690 0 -1 1077944384 1902 0 0 0 45 6 0 0 20 0 19 0 475058287 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170980096784 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8254] ppid=8248 vsize=15487052 memory=3304 CPUtime=0.51 cores=0,2,4,6
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 7690 0 -1 1077944384 1066 0 0 0 45 6 0 0 20 0 19 0 475058287 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170979044496 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8255] ppid=8248 vsize=15487052 memory=1448 CPUtime=0.52 cores=0,2,4,6
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 7690 0 -1 1077944384 3586 0 0 0 46 6 0 0 20 0 19 0 475058287 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170977991696 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8256] ppid=8248 vsize=15487052 memory=265360 CPUtime=0.3 cores=0,2,4,6
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 7690 0 -1 1077944384 1979 0 0 0 26 4 0 0 20 0 19 0 475058288 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170857318512 140171389139586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8257] ppid=8248 vsize=15487052 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475058289 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170856264544 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8258] ppid=8248 vsize=15487052 memory=3208 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 7690 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475058289 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170855212160 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8259] ppid=8248 vsize=15487052 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058291 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170854160464 140171389147035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8260] ppid=8248 vsize=15487052 memory=856756 CPUtime=1.61 cores=0,2,4,6
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 7690 0 -1 1077944384 7409 0 0 0 160 1 0 0 20 0 19 0 475058291 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170853108336 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8261] ppid=8248 vsize=15487052 memory=1448 CPUtime=1.84 cores=0,2,4,6
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 7690 0 -1 1077944384 9601 0 0 0 184 0 0 0 20 0 19 0 475058291 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170852055536 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8262] ppid=8248 vsize=15487052 memory=856756 CPUtime=0.7 cores=0,2,4,6
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 7690 0 -1 1077944384 6927 0 0 0 69 1 0 0 20 0 19 0 475058291 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170851003248 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8263] ppid=8248 vsize=15487052 memory=692 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058292 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170849950688 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8264] ppid=8248 vsize=15487052 memory=1056 CPUtime=0.03 cores=0,2,4,6
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 7690 0 -1 1077944384 524 0 0 0 0 3 0 0 20 0 19 0 475058292 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170848897456 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8317] ppid=8248 vsize=15487052 memory=1556 CPUtime=132.14 cores=0,2,4,6
/proc/8250/task/8317/stat : 8317 (java) R 8248 8248 7690 0 -1 4202560 1181 0 0 0 13213 1 0 0 20 0 19 0 475058399 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170835705432 140171031768949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8318] ppid=8248 vsize=15487052 memory=780 CPUtime=132.21 cores=0,2,4,6
/proc/8250/task/8318/stat : 8318 (java) R 8248 8248 7690 0 -1 4202560 4012 0 0 0 13218 3 0 0 20 0 19 0 475058399 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170837811536 140171032811404 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8319] ppid=8248 vsize=15487052 memory=3616 CPUtime=132.76 cores=0,2,4,6
/proc/8250/task/8319/stat : 8319 (java) R 8248 8248 7690 0 -1 4202560 2536 0 0 0 13274 2 0 0 20 0 19 0 475058399 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170836759592 140171031598409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8320] ppid=8248 vsize=15487052 memory=1112 CPUtime=132.46 cores=0,2,4,6
/proc/8250/task/8320/stat : 8320 (java) R 8248 8248 7690 0 -1 4202560 9300 0 0 0 13242 4 0 0 20 0 19 0 475058399 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170834655760 140171374338932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
Current children cumulated CPU time: 537.67 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 874588 KiB
[startup+136.201 s]
/proc/loadavg: 7.64 3.94 2.12 9/237 8354
/proc/meminfo: memFree=5047340/32770624 swapFree=66986244/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475058286 115843072 362 33554432000 4194304 5098028 140736934917088 140736934915192 140640809808508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36065280 140736934921083 140736934921325 140736934921325 140736934924234 0
/proc/8248/statm: 28282 362 304 221 0 87 0
[pid=8250] ppid=8248 vsize=15487052 memory=873140 CPUtime=538.43 cores=0,2,4,6
/proc/8250/stat : 8250 (java) S 8248 8248 7690 0 -1 1077944320 63386 0 0 0 53797 46 0 0 20 0 19 0 475058286 15858741248 218285 33554432000 4194304 4196468 140723380062784 140723380045328 140171389128439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
/proc/8250/statm: 3871763 218285 3530 1 0 3832863 0
[pid=8250/tid=8251] ppid=8248 vsize=15487052 memory=2832 CPUtime=0.65 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (java) S 8248 8248 7690 0 -1 1077944384 9391 0 0 0 62 3 0 0 20 0 19 0 475058286 15858741248 218285 33554432000 4194304 4196468 140723380062784 140171393369216 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8252] ppid=8248 vsize=15487052 memory=1084 CPUtime=0.52 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 7690 0 -1 1077944384 1542 0 0 0 45 7 0 0 20 0 19 0 475058287 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170981149584 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8253] ppid=8248 vsize=15487052 memory=288230574492221466 CPUtime=0.51 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 7690 0 -1 1077944384 1902 0 0 0 45 6 0 0 20 0 19 0 475058287 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170980096784 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8254] ppid=8248 vsize=15487052 memory=288230621803970871 CPUtime=0.51 cores=0,2,4,6
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 7690 0 -1 1077944384 1066 0 0 0 45 6 0 0 20 0 19 0 475058287 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170979044496 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8255] ppid=8248 vsize=15487052 memory=14697383221004840 CPUtime=0.52 cores=0,2,4,6
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 7690 0 -1 1077944384 3586 0 0 0 46 6 0 0 20 0 19 0 475058287 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170977991696 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8256] ppid=8248 vsize=15487052 memory=1448 CPUtime=0.3 cores=0,2,4,6
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 7690 0 -1 1077944384 1979 0 0 0 26 4 0 0 20 0 19 0 475058288 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170857318512 140171389139586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8257] ppid=8248 vsize=15487052 memory=265360 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475058289 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170856264544 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8258] ppid=8248 vsize=15487052 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 7690 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475058289 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170855212160 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8259] ppid=8248 vsize=15487052 memory=3068 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058291 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170854160464 140171389147035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8260] ppid=8248 vsize=15487052 memory=1448 CPUtime=1.61 cores=0,2,4,6
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 7690 0 -1 1077944384 7409 0 0 0 160 1 0 0 20 0 19 0 475058291 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170853108336 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8261] ppid=8248 vsize=15487052 memory=847540 CPUtime=1.84 cores=0,2,4,6
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 7690 0 -1 1077944384 9601 0 0 0 184 0 0 0 20 0 19 0 475058291 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170852055536 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8262] ppid=8248 vsize=15487052 memory=1164 CPUtime=0.7 cores=0,2,4,6
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 7690 0 -1 1077944384 6927 0 0 0 69 1 0 0 20 0 19 0 475058291 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170851003248 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8263] ppid=8248 vsize=15487052 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058292 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170849950688 140171389138645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8264] ppid=8248 vsize=15487052 memory=796 CPUtime=0.03 cores=0,2,4,6
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 7690 0 -1 1077944384 524 0 0 0 0 3 0 0 20 0 19 0 475058292 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170848897456 140171389139586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8317] ppid=8248 vsize=15487052 memory=4104 CPUtime=132.33 cores=0,2,4,6
/proc/8250/task/8317/stat : 8317 (java) R 8248 8248 7690 0 -1 4202560 1181 0 0 0 13232 1 0 0 20 0 19 0 475058399 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170835705432 140171031770163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8318] ppid=8248 vsize=15487052 memory=1804 CPUtime=132.4 cores=0,2,4,6
/proc/8250/task/8318/stat : 8318 (java) R 8248 8248 7690 0 -1 4202560 4012 0 0 0 13237 3 0 0 20 0 19 0 475058399 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170837811536 140171034244152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8319] ppid=8248 vsize=15487052 memory=1448 CPUtime=132.95 cores=0,2,4,6
/proc/8250/task/8319/stat : 8319 (java) R 8248 8248 7690 0 -1 4202560 2536 0 0 0 13293 2 0 0 20 0 19 0 475058399 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170836759592 140171030753280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
[pid=8250/tid=8320] ppid=8248 vsize=15487052 memory=857268 CPUtime=132.65 cores=0,2,4,6
/proc/8250/task/8320/stat : 8320 (java) R 8248 8248 7690 0 -1 4202560 9300 0 0 0 13261 4 0 0 20 0 19 0 475058399 15858741248 218285 33554432000 4194304 4196468 140723380062784 140170834655760 140171031256874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140723380069359 140723380069530 140723380069530 140723380072399 0
Current children cumulated CPU time: 538.43 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 874588 KiB
Child status: 0
Real time (s): 136.248
CPU time (s): 538.589
CPU user time (s): 538.118
CPU system time (s): 0.471486
CPU usage (%): 395.302
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 874588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 538.118
system time used= 0.471486
maximum resident set size= 873404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16331
involuntary context switches= 10669
# summary of solver processes directly reported to runsolver:
# pid: 8248
# total CPU time (s): 538.589
# total CPU user time (s): 538.118
# total CPU system time (s): 0.471486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.931987 second user time and 1.51867 second system time
The end