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 (14621 MiB free)
memory of node 1: 16384 MiB (15669 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399304-1568698963/watcher-4399304-1568698963 -o /tmp/evaluation-result-4399304-1568698963/solver-4399304-1568698963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1680102598 HOME/instance-4399304-1568698963.xml
running on 4 cores: 1,3,5,7
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=475, runsolver pid=472
[startup+0.102967 s]*
/proc/loadavg: 8.14 8.40 8.35 6/233 492
/proc/meminfo: memFree=31000676/32770624 swapFree=66977408/67108860
[pid=475] ppid=472 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/475/stat : 475 (xcsp3-exec) S 472 475 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446153353 115843072 363 33554432000 4194304 5098028 140727505860032 140727505858136 139908561220220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24444928 140727505863546 140727505863789 140727505863789 140727505866698 0
/proc/475/statm: 28282 363 304 221 0 87 0
[pid=478] ppid=475 vsize=15144776 memory=29652 CPUtime=0.12 cores=1,3,5,7
/proc/478/stat : 478 (java) S 475 475 23397 0 -1 1077944320 5804 0 0 0 11 1 0 0 20 0 15 0 446153353 15508250624 7413 33554432000 4194304 4196468 140733274461888 140733274444432 140324013829879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
/proc/478/statm: 3786194 7413 3151 1 0 3748377 0
[pid=478/tid=479] ppid=475 vsize=15144776 memory=7883960649037381690 CPUtime=0.1 cores=1,3,5,7
/proc/478/task/479/stat : 479 (java) R 475 475 23397 0 -1 4202560 3744 0 0 0 9 1 0 0 20 0 15 0 446153353 15508250624 7413 33554432000 4194304 4196468 140733274461888 140324018062944 140324013841814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=480] ppid=475 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7
/proc/478/task/480/stat : 480 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153354 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323966450064 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=481] ppid=475 vsize=15144776 memory=4122675451362068128 CPUtime=0 cores=1,3,5,7
/proc/478/task/481/stat : 481 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153354 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323965397264 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=482] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/482/stat : 482 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153354 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323603798672 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=483] ppid=475 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/478/task/483/stat : 483 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153354 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323602745872 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=484] ppid=475 vsize=15144776 memory=139946017212032 CPUtime=0 cores=1,3,5,7
/proc/478/task/484/stat : 484 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153355 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323482188400 140324013841026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=485] ppid=475 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/478/task/485/stat : 485 (java) S 475 475 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446153356 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323481134368 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=486] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/486/stat : 486 (java) S 475 475 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446153356 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323480082032 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=487] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/487/stat : 487 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446153359 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323479030352 140324013848475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=488] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/488/stat : 488 (java) R 475 475 23397 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 446153359 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323477977200 140324013841026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=489] ppid=475 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/478/task/489/stat : 489 (java) R 475 475 23397 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 15 0 446153359 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323476924400 140323994530176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=490] ppid=475 vsize=15144776 memory=139946017212032 CPUtime=0.02 cores=1,3,5,7
/proc/478/task/490/stat : 490 (java) R 475 475 23397 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 446153359 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323475872112 140323991996255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=491] ppid=475 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/478/task/491/stat : 491 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446153359 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323474819552 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=492] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/492/stat : 492 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153359 15508250624 7413 33554432000 4194304 4196468 140733274461888 140323473767344 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31104 KiB
[startup+0.210665 s]*
/proc/loadavg: 8.14 8.40 8.35 7/233 492
/proc/meminfo: memFree=30978736/32770624 swapFree=66977408/67108860
[pid=475] ppid=472 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/475/stat : 475 (xcsp3-exec) S 472 475 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446153353 115843072 363 33554432000 4194304 5098028 140727505860032 140727505858136 139908561220220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24444928 140727505863546 140727505863789 140727505863789 140727505866698 0
/proc/475/statm: 28282 363 304 221 0 87 0
[pid=478] ppid=475 vsize=15144776 memory=41108 CPUtime=0.34 cores=1,3,5,7
/proc/478/stat : 478 (java) S 475 475 23397 0 -1 1077944320 9458 0 0 0 31 3 0 0 20 0 15 0 446153353 15508250624 10277 33554432000 4194304 4196468 140733274461888 140733274444432 140324013829879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
/proc/478/statm: 3786194 10277 3305 1 0 3748377 0
[pid=478/tid=479] ppid=475 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/478/task/479/stat : 479 (java) R 475 475 23397 0 -1 4202560 6643 0 0 0 18 2 0 0 20 0 15 0 446153353 15508250624 10277 33554432000 4194304 4196468 140733274461888 140324018061120 140323996257213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=480] ppid=475 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7
/proc/478/task/480/stat : 480 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153354 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323966450064 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=481] ppid=475 vsize=15144776 memory=4122675451362068128 CPUtime=0 cores=1,3,5,7
/proc/478/task/481/stat : 481 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153354 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323965397264 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=482] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/482/stat : 482 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153354 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323603798672 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=483] ppid=475 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/478/task/483/stat : 483 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153354 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323602745872 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=484] ppid=475 vsize=15144776 memory=139946017212032 CPUtime=0 cores=1,3,5,7
/proc/478/task/484/stat : 484 (java) S 475 475 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446153355 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323482188400 140324013841026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=485] ppid=475 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/478/task/485/stat : 485 (java) S 475 475 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446153356 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323481134368 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=486] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/486/stat : 486 (java) S 475 475 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446153356 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323480082032 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=487] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/487/stat : 487 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446153359 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323479030352 140324013848475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=488] ppid=475 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/478/task/488/stat : 488 (java) R 475 475 23397 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 446153359 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323477977200 140324013841026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=489] ppid=475 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/478/task/489/stat : 489 (java) S 475 475 23397 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 15 0 446153359 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323476924400 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=490] ppid=475 vsize=15144776 memory=139946017212032 CPUtime=0.08 cores=1,3,5,7
/proc/478/task/490/stat : 490 (java) R 475 475 23397 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 15 0 446153359 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323475871920 140323992513984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=491] ppid=475 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/478/task/491/stat : 491 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446153359 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323474819552 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=492] ppid=475 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/492/stat : 492 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153359 15508250624 10277 33554432000 4194304 4196468 140733274461888 140323473767344 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42560 KiB
[startup+0.591342 s]*
/proc/loadavg: 8.14 8.40 8.35 9/233 492
/proc/meminfo: memFree=30976732/32770624 swapFree=66977408/67108860
[pid=475] ppid=472 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/475/stat : 475 (xcsp3-exec) S 472 475 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446153353 115843072 363 33554432000 4194304 5098028 140727505860032 140727505858136 139908561220220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24444928 140727505863546 140727505863789 140727505863789 140727505866698 0
/proc/475/statm: 28282 363 304 221 0 87 0
[pid=478] ppid=475 vsize=15149108 memory=55204 CPUtime=0.79 cores=1,3,5,7
/proc/478/stat : 478 (java) S 475 475 23397 0 -1 1077944320 11632 0 0 0 75 4 0 0 20 0 15 0 446153353 15512686592 13801 33554432000 4194304 4196468 140733274461888 140733274444432 140324013829879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
/proc/478/statm: 3787277 13801 3413 1 0 3748377 0
[pid=478/tid=479] ppid=475 vsize=15149108 memory=6791534058613427641 CPUtime=0.41 cores=1,3,5,7
/proc/478/task/479/stat : 479 (java) R 475 475 23397 0 -1 4202560 8264 0 0 0 39 2 0 0 20 0 15 0 446153353 15512686592 14334 33554432000 4194304 4196468 140733274461888 140324018063128 140323996119208 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=480] ppid=475 vsize=15149108 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/478/task/480/stat : 480 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153354 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323966450064 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=481] ppid=475 vsize=15149108 memory=3475195960833894245 CPUtime=0 cores=1,3,5,7
/proc/478/task/481/stat : 481 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153354 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323965397264 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=482] ppid=475 vsize=15149108 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/478/task/482/stat : 482 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153354 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323603798672 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=483] ppid=475 vsize=15149108 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/478/task/483/stat : 483 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153354 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323602745872 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=484] ppid=475 vsize=15149108 memory=-8253362762724047225 CPUtime=0 cores=1,3,5,7
/proc/478/task/484/stat : 484 (java) S 475 475 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446153355 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323482188400 140324013841026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=485] ppid=475 vsize=15149108 memory=-8608168169079938421 CPUtime=0 cores=1,3,5,7
/proc/478/task/485/stat : 485 (java) S 475 475 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446153356 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323481134368 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=486] ppid=475 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/486/stat : 486 (java) S 475 475 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446153356 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323480082032 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=487] ppid=475 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/487/stat : 487 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446153359 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323479030352 140324013848475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=488] ppid=475 vsize=15149108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/478/task/488/stat : 488 (java) R 475 475 23397 0 -1 1077944384 722 0 0 0 9 0 0 0 20 0 15 0 446153359 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323477977200 140324013841026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=489] ppid=475 vsize=15149108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/478/task/489/stat : 489 (java) R 475 475 23397 0 -1 4202560 301 0 0 0 7 0 0 0 20 0 15 0 446153359 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323476910424 140323993547015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=490] ppid=475 vsize=15149108 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/478/task/490/stat : 490 (java) R 475 475 23397 0 -1 4202560 1057 0 0 0 20 0 0 0 20 0 15 0 446153359 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323475866496 140323994169768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=491] ppid=475 vsize=15149108 memory=3760563074452960816 CPUtime=0 cores=1,3,5,7
/proc/478/task/491/stat : 491 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446153359 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323474819552 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=492] ppid=475 vsize=15149108 memory=3540022167934924723 CPUtime=0 cores=1,3,5,7
/proc/478/task/492/stat : 492 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153359 15512686592 14334 33554432000 4194304 4196468 140733274461888 140323473767344 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 56656 KiB
[startup+0.711345 s]*
/proc/loadavg: 8.14 8.40 8.35 10/233 492
/proc/meminfo: memFree=30970220/32770624 swapFree=66977408/67108860
[pid=475] ppid=472 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/475/stat : 475 (xcsp3-exec) S 472 475 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446153353 115843072 363 33554432000 4194304 5098028 140727505860032 140727505858136 139908561220220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24444928 140727505863546 140727505863789 140727505863789 140727505866698 0
/proc/475/statm: 28282 363 304 221 0 87 0
[pid=478] ppid=475 vsize=15151156 memory=67676 CPUtime=1.11 cores=1,3,5,7
/proc/478/stat : 478 (java) S 475 475 23397 0 -1 1077944320 13193 0 0 0 106 5 0 0 20 0 15 0 446153353 15514783744 16919 33554432000 4194304 4196468 140733274461888 140733274444432 140324013829879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
/proc/478/statm: 3787789 16919 3440 1 0 3748889 0
[pid=478/tid=479] ppid=475 vsize=15151156 memory=6791534058613427641 CPUtime=0.54 cores=1,3,5,7
/proc/478/task/479/stat : 479 (java) R 475 475 23397 0 -1 4202560 9072 0 0 0 51 3 0 0 20 0 15 0 446153353 15514783744 16985 33554432000 4194304 4196468 140733274461888 140324018066480 140324013841814 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=480] ppid=475 vsize=15151156 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/478/task/480/stat : 480 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153354 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323966450064 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=481] ppid=475 vsize=15151156 memory=3475195960833894245 CPUtime=0 cores=1,3,5,7
/proc/478/task/481/stat : 481 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153354 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323965397264 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=482] ppid=475 vsize=15151156 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/478/task/482/stat : 482 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153354 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323603798672 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=483] ppid=475 vsize=15151156 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/478/task/483/stat : 483 (java) S 475 475 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446153354 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323602745872 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=484] ppid=475 vsize=15151156 memory=-8253362762724047225 CPUtime=0 cores=1,3,5,7
/proc/478/task/484/stat : 484 (java) S 475 475 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446153355 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323482188400 140324013841026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=485] ppid=475 vsize=15151156 memory=-8608168169079938421 CPUtime=0 cores=1,3,5,7
/proc/478/task/485/stat : 485 (java) S 475 475 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446153356 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323481134368 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=486] ppid=475 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/486/stat : 486 (java) S 475 475 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446153356 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323480082032 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=487] ppid=475 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/478/task/487/stat : 487 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446153359 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323479030352 140324013848475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=488] ppid=475 vsize=15151156 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/478/task/488/stat : 488 (java) R 475 475 23397 0 -1 4202560 980 0 0 0 15 0 0 0 20 0 15 0 446153359 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323477963080 140323997215203 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=489] ppid=475 vsize=15151156 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/478/task/489/stat : 489 (java) R 475 475 23397 0 -1 4202560 469 0 0 0 11 0 0 0 20 0 15 0 446153359 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323476910424 140323995351135 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=490] ppid=475 vsize=15151156 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/478/task/490/stat : 490 (java) R 475 475 23397 0 -1 4202560 1419 0 0 0 29 0 0 0 20 0 15 0 446153359 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323475872112 140324006067006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=491] ppid=475 vsize=15151156 memory=279891744660480 CPUtime=0 cores=1,3,5,7
/proc/478/task/491/stat : 491 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446153359 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323474819552 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=492] ppid=475 vsize=15151156 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/478/task/492/stat : 492 (java) S 475 475 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446153359 15514783744 16985 33554432000 4194304 4196468 140733274461888 140323473767344 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 69128 KiB
[startup+1.50634 s]
/proc/loadavg: 8.14 8.40 8.35 13/237 509
/proc/meminfo: memFree=30907420/32770624 swapFree=66977408/67108860
[pid=475] ppid=472 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/475/stat : 475 (xcsp3-exec) S 472 475 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446153353 115843072 363 33554432000 4194304 5098028 140727505860032 140727505858136 139908561220220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24444928 140727505863546 140727505863789 140727505863789 140727505866698 0
/proc/475/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/478/task/492/stat : 492 (java) S 475 475 23397 0 -1 1077944384 620 0 0 0 0 5 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323473767344 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=921] ppid=475 vsize=15483976 memory=1416 CPUtime=17.74 cores=1,3,5,7
/proc/478/task/921/stat : 921 (java) R 475 475 23397 0 -1 4202560 321 0 0 0 1774 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323462679560 140323652125102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=922] ppid=475 vsize=15483976 memory=1716 CPUtime=17.75 cores=1,3,5,7
/proc/478/task/922/stat : 922 (java) R 475 475 23397 0 -1 4202560 9372 0 0 0 1775 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323461630064 140323652125584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=923] ppid=475 vsize=15483976 memory=692 CPUtime=17.84 cores=1,3,5,7
/proc/478/task/923/stat : 923 (java) R 475 475 23397 0 -1 4202560 889 0 0 0 1784 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323464786376 140323650039037 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=924] ppid=475 vsize=15483976 memory=1056 CPUtime=17.7 cores=1,3,5,7
/proc/478/task/924/stat : 924 (java) R 475 475 23397 0 -1 4202560 1947 0 0 0 1770 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323460575456 140323650298615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
Current children cumulated CPU time: 729.27 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 1080448 KiB
[startup+185.001 s]
/proc/loadavg: 8.82 8.62 8.44 9/236 925
/proc/meminfo: memFree=29944088/32770624 swapFree=66977408/67108860
[pid=475] ppid=472 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/475/stat : 475 (xcsp3-exec) S 472 475 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446153353 115843072 363 33554432000 4194304 5098028 140727505860032 140727505858136 139908561220220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24444928 140727505863546 140727505863789 140727505863789 140727505866698 0
/proc/475/statm: 28282 363 304 221 0 87 0
[pid=478] ppid=475 vsize=15483976 memory=1078996 CPUtime=732.44 cores=1,3,5,7
/proc/478/stat : 478 (java) S 475 475 23397 0 -1 1077944320 85407 0 0 0 73172 72 0 0 20 0 19 0 446153353 15855591424 269749 33554432000 4194304 4196468 140733274461888 140733274444432 140324013829879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
/proc/478/statm: 3870994 269749 3531 1 0 3832094 0
[pid=478/tid=479] ppid=475 vsize=15483976 memory=1452 CPUtime=0.64 cores=1,3,5,7
/proc/478/task/479/stat : 479 (java) S 475 475 23397 0 -1 1077944384 9239 0 0 0 61 3 0 0 20 0 19 0 446153353 15855591424 269749 33554432000 4194304 4196468 140733274461888 140324018070656 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=480] ppid=475 vsize=15483976 memory=1078488 CPUtime=0.72 cores=1,3,5,7
/proc/478/task/480/stat : 480 (java) S 475 475 23397 0 -1 1077944384 2083 0 0 0 63 9 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323966450064 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=481] ppid=475 vsize=15483976 memory=1412 CPUtime=0.73 cores=1,3,5,7
/proc/478/task/481/stat : 481 (java) S 475 475 23397 0 -1 1077944384 2768 0 0 0 63 10 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323965397264 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=482] ppid=475 vsize=15483976 memory=3324 CPUtime=0.71 cores=1,3,5,7
/proc/478/task/482/stat : 482 (java) S 475 475 23397 0 -1 1077944384 2370 0 0 0 62 9 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323603798672 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=483] ppid=475 vsize=15483976 memory=1452 CPUtime=0.73 cores=1,3,5,7
/proc/478/task/483/stat : 483 (java) S 475 475 23397 0 -1 1077944384 2267 0 0 0 63 10 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323602745872 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=484] ppid=475 vsize=15483976 memory=1078488 CPUtime=0.33 cores=1,3,5,7
/proc/478/task/484/stat : 484 (java) S 475 475 23397 0 -1 1077944384 5103 0 0 0 22 11 0 0 20 0 19 0 446153355 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323482188400 140324013841026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=485] ppid=475 vsize=15483976 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/478/task/485/stat : 485 (java) S 475 475 23397 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446153356 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323481134432 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=486] ppid=475 vsize=15483976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/478/task/486/stat : 486 (java) S 475 475 23397 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 19 0 446153356 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323480082048 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=487] ppid=475 vsize=15483976 memory=692 CPUtime=0 cores=1,3,5,7
/proc/478/task/487/stat : 487 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323479030352 140324013848475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=488] ppid=475 vsize=15483976 memory=25176 CPUtime=1.52 cores=1,3,5,7
/proc/478/task/488/stat : 488 (java) S 475 475 23397 0 -1 1077944384 8727 0 0 0 151 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323477977200 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=489] ppid=475 vsize=15483976 memory=2120 CPUtime=1.49 cores=1,3,5,7
/proc/478/task/489/stat : 489 (java) S 475 475 23397 0 -1 1077944384 14113 0 0 0 148 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323476924400 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=490] ppid=475 vsize=15483976 memory=4100 CPUtime=0.64 cores=1,3,5,7
/proc/478/task/490/stat : 490 (java) S 475 475 23397 0 -1 1077944384 6670 0 0 0 63 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323475872112 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=491] ppid=475 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/478/task/491/stat : 491 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323474819552 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=492] ppid=475 vsize=15483976 memory=1078488 CPUtime=0.05 cores=1,3,5,7
/proc/478/task/492/stat : 492 (java) S 475 475 23397 0 -1 1077944384 640 0 0 0 0 5 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323473767344 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=921] ppid=475 vsize=15483976 memory=988 CPUtime=18.53 cores=1,3,5,7
/proc/478/task/921/stat : 921 (java) R 475 475 23397 0 -1 4202560 389 0 0 0 1853 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323462679560 140323652125814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=922] ppid=475 vsize=15483976 memory=2004 CPUtime=18.54 cores=1,3,5,7
/proc/478/task/922/stat : 922 (java) R 475 475 23397 0 -1 4202560 10313 0 0 0 1854 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323461630064 140323651150631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=923] ppid=475 vsize=15483976 memory=1056 CPUtime=18.62 cores=1,3,5,7
/proc/478/task/923/stat : 923 (java) R 475 475 23397 0 -1 4202560 1065 0 0 0 1862 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323464786376 140323652125645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=924] ppid=475 vsize=15483976 memory=1556 CPUtime=18.49 cores=1,3,5,7
/proc/478/task/924/stat : 924 (java) R 475 475 23397 0 -1 4202560 2017 0 0 0 1849 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323460575456 140323652125899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
Current children cumulated CPU time: 732.44 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 1080448 KiB
[startup+185.201 s]*
/proc/loadavg: 8.82 8.62 8.44 9/236 925
/proc/meminfo: memFree=29944216/32770624 swapFree=66977408/67108860
[pid=475] ppid=472 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/475/stat : 475 (xcsp3-exec) S 472 475 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446153353 115843072 363 33554432000 4194304 5098028 140727505860032 140727505858136 139908561220220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24444928 140727505863546 140727505863789 140727505863789 140727505866698 0
/proc/475/statm: 28282 363 304 221 0 87 0
[pid=478] ppid=475 vsize=15483976 memory=1078996 CPUtime=733.25 cores=1,3,5,7
/proc/478/stat : 478 (java) S 475 475 23397 0 -1 1077944320 85423 0 0 0 73253 72 0 0 20 0 19 0 446153353 15855591424 269749 33554432000 4194304 4196468 140733274461888 140733274444432 140324013829879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
/proc/478/statm: 3870994 269749 3531 1 0 3832094 0
[pid=478/tid=479] ppid=475 vsize=15483976 memory=8317482817917895235 CPUtime=0.64 cores=1,3,5,7
/proc/478/task/479/stat : 479 (java) S 475 475 23397 0 -1 1077944384 9239 0 0 0 61 3 0 0 20 0 19 0 446153353 15855591424 269749 33554432000 4194304 4196468 140733274461888 140324018070656 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=480] ppid=475 vsize=15483976 memory=4126316290023845779 CPUtime=0.72 cores=1,3,5,7
/proc/478/task/480/stat : 480 (java) S 475 475 23397 0 -1 1077944384 2083 0 0 0 63 9 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323966450064 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=481] ppid=475 vsize=15483976 memory=3212 CPUtime=0.73 cores=1,3,5,7
/proc/478/task/481/stat : 481 (java) S 475 475 23397 0 -1 1077944384 2768 0 0 0 63 10 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323965397264 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=482] ppid=475 vsize=15483976 memory=1452 CPUtime=0.71 cores=1,3,5,7
/proc/478/task/482/stat : 482 (java) S 475 475 23397 0 -1 1077944384 2370 0 0 0 62 9 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323603798672 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=483] ppid=475 vsize=15483976 memory=14012 CPUtime=0.73 cores=1,3,5,7
/proc/478/task/483/stat : 483 (java) S 475 475 23397 0 -1 1077944384 2267 0 0 0 63 10 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323602745872 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=484] ppid=475 vsize=15483976 memory=1412 CPUtime=0.33 cores=1,3,5,7
/proc/478/task/484/stat : 484 (java) S 475 475 23397 0 -1 1077944384 5103 0 0 0 22 11 0 0 20 0 19 0 446153355 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323482188400 140324013841026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=485] ppid=475 vsize=15483976 memory=3212 CPUtime=0 cores=1,3,5,7
/proc/478/task/485/stat : 485 (java) S 475 475 23397 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446153356 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323481134432 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=486] ppid=475 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/478/task/486/stat : 486 (java) S 475 475 23397 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 19 0 446153356 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323480082048 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=487] ppid=475 vsize=15483976 memory=185520 CPUtime=0 cores=1,3,5,7
/proc/478/task/487/stat : 487 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323479030352 140324013848475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=488] ppid=475 vsize=15483976 memory=6738396247923459728 CPUtime=1.52 cores=1,3,5,7
/proc/478/task/488/stat : 488 (java) S 475 475 23397 0 -1 1077944384 8727 0 0 0 151 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323477977200 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=489] ppid=475 vsize=15483976 memory=139945873320944 CPUtime=1.49 cores=1,3,5,7
/proc/478/task/489/stat : 489 (java) S 475 475 23397 0 -1 1077944384 14113 0 0 0 148 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323476924400 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=490] ppid=475 vsize=15483976 memory=3616 CPUtime=0.64 cores=1,3,5,7
/proc/478/task/490/stat : 490 (java) S 475 475 23397 0 -1 1077944384 6670 0 0 0 63 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323475872112 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=491] ppid=475 vsize=15483976 memory=47660 CPUtime=0 cores=1,3,5,7
/proc/478/task/491/stat : 491 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323474819552 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=492] ppid=475 vsize=15483976 memory=988 CPUtime=0.05 cores=1,3,5,7
/proc/478/task/492/stat : 492 (java) S 475 475 23397 0 -1 1077944384 640 0 0 0 0 5 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323473767344 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=921] ppid=475 vsize=15483976 memory=2004 CPUtime=18.74 cores=1,3,5,7
/proc/478/task/921/stat : 921 (java) R 475 475 23397 0 -1 4202560 389 0 0 0 1874 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323462679560 140323646995023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=922] ppid=475 vsize=15483976 memory=1412 CPUtime=18.75 cores=1,3,5,7
/proc/478/task/922/stat : 922 (java) R 475 475 23397 0 -1 4202560 10326 0 0 0 1875 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323461630064 140323651150672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=923] ppid=475 vsize=15483976 memory=3276 CPUtime=18.82 cores=1,3,5,7
/proc/478/task/923/stat : 923 (java) R 475 475 23397 0 -1 4202560 1067 0 0 0 1882 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323464786376 140323645919175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=924] ppid=475 vsize=15483976 memory=1452 CPUtime=18.7 cores=1,3,5,7
/proc/478/task/924/stat : 924 (java) R 475 475 23397 0 -1 4202560 2018 0 0 0 1870 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323460575456 140323650003767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
Current children cumulated CPU time: 733.25 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 1080448 KiB
[startup+185.311 s]
/proc/loadavg: 8.82 8.62 8.44 9/236 925
/proc/meminfo: memFree=29944216/32770624 swapFree=66977408/67108860
[pid=475] ppid=472 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/475/stat : 475 (xcsp3-exec) S 472 475 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446153353 115843072 363 33554432000 4194304 5098028 140727505860032 140727505858136 139908561220220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24444928 140727505863546 140727505863789 140727505863789 140727505866698 0
/proc/475/statm: 28282 363 304 221 0 87 0
[pid=478] ppid=475 vsize=15483976 memory=1078996 CPUtime=733.67 cores=1,3,5,7
/proc/478/stat : 478 (java) S 475 475 23397 0 -1 1077944320 85428 0 0 0 73295 72 0 0 20 0 19 0 446153353 15855591424 269749 33554432000 4194304 4196468 140733274461888 140733274444432 140324013829879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
/proc/478/statm: 3870994 269749 3531 1 0 3832094 0
[pid=478/tid=479] ppid=475 vsize=15483976 memory=1078996 CPUtime=0.64 cores=1,3,5,7
/proc/478/task/479/stat : 479 (java) S 475 475 23397 0 -1 1077944384 9239 0 0 0 61 3 0 0 20 0 19 0 446153353 15855591424 269749 33554432000 4194304 4196468 140733274461888 140324018070656 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=480] ppid=475 vsize=15483976 memory=1078996 CPUtime=0.72 cores=1,3,5,7
/proc/478/task/480/stat : 480 (java) S 475 475 23397 0 -1 1077944384 2083 0 0 0 63 9 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323966450064 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=481] ppid=475 vsize=15483976 memory=1452 CPUtime=0.73 cores=1,3,5,7
/proc/478/task/481/stat : 481 (java) S 475 475 23397 0 -1 1077944384 2768 0 0 0 63 10 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323965397264 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=482] ppid=475 vsize=15483976 memory=1066044 CPUtime=0.71 cores=1,3,5,7
/proc/478/task/482/stat : 482 (java) S 475 475 23397 0 -1 1077944384 2370 0 0 0 62 9 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323603798672 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=483] ppid=475 vsize=15483976 memory=1077652 CPUtime=0.73 cores=1,3,5,7
/proc/478/task/483/stat : 483 (java) S 475 475 23397 0 -1 1077944384 2267 0 0 0 63 10 0 0 20 0 19 0 446153354 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323602745872 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=484] ppid=475 vsize=15483976 memory=1078488 CPUtime=0.33 cores=1,3,5,7
/proc/478/task/484/stat : 484 (java) S 475 475 23397 0 -1 1077944384 5103 0 0 0 22 11 0 0 20 0 19 0 446153355 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323482188400 140324013841026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=485] ppid=475 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/478/task/485/stat : 485 (java) S 475 475 23397 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446153356 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323481134432 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=486] ppid=475 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/478/task/486/stat : 486 (java) S 475 475 23397 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 19 0 446153356 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323480082048 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=487] ppid=475 vsize=15483976 memory=1077104 CPUtime=0 cores=1,3,5,7
/proc/478/task/487/stat : 487 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323479030352 140324013848475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=488] ppid=475 vsize=15483976 memory=1452 CPUtime=1.52 cores=1,3,5,7
/proc/478/task/488/stat : 488 (java) S 475 475 23397 0 -1 1077944384 8727 0 0 0 151 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323477977200 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=489] ppid=475 vsize=15483976 memory=1078488 CPUtime=1.49 cores=1,3,5,7
/proc/478/task/489/stat : 489 (java) S 475 475 23397 0 -1 1077944384 14113 0 0 0 148 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323476924400 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=490] ppid=475 vsize=15483976 memory=1452 CPUtime=0.64 cores=1,3,5,7
/proc/478/task/490/stat : 490 (java) S 475 475 23397 0 -1 1077944384 6670 0 0 0 63 1 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323475872112 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=491] ppid=475 vsize=15483976 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/478/task/491/stat : 491 (java) S 475 475 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323474819552 140324013840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=492] ppid=475 vsize=15483976 memory=6947385649911455296 CPUtime=0.05 cores=1,3,5,7
/proc/478/task/492/stat : 492 (java) S 475 475 23397 0 -1 1077944384 640 0 0 0 0 5 0 0 20 0 19 0 446153359 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323473767344 140324013841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=921] ppid=475 vsize=15483976 memory=189616 CPUtime=18.84 cores=1,3,5,7
/proc/478/task/921/stat : 921 (java) R 475 475 23397 0 -1 4202560 390 0 0 0 1884 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323462679560 140323652125628 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=922] ppid=475 vsize=15483976 memory=14048 CPUtime=18.85 cores=1,3,5,7
/proc/478/task/922/stat : 922 (java) R 475 475 23397 0 -1 4202560 10328 0 0 0 1885 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323461630064 140323652125894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=923] ppid=475 vsize=15483976 memory=25176 CPUtime=18.92 cores=1,3,5,7
/proc/478/task/923/stat : 923 (java) R 475 475 23397 0 -1 4202560 1069 0 0 0 1892 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323464786376 140323649697022 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
[pid=478/tid=924] ppid=475 vsize=15483976 memory=1452 CPUtime=18.8 cores=1,3,5,7
/proc/478/task/924/stat : 924 (java) R 475 475 23397 0 -1 4202560 2018 0 0 0 1880 0 0 0 20 0 19 0 446169986 15855591424 269749 33554432000 4194304 4196468 140733274461888 140323460575456 140323652125849 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22351872 140733274465263 140733274465434 140733274465434 140733274468303 0
Current children cumulated CPU time: 733.67 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 1080448 KiB
Child status: 0
Real time (s): 185.347
CPU time (s): 733.785
CPU user time (s): 733.051
CPU system time (s): 0.734136
CPU usage (%): 395.899
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 1120112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.051
system time used= 0.734136
maximum resident set size= 1118660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13601
involuntary context switches= 14517
# summary of solver processes directly reported to runsolver:
# pid: 475
# total CPU time (s): 733.785
# total CPU user time (s): 733.051
# total CPU system time (s): 0.734136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21436 second user time and 2.09478 second system time
The end