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 (14582 MiB free)
memory of node 1: 16384 MiB (15186 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400378-1568694689/watcher-4400378-1568694689 -o /tmp/evaluation-result-4400378-1568694689/solver-4400378-1568694689 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 389168150 HOME/instance-4400378-1568694689.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2398, runsolver pid=2395
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 8.38 6.49 3.85 6/233 2425
/proc/meminfo: memFree=30473908/32770624 swapFree=66953076/67108860
[pid=2398] ppid=2395 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2398/stat : 2398 (xcsp3-exec) S 2395 2398 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445737715 115843072 362 33554432000 4194304 5098028 140725698198912 140725698197016 139913953133180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17539072 140725698204539 140725698204781 140725698204781 140725698207690 0
/proc/2398/statm: 28282 362 304 221 0 87 0
[pid=2400] ppid=2398 vsize=15144776 memory=27244 CPUtime=0.13 cores=0,2,4,6
/proc/2400/stat : 2400 (java) S 2398 2398 30406 0 -1 1077944320 5759 0 0 0 12 1 0 0 20 0 15 0 445737715 15508250624 6811 33554432000 4194304 4196468 140725609790240 140725609772784 139675116809975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
/proc/2400/statm: 3786194 6811 3142 1 0 3748377 0
[pid=2400/tid=2401] ppid=2398 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6
/proc/2400/task/2401/stat : 2401 (java) R 2398 2398 30406 0 -1 4202560 3638 0 0 0 9 0 0 0 20 0 15 0 445737716 15508250624 6811 33554432000 4194304 4196468 140725609790240 139675121032976 139675096529741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2402] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2402/stat : 2402 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737716 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674708970640 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2403] ppid=2398 vsize=15144776 memory=288230376155018786 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2403/stat : 2403 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737716 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674707917840 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2404] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2404/stat : 2404 (java) S 2398 2398 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445737716 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674706865040 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2405] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2405/stat : 2405 (java) S 2398 2398 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445737716 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674705812240 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2406] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2406/stat : 2406 (java) S 2398 2398 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445737718 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674585164144 139675116821122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2407] ppid=2398 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2407/stat : 2407 (java) S 2398 2398 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445737718 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674584110112 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2408] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2408/stat : 2408 (java) S 2398 2398 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445737718 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674583057264 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2410] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2410/stat : 2410 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445737721 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674582005584 139675116828571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2411] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2411/stat : 2411 (java) S 2398 2398 30406 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 445737721 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674580953968 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2412] ppid=2398 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2412/stat : 2412 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445737721 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674579901168 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2413] ppid=2398 vsize=15144776 memory=140360606029440 CPUtime=0.02 cores=0,2,4,6
/proc/2400/task/2413/stat : 2413 (java) R 2398 2398 30406 0 -1 4202560 395 0 0 0 2 0 0 0 20 0 15 0 445737721 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674578848368 139675116821910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2424] ppid=2398 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2424/stat : 2424 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445737721 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674577795808 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2425] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2425/stat : 2425 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737721 15508250624 6811 33554432000 4194304 4196468 140725609790240 139674576743088 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28692 KiB
[startup+0.210878 s]*
/proc/loadavg: 8.38 6.49 3.85 6/233 2425
/proc/meminfo: memFree=30460256/32770624 swapFree=66953076/67108860
[pid=2398] ppid=2395 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2398/stat : 2398 (xcsp3-exec) S 2395 2398 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445737715 115843072 362 33554432000 4194304 5098028 140725698198912 140725698197016 139913953133180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17539072 140725698204539 140725698204781 140725698204781 140725698207690 0
/proc/2398/statm: 28282 362 304 221 0 87 0
[pid=2400] ppid=2398 vsize=15144776 memory=39968 CPUtime=0.34 cores=0,2,4,6
/proc/2400/stat : 2400 (java) S 2398 2398 30406 0 -1 1077944320 9699 0 0 0 31 3 0 0 20 0 15 0 445737715 15508250624 9992 33554432000 4194304 4196468 140725609790240 140725609772784 139675116809975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
/proc/2400/statm: 3786194 9992 3313 1 0 3748377 0
[pid=2400/tid=2401] ppid=2398 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2400/task/2401/stat : 2401 (java) R 2398 2398 30406 0 -1 4202560 6667 0 0 0 18 2 0 0 20 0 15 0 445737716 15508250624 9992 33554432000 4194304 4196468 140725609790240 139675121042704 139675109487989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2402] ppid=2398 vsize=15144776 memory=4296914231 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2402/stat : 2402 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737716 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674708970640 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2403] ppid=2398 vsize=15144776 memory=140360606055192 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2403/stat : 2403 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737716 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674707917840 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2404] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2404/stat : 2404 (java) S 2398 2398 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445737716 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674706865040 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2405] ppid=2398 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2405/stat : 2405 (java) S 2398 2398 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445737716 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674705812240 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2406] ppid=2398 vsize=15144776 memory=140360606029440 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2406/stat : 2406 (java) S 2398 2398 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445737718 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674585164144 139675116821122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2407] ppid=2398 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2407/stat : 2407 (java) S 2398 2398 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445737718 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674584110112 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2408] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2408/stat : 2408 (java) S 2398 2398 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445737718 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674583057264 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2410] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2410/stat : 2410 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445737721 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674582005584 139675116828571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2411] ppid=2398 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2400/task/2411/stat : 2411 (java) S 2398 2398 30406 0 -1 1077944384 755 0 0 0 3 0 0 0 20 0 15 0 445737721 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674580953968 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2412] ppid=2398 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2400/task/2412/stat : 2412 (java) S 2398 2398 30406 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 445737721 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674579901168 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2413] ppid=2398 vsize=15144776 memory=140360606029440 CPUtime=0.07 cores=0,2,4,6
/proc/2400/task/2413/stat : 2413 (java) S 2398 2398 30406 0 -1 1077944384 890 0 0 0 7 0 0 0 20 0 15 0 445737721 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674578848368 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2424] ppid=2398 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2424/stat : 2424 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445737721 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674577795808 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2425] ppid=2398 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2425/stat : 2425 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737721 15508250624 9992 33554432000 4194304 4196468 140725609790240 139674576743088 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41416 KiB
[startup+0.310917 s]*
/proc/loadavg: 8.38 6.49 3.85 7/233 2425
/proc/meminfo: memFree=30455396/32770624 swapFree=66953076/67108860
[pid=2398] ppid=2395 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2398/stat : 2398 (xcsp3-exec) S 2395 2398 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445737715 115843072 362 33554432000 4194304 5098028 140725698198912 140725698197016 139913953133180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17539072 140725698204539 140725698204781 140725698204781 140725698207690 0
/proc/2398/statm: 28282 362 304 221 0 87 0
[pid=2400] ppid=2398 vsize=15149032 memory=48676 CPUtime=0.52 cores=0,2,4,6
/proc/2400/stat : 2400 (java) S 2398 2398 30406 0 -1 1077944320 11012 0 0 0 49 3 0 0 20 0 15 0 445737715 15512608768 12169 33554432000 4194304 4196468 140725609790240 140725609772784 139675116809975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
/proc/2400/statm: 3787258 12169 3359 1 0 3748377 0
[pid=2400/tid=2401] ppid=2398 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/2400/task/2401/stat : 2401 (java) R 2398 2398 30406 0 -1 4202560 7746 0 0 0 28 2 0 0 20 0 15 0 445737716 15512608768 12195 33554432000 4194304 4196468 140725609790240 139675121041088 139675100890462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2402] ppid=2398 vsize=15149032 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2402/stat : 2402 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737716 15512608768 12195 33554432000 4194304 4196468 140725609790240 139674708970640 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2403] ppid=2398 vsize=15149032 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2403/stat : 2403 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737716 15512608768 12195 33554432000 4194304 4196468 140725609790240 139674707917840 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2404] ppid=2398 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2404/stat : 2404 (java) S 2398 2398 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445737716 15512608768 12195 33554432000 4194304 4196468 140725609790240 139674706865040 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2405] ppid=2398 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2405/stat : 2405 (java) S 2398 2398 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445737716 15512608768 12195 33554432000 4194304 4196468 140725609790240 139674705812240 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2406] ppid=2398 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2406/stat : 2406 (java) S 2398 2398 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445737718 15512608768 12195 33554432000 4194304 4196468 140725609790240 139674585164144 139675116821122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2407] ppid=2398 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2407/stat : 2407 (java) S 2398 2398 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445737718 15512608768 12260 33554432000 4194304 4196468 140725609790240 139674584110112 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2408] ppid=2398 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2408/stat : 2408 (java) S 2398 2398 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445737718 15512608768 12260 33554432000 4194304 4196468 140725609790240 139674583057264 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2410] ppid=2398 vsize=15149032 memory=-1598831813028945288 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2410/stat : 2410 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445737721 15512608768 12260 33554432000 4194304 4196468 140725609790240 139674582005584 139675116828571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2411] ppid=2398 vsize=15149032 memory=6944656592455097440 CPUtime=0.05 cores=0,2,4,6
/proc/2400/task/2411/stat : 2411 (java) R 2398 2398 30406 0 -1 4202560 844 0 0 0 5 0 0 0 20 0 15 0 445737721 15512608768 12260 33554432000 4194304 4196468 140725609790240 139674580953968 139675097510272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2412] ppid=2398 vsize=15149032 memory=6944656592455097440 CPUtime=0.03 cores=0,2,4,6
/proc/2400/task/2412/stat : 2412 (java) R 2398 2398 30406 0 -1 1077944384 144 0 0 0 3 0 0 0 20 0 15 0 445737721 15512608768 12260 33554432000 4194304 4196468 140725609790240 139674579901168 139675116821122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2413] ppid=2398 vsize=15149032 memory=6656426216303648864 CPUtime=0.12 cores=0,2,4,6
/proc/2400/task/2413/stat : 2413 (java) S 2398 2398 30406 0 -1 1077944384 1057 0 0 0 12 0 0 0 20 0 15 0 445737721 15512608768 12260 33554432000 4194304 4196468 140725609790240 139674578848368 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2424] ppid=2398 vsize=15149032 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2424/stat : 2424 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445737721 15512608768 12260 33554432000 4194304 4196468 140725609790240 139674577795808 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2425] ppid=2398 vsize=15149032 memory=7018104003582128280 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2425/stat : 2425 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445737721 15512608768 12260 33554432000 4194304 4196468 140725609790240 139674576743088 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50124 KiB
[startup+0.701686 s]
/proc/loadavg: 8.38 6.49 3.85 10/233 2425
/proc/meminfo: memFree=30439252/32770624 swapFree=66953076/67108860
[pid=2398] ppid=2395 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2398/stat : 2398 (xcsp3-exec) S 2395 2398 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445737715 115843072 362 33554432000 4194304 5098028 140725698198912 140725698197016 139913953133180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17539072 140725698204539 140725698204781 140725698204781 140725698207690 0
/proc/2398/statm: 28282 362 304 221 0 87 0
[pid=2400] ppid=2398 vsize=15550540 memory=165224 CPUtime=1.63 cores=0,2,4,6
/proc/2400/stat : 2400 (java) S 2398 2398 30406 0 -1 1077944320 15369 0 0 0 156 7 0 0 20 0 19 0 445737715 15923752960 41306 33554432000 4194304 4196468 140725609790240 140725609772784 139675116809975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
/proc/2400/statm: 3887635 41306 3458 1 0 3848735 0
[pid=2400/tid=2401] ppid=2398 vsize=15550540 memory=4137303382726774134 CPUtime=0.53 cores=0,2,4,6
/proc/2400/task/2401/stat : 2401 (java) R 2398 2398 30406 0 -1 1077944384 9240 0 0 0 50 3 0 0 20 0 19 0 445737716 15923752960 41306 33554432000 4194304 4196468 140725609790240 139675121050752 139675116820181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2402] ppid=2398 vsize=15550540 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2402/stat : 2402 (java) S 2398 2398 30406 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 445737716 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674708970640 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2403] ppid=2398 vsize=15550540 memory=6940443203498692944 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2403/stat : 2403 (java) S 2398 2398 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445737716 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674707917840 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2404] ppid=2398 vsize=15550540 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2404/stat : 2404 (java) S 2398 2398 30406 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 445737716 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674706865040 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2405] ppid=2398 vsize=15550540 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2405/stat : 2405 (java) S 2398 2398 30406 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445737716 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674705812240 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2406] ppid=2398 vsize=15550540 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2406/stat : 2406 (java) S 2398 2398 30406 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674585164144 139675116821122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2407] ppid=2398 vsize=15550540 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2407/stat : 2407 (java) S 2398 2398 30406 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674584110112 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2408] ppid=2398 vsize=15550540 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2408/stat : 2408 (java) S 2398 2398 30406 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674583057264 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2410] ppid=2398 vsize=15550540 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2410/stat : 2410 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674582005584 139675116828571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2411] ppid=2398 vsize=15550540 memory=2828 CPUtime=0.27 cores=0,2,4,6
/proc/2400/task/2411/stat : 2411 (java) R 2398 2398 30406 0 -1 4202560 1388 0 0 0 27 0 0 0 20 0 19 0 445737721 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674580946896 139675101098976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2412] ppid=2398 vsize=15550540 memory=780 CPUtime=0.22 cores=0,2,4,6
/proc/2400/task/2412/stat : 2412 (java) R 2398 2398 30406 0 -1 4202560 623 0 0 0 22 0 0 0 20 0 19 0 445737721 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674579886976 139675100023537 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2413] ppid=2398 vsize=15550540 memory=620 CPUtime=0.33 cores=0,2,4,6
/proc/2400/task/2413/stat : 2413 (java) R 2398 2398 30406 0 -1 4202560 1749 0 0 0 33 0 0 0 20 0 19 0 445737721 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674578848496 139675116831322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2424] ppid=2398 vsize=15550540 memory=1496 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2424/stat : 2424 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674577795808 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2425] ppid=2398 vsize=15550540 memory=1016 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2425/stat : 2425 (java) S 2398 2398 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 41306 33554432000 4194304 4196468 140725609790240 139674576743088 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 166672 KiB
[startup+1.5015 s]
/proc/loadavg: 8.38 6.49 3.85 13/237 2502
/proc/meminfo: memFree=30311356/32770624 swapFree=66953076/67108860
[pid=2398] ppid=2395 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2398/stat : 2398 (xcsp3-exec) S 2395 2398 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445737715 115843072 362 33554432000 4194304 5098028 140725698198912 140725698197016 139913953133180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17539072 140725698204539 140725698204781 140725698204781 140725698207690 0
/proc/2398/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/2400/task/2425/stat : 2425 (java) S 2398 2398 30406 0 -1 1077944384 729 0 0 0 0 5 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674576743088 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2523] ppid=2398 vsize=15550540 memory=1056 CPUtime=300.11 cores=0,2,4,6
/proc/2400/task/2523/stat : 2523 (java) R 2398 2398 30406 0 -1 4202560 988 0 0 0 30010 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674563549912 139674758750783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2524] ppid=2398 vsize=15550540 memory=1188 CPUtime=299.86 cores=0,2,4,6
/proc/2400/task/2524/stat : 2524 (java) R 2398 2398 30406 0 -1 4202560 2094 0 0 0 29984 2 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674562498032 139674760395600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2525] ppid=2398 vsize=15550540 memory=3624 CPUtime=300.27 cores=0,2,4,6
/proc/2400/task/2525/stat : 2525 (java) R 2398 2398 30406 0 -1 4202560 3466 0 0 0 30026 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674567761528 139674758926857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2526] ppid=2398 vsize=15550540 memory=47980 CPUtime=299.92 cores=0,2,4,6
/proc/2400/task/2526/stat : 2526 (java) R 2398 2398 30406 0 -1 4202560 1735 0 0 0 29991 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674565659808 139675098216274 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
Current children cumulated CPU time: 1212.69 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 297088 KiB
[startup+306.001 s]*
/proc/loadavg: 8.35 7.75 5.15 10/237 2681
/proc/meminfo: memFree=30174404/32770624 swapFree=66953076/67108860
[pid=2398] ppid=2395 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2398/stat : 2398 (xcsp3-exec) S 2395 2398 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445737715 115843072 362 33554432000 4194304 5098028 140725698198912 140725698197016 139913953133180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17539072 140725698204539 140725698204781 140725698204781 140725698207690 0
/proc/2398/statm: 28282 362 304 221 0 87 0
[pid=2400] ppid=2398 vsize=15550540 memory=295640 CPUtime=1214.31 cores=0,2,4,6
/proc/2400/stat : 2400 (java) S 2398 2398 30406 0 -1 1077944320 69093 0 0 0 121394 37 0 0 20 0 19 0 445737715 15923752960 73910 33554432000 4194304 4196468 140725609790240 140725609772784 139675116809975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
/proc/2400/statm: 3887635 73910 3516 1 0 3848735 0
[pid=2400/tid=2401] ppid=2398 vsize=15550540 memory=8317482817917895235 CPUtime=0.53 cores=0,2,4,6
/proc/2400/task/2401/stat : 2401 (java) S 2398 2398 30406 0 -1 1077944384 9241 0 0 0 50 3 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139675121050752 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2402] ppid=2398 vsize=15550540 memory=7450194450763243629 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2402/stat : 2402 (java) S 2398 2398 30406 0 -1 1077944384 1106 0 0 0 43 5 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674708970640 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2403] ppid=2398 vsize=15550540 memory=7450194450763243629 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2403/stat : 2403 (java) S 2398 2398 30406 0 -1 1077944384 1519 0 0 0 42 6 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674707917840 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2404] ppid=2398 vsize=15550540 memory=7450194450763243629 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2404/stat : 2404 (java) S 2398 2398 30406 0 -1 1077944384 2118 0 0 0 42 6 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674706865040 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2405] ppid=2398 vsize=15550540 memory=7450194450763243629 CPUtime=0.45 cores=0,2,4,6
/proc/2400/task/2405/stat : 2405 (java) S 2398 2398 30406 0 -1 1077944384 1937 0 0 0 40 5 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674705812240 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2406] ppid=2398 vsize=15550540 memory=7235139803306552674 CPUtime=0.32 cores=0,2,4,6
/proc/2400/task/2406/stat : 2406 (java) S 2398 2398 30406 0 -1 1077944384 2510 0 0 0 30 2 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674585164144 139675116821122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2407] ppid=2398 vsize=15550540 memory=7666649833455247697 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2407/stat : 2407 (java) S 2398 2398 30406 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674584110176 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2408] ppid=2398 vsize=15550540 memory=7666649833455247697 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2408/stat : 2408 (java) S 2398 2398 30406 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674583057264 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2410] ppid=2398 vsize=15550540 memory=5794555373946169441 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2410/stat : 2410 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674582005584 139675116828571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2411] ppid=2398 vsize=15550540 memory=7012478867921332333 CPUtime=2.49 cores=0,2,4,6
/proc/2400/task/2411/stat : 2411 (java) S 2398 2398 30406 0 -1 1077944384 16214 0 0 0 248 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674580953968 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2412] ppid=2398 vsize=15550540 memory=7012478867921332333 CPUtime=2.2 cores=0,2,4,6
/proc/2400/task/2412/stat : 2412 (java) S 2398 2398 30406 0 -1 1077944384 14171 0 0 0 219 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674579901168 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2413] ppid=2398 vsize=15550540 memory=7235139803306552674 CPUtime=0.59 cores=0,2,4,6
/proc/2400/task/2413/stat : 2413 (java) S 2398 2398 30406 0 -1 1077944384 7908 0 0 0 58 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674578848368 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2424] ppid=2398 vsize=15550540 memory=5794555373946169441 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2424/stat : 2424 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674577795808 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2425] ppid=2398 vsize=15550540 memory=7595149696055727200 CPUtime=0.05 cores=0,2,4,6
/proc/2400/task/2425/stat : 2425 (java) S 2398 2398 30406 0 -1 1077944384 729 0 0 0 0 5 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674576743088 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2523] ppid=2398 vsize=15550540 memory=5794846731676511082 CPUtime=300.52 cores=0,2,4,6
/proc/2400/task/2523/stat : 2523 (java) R 2398 2398 30406 0 -1 4202560 988 0 0 0 30051 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674563550240 139674757727313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2524] ppid=2398 vsize=15550540 memory=7741237412422707792 CPUtime=300.27 cores=0,2,4,6
/proc/2400/task/2524/stat : 2524 (java) R 2398 2398 30406 0 -1 4202560 2094 0 0 0 30025 2 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674562498048 139674758683795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2525] ppid=2398 vsize=15550540 memory=7741237412422707792 CPUtime=300.68 cores=0,2,4,6
/proc/2400/task/2525/stat : 2525 (java) R 2398 2398 30406 0 -1 4202560 3466 0 0 0 30067 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674567764352 139674758926849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2526] ppid=2398 vsize=15550540 memory=7741237412422707792 CPUtime=300.32 cores=0,2,4,6
/proc/2400/task/2526/stat : 2526 (java) R 2398 2398 30406 0 -1 4202560 1736 0 0 0 30031 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674565657336 139674758806180 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
Current children cumulated CPU time: 1214.31 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 297088 KiB
[startup+306.202 s]
/proc/loadavg: 8.35 7.75 5.15 10/237 2681
/proc/meminfo: memFree=30174404/32770624 swapFree=66953076/67108860
[pid=2398] ppid=2395 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2398/stat : 2398 (xcsp3-exec) S 2395 2398 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445737715 115843072 362 33554432000 4194304 5098028 140725698198912 140725698197016 139913953133180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17539072 140725698204539 140725698204781 140725698204781 140725698207690 0
/proc/2398/statm: 28282 362 304 221 0 87 0
[pid=2400] ppid=2398 vsize=15550540 memory=295640 CPUtime=1215.08 cores=0,2,4,6
/proc/2400/stat : 2400 (java) S 2398 2398 30406 0 -1 1077944320 69093 0 0 0 121471 37 0 0 20 0 19 0 445737715 15923752960 73910 33554432000 4194304 4196468 140725609790240 140725609772784 139675116809975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
/proc/2400/statm: 3887635 73910 3516 1 0 3848735 0
[pid=2400/tid=2401] ppid=2398 vsize=15550540 memory=16100368647981683 CPUtime=0.53 cores=0,2,4,6
/proc/2400/task/2401/stat : 2401 (java) S 2398 2398 30406 0 -1 1077944384 9241 0 0 0 50 3 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139675121050752 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2402] ppid=2398 vsize=15550540 memory=780 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2402/stat : 2402 (java) S 2398 2398 30406 0 -1 1077944384 1106 0 0 0 43 5 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674708970640 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2403] ppid=2398 vsize=15550540 memory=620 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2403/stat : 2403 (java) S 2398 2398 30406 0 -1 1077944384 1519 0 0 0 42 6 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674707917840 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2404] ppid=2398 vsize=15550540 memory=1496 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2404/stat : 2404 (java) S 2398 2398 30406 0 -1 1077944384 2118 0 0 0 42 6 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674706865040 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2405] ppid=2398 vsize=15550540 memory=1016 CPUtime=0.45 cores=0,2,4,6
/proc/2400/task/2405/stat : 2405 (java) S 2398 2398 30406 0 -1 1077944384 1937 0 0 0 40 5 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674705812240 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2406] ppid=2398 vsize=15550540 memory=6016 CPUtime=0.32 cores=0,2,4,6
/proc/2400/task/2406/stat : 2406 (java) S 2398 2398 30406 0 -1 1077944384 2510 0 0 0 30 2 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674585164144 139675116821122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2407] ppid=2398 vsize=15550540 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2407/stat : 2407 (java) S 2398 2398 30406 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674584110176 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2408] ppid=2398 vsize=15550540 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2408/stat : 2408 (java) S 2398 2398 30406 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674583057264 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2410] ppid=2398 vsize=15550540 memory=26024 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2410/stat : 2410 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674582005584 139675116828571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2411] ppid=2398 vsize=15550540 memory=14068 CPUtime=2.49 cores=0,2,4,6
/proc/2400/task/2411/stat : 2411 (java) S 2398 2398 30406 0 -1 1077944384 16214 0 0 0 248 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674580953968 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2412] ppid=2398 vsize=15550540 memory=524 CPUtime=2.2 cores=0,2,4,6
/proc/2400/task/2412/stat : 2412 (java) S 2398 2398 30406 0 -1 1077944384 14171 0 0 0 219 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674579901168 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2413] ppid=2398 vsize=15550540 memory=1568 CPUtime=0.59 cores=0,2,4,6
/proc/2400/task/2413/stat : 2413 (java) S 2398 2398 30406 0 -1 1077944384 7908 0 0 0 58 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674578848368 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2424] ppid=2398 vsize=15550540 memory=5794555373946169441 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2424/stat : 2424 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674577795808 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2425] ppid=2398 vsize=15550540 memory=7595149696055727200 CPUtime=0.05 cores=0,2,4,6
/proc/2400/task/2425/stat : 2425 (java) S 2398 2398 30406 0 -1 1077944384 729 0 0 0 0 5 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674576743088 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2523] ppid=2398 vsize=15550540 memory=5794846731676511082 CPUtime=300.71 cores=0,2,4,6
/proc/2400/task/2523/stat : 2523 (java) R 2398 2398 30406 0 -1 4202560 988 0 0 0 30070 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674563550240 139674757726818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2524] ppid=2398 vsize=15550540 memory=7741237412422707792 CPUtime=300.46 cores=0,2,4,6
/proc/2400/task/2524/stat : 2524 (java) R 2398 2398 30406 0 -1 4202560 2094 0 0 0 30044 2 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674562498048 139674760395201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2525] ppid=2398 vsize=15550540 memory=7741237412422707792 CPUtime=300.87 cores=0,2,4,6
/proc/2400/task/2525/stat : 2525 (java) R 2398 2398 30406 0 -1 4202560 3466 0 0 0 30086 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674567764352 139674759421861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2526] ppid=2398 vsize=15550540 memory=7741237412422707792 CPUtime=300.51 cores=0,2,4,6
/proc/2400/task/2526/stat : 2526 (java) R 2398 2398 30406 0 -1 4202560 1736 0 0 0 30050 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674565657336 139674759477090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
Current children cumulated CPU time: 1215.08 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 297088 KiB
[startup+306.303 s]
/proc/loadavg: 8.35 7.75 5.15 10/237 2681
/proc/meminfo: memFree=30174404/32770624 swapFree=66953076/67108860
[pid=2398] ppid=2395 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2398/stat : 2398 (xcsp3-exec) S 2395 2398 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445737715 115843072 362 33554432000 4194304 5098028 140725698198912 140725698197016 139913953133180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17539072 140725698204539 140725698204781 140725698204781 140725698207690 0
/proc/2398/statm: 28282 362 304 221 0 87 0
[pid=2400] ppid=2398 vsize=15550540 memory=295640 CPUtime=1215.49 cores=0,2,4,6
/proc/2400/stat : 2400 (java) S 2398 2398 30406 0 -1 1077944320 69093 0 0 0 121512 37 0 0 20 0 19 0 445737715 15923752960 73910 33554432000 4194304 4196468 140725609790240 140725609772784 139675116809975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
/proc/2400/statm: 3887635 73910 3516 1 0 3848735 0
[pid=2400/tid=2401] ppid=2398 vsize=15550540 memory=295640 CPUtime=0.53 cores=0,2,4,6
/proc/2400/task/2401/stat : 2401 (java) S 2398 2398 30406 0 -1 1077944384 9241 0 0 0 50 3 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139675121050752 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2402] ppid=2398 vsize=15550540 memory=1448 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2402/stat : 2402 (java) S 2398 2398 30406 0 -1 1077944384 1106 0 0 0 43 5 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674708970640 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2403] ppid=2398 vsize=15550540 memory=295320 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2403/stat : 2403 (java) S 2398 2398 30406 0 -1 1077944384 1519 0 0 0 42 6 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674707917840 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2404] ppid=2398 vsize=15550540 memory=295608 CPUtime=0.48 cores=0,2,4,6
/proc/2400/task/2404/stat : 2404 (java) S 2398 2398 30406 0 -1 1077944384 2118 0 0 0 42 6 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674706865040 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2405] ppid=2398 vsize=15550540 memory=295640 CPUtime=0.45 cores=0,2,4,6
/proc/2400/task/2405/stat : 2405 (java) S 2398 2398 30406 0 -1 1077944384 1937 0 0 0 40 5 0 0 20 0 19 0 445737716 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674705812240 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2406] ppid=2398 vsize=15550540 memory=295640 CPUtime=0.32 cores=0,2,4,6
/proc/2400/task/2406/stat : 2406 (java) S 2398 2398 30406 0 -1 1077944384 2510 0 0 0 30 2 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674585164144 139675116821122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2407] ppid=2398 vsize=15550540 memory=295640 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2407/stat : 2407 (java) S 2398 2398 30406 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674584110176 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2408] ppid=2398 vsize=15550540 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2408/stat : 2408 (java) S 2398 2398 30406 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 445737718 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674583057264 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2410] ppid=2398 vsize=15550540 memory=289176 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2410/stat : 2410 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674582005584 139675116828571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2411] ppid=2398 vsize=15550540 memory=1448 CPUtime=2.49 cores=0,2,4,6
/proc/2400/task/2411/stat : 2411 (java) S 2398 2398 30406 0 -1 1077944384 16214 0 0 0 248 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674580953968 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2412] ppid=2398 vsize=15550540 memory=264352 CPUtime=2.2 cores=0,2,4,6
/proc/2400/task/2412/stat : 2412 (java) S 2398 2398 30406 0 -1 1077944384 14171 0 0 0 219 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674579901168 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2413] ppid=2398 vsize=15550540 memory=1448 CPUtime=0.59 cores=0,2,4,6
/proc/2400/task/2413/stat : 2413 (java) S 2398 2398 30406 0 -1 1077944384 7908 0 0 0 58 1 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674578848368 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2424] ppid=2398 vsize=15550540 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/2400/task/2424/stat : 2424 (java) S 2398 2398 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674577795808 139675116820181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2425] ppid=2398 vsize=15550540 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/2400/task/2425/stat : 2425 (java) S 2398 2398 30406 0 -1 1077944384 729 0 0 0 0 5 0 0 20 0 19 0 445737721 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674576743088 139675116821122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2523] ppid=2398 vsize=15550540 memory=293272 CPUtime=300.81 cores=0,2,4,6
/proc/2400/task/2523/stat : 2523 (java) R 2398 2398 30406 0 -1 4202560 988 0 0 0 30080 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674563550240 139674757727620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2524] ppid=2398 vsize=15550540 memory=1448 CPUtime=300.56 cores=0,2,4,6
/proc/2400/task/2524/stat : 2524 (java) R 2398 2398 30406 0 -1 4202560 2094 0 0 0 30054 2 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674562498048 139674757726809 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2525] ppid=2398 vsize=15550540 memory=1448 CPUtime=300.98 cores=0,2,4,6
/proc/2400/task/2525/stat : 2525 (java) R 2398 2398 30406 0 -1 4202560 3466 0 0 0 30097 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674567764352 139674757727708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
[pid=2400/tid=2526] ppid=2398 vsize=15550540 memory=1448 CPUtime=300.61 cores=0,2,4,6
/proc/2400/task/2526/stat : 2526 (java) R 2398 2398 30406 0 -1 4202560 1736 0 0 0 30060 1 0 0 20 0 19 0 445737960 15923752960 73910 33554432000 4194304 4196468 140725609790240 139674565657336 139674757800684 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140725609792495 140725609792666 140725609792666 140725609795535 0
Current children cumulated CPU time: 1215.49 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 297088 KiB
Child status: 0
Real time (s): 306.369
CPU time (s): 1215.73
CPU user time (s): 1215.35
CPU system time (s): 0.380168
CPU usage (%): 396.819
Max. virtual memory (cumulated for all children) (KiB): 15665732
Max. memory (cumulated for all children) (KiB): 297088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1215.35
system time used= 0.380168
maximum resident set size= 295776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22465
involuntary context switches= 23913
# summary of solver processes directly reported to runsolver:
# pid: 2398
# total CPU time (s): 1215.73
# total CPU user time (s): 1215.35
# total CPU system time (s): 0.380168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.00034 second user time and 3.29822 second system time
The end