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 (9858 MiB free)
memory of node 1: 16384 MiB (8580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393344-1568345240/watcher-4393344-1568345240 -o /tmp/evaluation-result-4393344-1568345240/solver-4393344-1568345240 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 225219741 HOME/instance-4393344-1568345240.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5460, runsolver pid=5457
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 8.28 8.61 7.53 7/234 5476
/proc/meminfo: memFree=18867368/32770624 swapFree=66959216/67108860
[pid=5460] ppid=5457 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5460/stat : 5460 (xcsp3-exec) S 5457 5460 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410464219 115843072 362 33554432000 4194304 5098028 140726181126592 140726181124696 139980785451644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33759232 140726181135227 140726181135469 140726181135469 140726181138378 0
/proc/5460/statm: 28282 362 304 221 0 87 0
[pid=5462] ppid=5460 vsize=15144768 memory=29720 CPUtime=0.12 cores=0,2,4,6
/proc/5462/stat : 5462 (java) S 5460 5460 3331 0 -1 1077944320 5826 0 0 0 11 1 0 0 20 0 15 0 410464219 15508242432 7430 33554432000 4194304 4196468 140722621485440 140722621467984 140420015222519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
/proc/5462/statm: 3786192 7430 3151 1 0 3748377 0
[pid=5462/tid=5463] ppid=5460 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/5462/task/5463/stat : 5463 (java) R 5460 5460 3331 0 -1 4202560 3751 0 0 0 8 1 0 0 20 0 15 0 410464219 15508242432 7430 33554432000 4194304 4196468 140722621485440 140420019455296 140419999303006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5464] ppid=5460 vsize=15144768 memory=3472468532182979792 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5464/stat : 5464 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15508242432 7430 33554432000 4194304 4196468 140722621485440 140419943262608 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5465] ppid=5460 vsize=15144768 memory=140403287828096 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5465/stat : 5465 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15508242432 7430 33554432000 4194304 4196468 140722621485440 140419942209808 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5466] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5466/stat : 5466 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15508242432 7430 33554432000 4194304 4196468 140722621485440 140419941157520 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5467] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5467/stat : 5467 (java) S 5460 5460 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410464220 15508242432 7430 33554432000 4194304 4196468 140722621485440 140419940104720 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5468] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5468/stat : 5468 (java) S 5460 5460 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410464221 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418889300592 140420015233666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5469] ppid=5460 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5469/stat : 5469 (java) S 5460 5460 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410464222 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418888246560 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5470] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5470/stat : 5470 (java) S 5460 5460 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410464222 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418887194224 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5471] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5471/stat : 5471 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410464225 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418886142544 140420015241115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5472] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5472/stat : 5472 (java) R 5460 5460 3331 0 -1 4202560 438 0 0 0 0 0 0 0 20 0 15 0 410464225 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418885089392 140419995924930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5473] ppid=5460 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5473/stat : 5473 (java) R 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410464225 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418884036592 140420015233666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5474] ppid=5460 vsize=15144768 memory=140403287828096 CPUtime=0.02 cores=0,2,4,6
/proc/5462/task/5474/stat : 5474 (java) S 5460 5460 3331 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 410464225 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418882984304 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5475] ppid=5460 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5475/stat : 5475 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410464225 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418881931744 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5476] ppid=5460 vsize=15144768 memory=140403287828096 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5476/stat : 5476 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464225 15508242432 7430 33554432000 4194304 4196468 140722621485440 140418880879536 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31168 KiB
[startup+0.21089 s]*
/proc/loadavg: 8.28 8.61 7.53 6/234 5476
/proc/meminfo: memFree=18854972/32770624 swapFree=66959216/67108860
[pid=5460] ppid=5457 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5460/stat : 5460 (xcsp3-exec) S 5457 5460 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410464219 115843072 362 33554432000 4194304 5098028 140726181126592 140726181124696 139980785451644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33759232 140726181135227 140726181135469 140726181135469 140726181138378 0
/proc/5460/statm: 28282 362 304 221 0 87 0
[pid=5462] ppid=5460 vsize=15144768 memory=40320 CPUtime=0.34 cores=0,2,4,6
/proc/5462/stat : 5462 (java) S 5460 5460 3331 0 -1 1077944320 9333 0 0 0 31 3 0 0 20 0 15 0 410464219 15508242432 10080 33554432000 4194304 4196468 140722621485440 140722621467984 140420015222519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
/proc/5462/statm: 3786192 10080 3297 1 0 3748377 0
[pid=5462/tid=5463] ppid=5460 vsize=15144768 memory=4212167822348820889 CPUtime=0.2 cores=0,2,4,6
/proc/5462/task/5463/stat : 5463 (java) R 5460 5460 3331 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 15 0 410464219 15508242432 10080 33554432000 4194304 4196468 140722621485440 140420019454432 140420015234454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5464] ppid=5460 vsize=15144768 memory=3472468532182979792 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5464/stat : 5464 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15508242432 10080 33554432000 4194304 4196468 140722621485440 140419943262608 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5465] ppid=5460 vsize=15144768 memory=140403287828096 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5465/stat : 5465 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15508242432 10080 33554432000 4194304 4196468 140722621485440 140419942209808 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5466] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5466/stat : 5466 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15508242432 10080 33554432000 4194304 4196468 140722621485440 140419941157520 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5467] ppid=5460 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5467/stat : 5467 (java) S 5460 5460 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410464220 15508242432 10080 33554432000 4194304 4196468 140722621485440 140419940104720 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5468] ppid=5460 vsize=15144768 memory=140403287828096 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5468/stat : 5468 (java) S 5460 5460 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410464221 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418889300592 140420015233666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5469] ppid=5460 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5469/stat : 5469 (java) S 5460 5460 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410464222 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418888246560 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5470] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5470/stat : 5470 (java) S 5460 5460 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410464222 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418887194224 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5471] ppid=5460 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5471/stat : 5471 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410464225 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418886142544 140420015241115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5472] ppid=5460 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5462/task/5472/stat : 5472 (java) R 5460 5460 3331 0 -1 1077944384 573 0 0 0 3 0 0 0 20 0 15 0 410464225 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418885089392 140420015233666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5473] ppid=5460 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5462/task/5473/stat : 5473 (java) S 5460 5460 3331 0 -1 1077944384 62 0 0 0 2 0 0 0 20 0 15 0 410464225 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418884036592 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5474] ppid=5460 vsize=15144768 memory=140403287828096 CPUtime=0.08 cores=0,2,4,6
/proc/5462/task/5474/stat : 5474 (java) R 5460 5460 3331 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 15 0 410464225 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418882984304 140419994231067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5475] ppid=5460 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5475/stat : 5475 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410464225 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418881931744 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5476] ppid=5460 vsize=15144768 memory=140403287828096 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5476/stat : 5476 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464225 15508242432 10080 33554432000 4194304 4196468 140722621485440 140418880879536 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41768 KiB
[startup+0.311438 s]*
/proc/loadavg: 8.28 8.61 7.53 8/234 5476
/proc/meminfo: memFree=18847392/32770624 swapFree=66959216/67108860
[pid=5460] ppid=5457 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5460/stat : 5460 (xcsp3-exec) S 5457 5460 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410464219 115843072 362 33554432000 4194304 5098028 140726181126592 140726181124696 139980785451644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33759232 140726181135227 140726181135469 140726181135469 140726181138378 0
/proc/5460/statm: 28282 362 304 221 0 87 0
[pid=5462] ppid=5460 vsize=15149024 memory=49828 CPUtime=0.53 cores=0,2,4,6
/proc/5462/stat : 5462 (java) S 5460 5460 3331 0 -1 1077944320 10801 0 0 0 49 4 0 0 20 0 15 0 410464219 15512600576 12457 33554432000 4194304 4196468 140722621485440 140722621467984 140420015222519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
/proc/5462/statm: 3787256 12457 3374 1 0 3748377 0
[pid=5462/tid=5463] ppid=5460 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/5462/task/5463/stat : 5463 (java) R 5460 5460 3331 0 -1 4202560 7777 0 0 0 27 3 0 0 20 0 15 0 410464219 15512600576 12457 33554432000 4194304 4196468 140722621485440 140420019453632 140419999303006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5464] ppid=5460 vsize=15149024 memory=3472468532182979792 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5464/stat : 5464 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15512600576 12457 33554432000 4194304 4196468 140722621485440 140419943262608 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5465] ppid=5460 vsize=15149024 memory=140403287828096 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5465/stat : 5465 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15512600576 12457 33554432000 4194304 4196468 140722621485440 140419942209808 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5466] ppid=5460 vsize=15149024 memory=5 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5466/stat : 5466 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464220 15512600576 12457 33554432000 4194304 4196468 140722621485440 140419941157520 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5467] ppid=5460 vsize=15149024 memory=140403152136223 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5467/stat : 5467 (java) S 5460 5460 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410464220 15512600576 12457 33554432000 4194304 4196468 140722621485440 140419940104720 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5468] ppid=5460 vsize=15149024 memory=280806304251680 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5468/stat : 5468 (java) S 5460 5460 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410464221 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418889300592 140420015233666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5469] ppid=5460 vsize=15149024 memory=140403152113167 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5469/stat : 5469 (java) S 5460 5460 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410464222 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418888246560 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5470] ppid=5460 vsize=15149024 memory=280806439950432 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5470/stat : 5470 (java) S 5460 5460 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410464222 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418887194224 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5471] ppid=5460 vsize=15149024 memory=140403152117775 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5471/stat : 5471 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410464225 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418886142544 140420015241115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5472] ppid=5460 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5462/task/5472/stat : 5472 (java) S 5460 5460 3331 0 -1 1077944384 634 0 0 0 5 0 0 0 20 0 15 0 410464225 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418885089392 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5473] ppid=5460 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/5462/task/5473/stat : 5473 (java) R 5460 5460 3331 0 -1 4202560 180 0 0 0 4 0 0 0 20 0 15 0 410464225 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418884017704 140419996747578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5474] ppid=5460 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5462/task/5474/stat : 5474 (java) S 5460 5460 3331 0 -1 1077944384 918 0 0 0 12 0 0 0 20 0 15 0 410464225 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418882984304 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5475] ppid=5460 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5475/stat : 5475 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410464225 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418881931744 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5476] ppid=5460 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5476/stat : 5476 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410464225 15512600576 12457 33554432000 4194304 4196468 140722621485440 140418880879536 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51276 KiB
[startup+0.701363 s]
/proc/loadavg: 8.28 8.61 7.53 10/234 5476
/proc/meminfo: memFree=18834076/32770624 swapFree=66959216/67108860
[pid=5460] ppid=5457 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5460/stat : 5460 (xcsp3-exec) S 5457 5460 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410464219 115843072 362 33554432000 4194304 5098028 140726181126592 140726181124696 139980785451644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33759232 140726181135227 140726181135469 140726181135469 140726181138378 0
/proc/5460/statm: 28282 362 304 221 0 87 0
[pid=5462] ppid=5460 vsize=15417404 memory=103872 CPUtime=1.66 cores=0,2,4,6
/proc/5462/stat : 5462 (java) S 5460 5460 3331 0 -1 1077944320 14252 0 0 0 159 7 0 0 20 0 19 0 410464219 15787421696 25968 33554432000 4194304 4196468 140722621485440 140722621467984 140420015222519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
/proc/5462/statm: 3854351 25968 3461 1 0 3815453 0
[pid=5462/tid=5463] ppid=5460 vsize=15417404 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/5462/task/5463/stat : 5463 (java) S 5460 5460 3331 0 -1 1077944384 9142 0 0 0 59 4 0 0 20 0 19 0 410464219 15787421696 25968 33554432000 4194304 4196468 140722621485440 140420019463296 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5464] ppid=5460 vsize=15417404 memory=56 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5464/stat : 5464 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410464220 15787421696 25968 33554432000 4194304 4196468 140722621485440 140419943262608 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5465] ppid=5460 vsize=15417404 memory=7238798801035015221 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5465/stat : 5465 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410464220 15787421696 25968 33554432000 4194304 4196468 140722621485440 140419942209808 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5466] ppid=5460 vsize=15417404 memory=7012755875661107283 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5466/stat : 5466 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410464220 15787421696 25968 33554432000 4194304 4196468 140722621485440 140419941157520 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5467] ppid=5460 vsize=15417404 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5467/stat : 5467 (java) S 5460 5460 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 410464220 15787421696 25968 33554432000 4194304 4196468 140722621485440 140419940104720 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5468] ppid=5460 vsize=15417404 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5468/stat : 5468 (java) S 5460 5460 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 410464221 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418889300592 140420015233666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5469] ppid=5460 vsize=15417404 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5469/stat : 5469 (java) S 5460 5460 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410464222 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418888246560 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5470] ppid=5460 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5470/stat : 5470 (java) S 5460 5460 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 410464222 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418887194224 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5471] ppid=5460 vsize=15417404 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5471/stat : 5471 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410464225 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418886142544 140420015241115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5472] ppid=5460 vsize=15417404 memory=5964 CPUtime=0.25 cores=0,2,4,6
/proc/5462/task/5472/stat : 5472 (java) R 5460 5460 3331 0 -1 4202560 1060 0 0 0 25 0 0 0 20 0 19 0 410464225 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418885075936 140419998633413 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5473] ppid=5460 vsize=15417404 memory=1060 CPUtime=0.26 cores=0,2,4,6
/proc/5462/task/5473/stat : 5473 (java) R 5460 5460 3331 0 -1 4202560 633 0 0 0 26 0 0 0 20 0 19 0 410464225 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418884026384 140419999129251 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5474] ppid=5460 vsize=15417404 memory=2828 CPUtime=0.39 cores=0,2,4,6
/proc/5462/task/5474/stat : 5474 (java) S 5460 5460 3331 0 -1 1077944384 1826 0 0 0 38 1 0 0 20 0 19 0 410464225 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418882984304 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5475] ppid=5460 vsize=15417404 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5475/stat : 5475 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410464225 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418881931744 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5476] ppid=5460 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5476/stat : 5476 (java) S 5460 5460 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410464225 15787421696 25968 33554432000 4194304 4196468 140722621485440 140418880879536 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 105320 KiB
[startup+1.50636 s]
/proc/loadavg: 8.28 8.61 7.53 11/238 5488
/proc/meminfo: memFree=18780048/32770624 swapFree=66959216/67108860
[pid=5460] ppid=5457 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5460/stat : 5460 (xcsp3-exec) S 5457 5460 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410464219 115843072 362 33554432000 4194304 5098028 140726181126592 140726181124696 139980785451644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33759232 140726181135227 140726181135469 140726181135469 140726181138378 0
/proc/5460/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/5462/task/5476/stat : 5476 (java) S 5460 5460 3331 0 -1 1077944384 854 0 0 0 0 4 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418880879536 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5504] ppid=5460 vsize=15551560 memory=3848 CPUtime=17.43 cores=0,2,4,6
/proc/5462/task/5504/stat : 5504 (java) R 5460 5460 3331 0 -1 4202560 290 0 0 0 1743 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418871671584 140419615280299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5505] ppid=5460 vsize=15551560 memory=4100 CPUtime=17.36 cores=0,2,4,6
/proc/5462/task/5505/stat : 5505 (java) R 5460 5460 3331 0 -1 4202560 14682 0 0 0 1734 2 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418865355616 140419616202666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5506] ppid=5460 vsize=15551560 memory=2584 CPUtime=17.41 cores=0,2,4,6
/proc/5462/task/5506/stat : 5506 (java) R 5460 5460 3331 0 -1 4202560 288 0 0 0 1741 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418867462920 140419615287928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5507] ppid=5460 vsize=15551560 memory=2588 CPUtime=17.14 cores=0,2,4,6
/proc/5462/task/5507/stat : 5507 (java) R 5460 5460 3331 0 -1 4202560 899 0 0 0 1714 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418866409656 140419615604261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
Current children cumulated CPU time: 713.69 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 1588400 KiB
[startup+180.401 s]
/proc/loadavg: 8.41 8.45 7.65 9/238 5510
/proc/meminfo: memFree=16785488/32770624 swapFree=66959216/67108860
[pid=5460] ppid=5457 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5460/stat : 5460 (xcsp3-exec) S 5457 5460 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410464219 115843072 362 33554432000 4194304 5098028 140726181126592 140726181124696 139980785451644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33759232 140726181135227 140726181135469 140726181135469 140726181138378 0
/proc/5460/statm: 28282 362 304 221 0 87 0
[pid=5462] ppid=5460 vsize=15551560 memory=1586952 CPUtime=715.25 cores=0,2,4,6
/proc/5462/stat : 5462 (java) S 5460 5460 3331 0 -1 1077944320 90514 0 0 0 71441 84 0 0 20 0 19 0 410464219 15924797440 396738 33554432000 4194304 4196468 140722621485440 140722621467984 140420015222519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
/proc/5462/statm: 3887890 396738 3524 1 0 3848992 0
[pid=5462/tid=5463] ppid=5460 vsize=15551560 memory=1586952 CPUtime=0.64 cores=0,2,4,6
/proc/5462/task/5463/stat : 5463 (java) S 5460 5460 3331 0 -1 1077944384 9187 0 0 0 60 4 0 0 20 0 19 0 410464219 15924797440 396738 33554432000 4194304 4196468 140722621485440 140420019463296 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5464] ppid=5460 vsize=15551560 memory=2008 CPUtime=0.77 cores=0,2,4,6
/proc/5462/task/5464/stat : 5464 (java) S 5460 5460 3331 0 -1 1077944384 1664 0 0 0 66 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419943262608 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5465] ppid=5460 vsize=15551560 memory=1436 CPUtime=0.76 cores=0,2,4,6
/proc/5462/task/5465/stat : 5465 (java) S 5460 5460 3331 0 -1 1077944384 2052 0 0 0 65 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419942209808 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5466] ppid=5460 vsize=15551560 memory=824 CPUtime=0.78 cores=0,2,4,6
/proc/5462/task/5466/stat : 5466 (java) S 5460 5460 3331 0 -1 1077944384 2321 0 0 0 66 12 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419941157520 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5467] ppid=5460 vsize=15551560 memory=1436 CPUtime=0.77 cores=0,2,4,6
/proc/5462/task/5467/stat : 5467 (java) S 5460 5460 3331 0 -1 1077944384 2883 0 0 0 66 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419940104720 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5468] ppid=5460 vsize=15551560 memory=1984 CPUtime=0.32 cores=0,2,4,6
/proc/5462/task/5468/stat : 5468 (java) S 5460 5460 3331 0 -1 1077944384 5581 0 0 0 24 8 0 0 20 0 19 0 410464221 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418889300592 140420015233666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5469] ppid=5460 vsize=15551560 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5469/stat : 5469 (java) S 5460 5460 3331 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 410464222 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418888246624 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5470] ppid=5460 vsize=15551560 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5470/stat : 5470 (java) S 5460 5460 3331 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 410464222 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418887194240 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5471] ppid=5460 vsize=15551560 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5471/stat : 5471 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418886142544 140420015241115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5472] ppid=5460 vsize=15551560 memory=800 CPUtime=1.43 cores=0,2,4,6
/proc/5462/task/5472/stat : 5472 (java) S 5460 5460 3331 0 -1 1077944384 11849 0 0 0 142 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418885089392 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5473] ppid=5460 vsize=15551560 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/5462/task/5473/stat : 5473 (java) S 5460 5460 3331 0 -1 1077944384 10033 0 0 0 124 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418884036592 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5474] ppid=5460 vsize=15551560 memory=6944656575208382560 CPUtime=0.56 cores=0,2,4,6
/proc/5462/task/5474/stat : 5474 (java) S 5460 5460 3331 0 -1 1077944384 5077 0 0 0 55 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418882984304 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5475] ppid=5460 vsize=15551560 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5475/stat : 5475 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418881931744 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5476] ppid=5460 vsize=15551560 memory=-2895008908443480685 CPUtime=0.04 cores=0,2,4,6
/proc/5462/task/5476/stat : 5476 (java) S 5460 5460 3331 0 -1 1077944384 854 0 0 0 0 4 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418880879536 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5504] ppid=5460 vsize=15551560 memory=6944652177228980320 CPUtime=17.82 cores=0,2,4,6
/proc/5462/task/5504/stat : 5504 (java) R 5460 5460 3331 0 -1 4202560 290 0 0 0 1782 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418871671584 140419615280224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5505] ppid=5460 vsize=15551560 memory=6944656592455360604 CPUtime=17.75 cores=0,2,4,6
/proc/5462/task/5505/stat : 5505 (java) R 5460 5460 3331 0 -1 4202560 14707 0 0 0 1773 2 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418865355616 140419616140744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5506] ppid=5460 vsize=15551560 memory=6944652177228980320 CPUtime=17.8 cores=0,2,4,6
/proc/5462/task/5506/stat : 5506 (java) R 5460 5460 3331 0 -1 4202560 288 0 0 0 1780 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418867462920 140419615287730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5507] ppid=5460 vsize=15551560 memory=6944656592455097440 CPUtime=17.53 cores=0,2,4,6
/proc/5462/task/5507/stat : 5507 (java) R 5460 5460 3331 0 -1 4202560 900 0 0 0 1753 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418866409656 140419615287680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
Current children cumulated CPU time: 715.25 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 1588400 KiB
[startup+180.801 s]
/proc/loadavg: 8.41 8.45 7.65 9/238 5510
/proc/meminfo: memFree=16785488/32770624 swapFree=66959216/67108860
[pid=5460] ppid=5457 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5460/stat : 5460 (xcsp3-exec) S 5457 5460 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410464219 115843072 362 33554432000 4194304 5098028 140726181126592 140726181124696 139980785451644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33759232 140726181135227 140726181135469 140726181135469 140726181138378 0
/proc/5460/statm: 28282 362 304 221 0 87 0
[pid=5462] ppid=5460 vsize=15551560 memory=1586952 CPUtime=716.84 cores=0,2,4,6
/proc/5462/stat : 5462 (java) S 5460 5460 3331 0 -1 1077944320 90553 0 0 0 71600 84 0 0 20 0 19 0 410464219 15924797440 396738 33554432000 4194304 4196468 140722621485440 140722621467984 140420015222519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
/proc/5462/statm: 3887890 396738 3524 1 0 3848992 0
[pid=5462/tid=5463] ppid=5460 vsize=15551560 memory=8112282956445269571 CPUtime=0.64 cores=0,2,4,6
/proc/5462/task/5463/stat : 5463 (java) S 5460 5460 3331 0 -1 1077944384 9187 0 0 0 60 4 0 0 20 0 19 0 410464219 15924797440 396738 33554432000 4194304 4196468 140722621485440 140420019463296 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5464] ppid=5460 vsize=15551560 memory=8112282956445269571 CPUtime=0.77 cores=0,2,4,6
/proc/5462/task/5464/stat : 5464 (java) S 5460 5460 3331 0 -1 1077944384 1664 0 0 0 66 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419943262608 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5465] ppid=5460 vsize=15551560 memory=1586952 CPUtime=0.76 cores=0,2,4,6
/proc/5462/task/5465/stat : 5465 (java) S 5460 5460 3331 0 -1 1077944384 2052 0 0 0 65 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419942209808 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5466] ppid=5460 vsize=15551560 memory=2124 CPUtime=0.78 cores=0,2,4,6
/proc/5462/task/5466/stat : 5466 (java) S 5460 5460 3331 0 -1 1077944384 2321 0 0 0 66 12 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419941157520 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5467] ppid=5460 vsize=15551560 memory=500 CPUtime=0.77 cores=0,2,4,6
/proc/5462/task/5467/stat : 5467 (java) S 5460 5460 3331 0 -1 1077944384 2883 0 0 0 66 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419940104720 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5468] ppid=5460 vsize=15551560 memory=1556 CPUtime=0.32 cores=0,2,4,6
/proc/5462/task/5468/stat : 5468 (java) S 5460 5460 3331 0 -1 1077944384 5581 0 0 0 24 8 0 0 20 0 19 0 410464221 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418889300592 140420015233666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5469] ppid=5460 vsize=15551560 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5469/stat : 5469 (java) S 5460 5460 3331 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 410464222 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418888246624 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5470] ppid=5460 vsize=15551560 memory=1586896 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5470/stat : 5470 (java) S 5460 5460 3331 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 410464222 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418887194240 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5471] ppid=5460 vsize=15551560 memory=1578704 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5471/stat : 5471 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418886142544 140420015241115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5472] ppid=5460 vsize=15551560 memory=824 CPUtime=1.43 cores=0,2,4,6
/proc/5462/task/5472/stat : 5472 (java) S 5460 5460 3331 0 -1 1077944384 11849 0 0 0 142 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418885089392 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5473] ppid=5460 vsize=15551560 memory=1436 CPUtime=1.25 cores=0,2,4,6
/proc/5462/task/5473/stat : 5473 (java) S 5460 5460 3331 0 -1 1077944384 10033 0 0 0 124 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418884036592 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5474] ppid=5460 vsize=15551560 memory=1984 CPUtime=0.56 cores=0,2,4,6
/proc/5462/task/5474/stat : 5474 (java) S 5460 5460 3331 0 -1 1077944384 5077 0 0 0 55 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418882984304 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5475] ppid=5460 vsize=15551560 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5475/stat : 5475 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418881931744 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5476] ppid=5460 vsize=15551560 memory=1586952 CPUtime=0.04 cores=0,2,4,6
/proc/5462/task/5476/stat : 5476 (java) S 5460 5460 3331 0 -1 1077944384 854 0 0 0 0 4 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418880879536 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5504] ppid=5460 vsize=15551560 memory=38684 CPUtime=18.22 cores=0,2,4,6
/proc/5462/task/5504/stat : 5504 (java) R 5460 5460 3331 0 -1 4202560 291 0 0 0 1822 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418871671584 140419615287803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5505] ppid=5460 vsize=15551560 memory=988 CPUtime=18.15 cores=0,2,4,6
/proc/5462/task/5505/stat : 5505 (java) R 5460 5460 3331 0 -1 4202560 14740 0 0 0 1813 2 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418865355616 140419616202987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5506] ppid=5460 vsize=15551560 memory=2008 CPUtime=18.2 cores=0,2,4,6
/proc/5462/task/5506/stat : 5506 (java) R 5460 5460 3331 0 -1 4202560 291 0 0 0 1820 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418867462920 140419615287834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5507] ppid=5460 vsize=15551560 memory=1436 CPUtime=17.93 cores=0,2,4,6
/proc/5462/task/5507/stat : 5507 (java) R 5460 5460 3331 0 -1 4202560 902 0 0 0 1793 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418866409656 140419615603784 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
Current children cumulated CPU time: 716.84 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 1588400 KiB
[startup+180.901 s]
/proc/loadavg: 8.41 8.45 7.65 9/238 5510
/proc/meminfo: memFree=16785488/32770624 swapFree=66959216/67108860
[pid=5460] ppid=5457 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5460/stat : 5460 (xcsp3-exec) S 5457 5460 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410464219 115843072 362 33554432000 4194304 5098028 140726181126592 140726181124696 139980785451644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33759232 140726181135227 140726181135469 140726181135469 140726181138378 0
/proc/5460/statm: 28282 362 304 221 0 87 0
[pid=5462] ppid=5460 vsize=15551560 memory=1586952 CPUtime=717.11 cores=0,2,4,6
/proc/5462/stat : 5462 (java) S 5460 5460 3331 0 -1 1077944320 90698 0 0 0 71627 84 0 0 20 0 19 0 410464219 15924797440 396738 33554432000 4194304 4196468 140722621485440 140722621467984 140420015222519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
/proc/5462/statm: 3887890 396738 3524 1 0 3848992 0
[pid=5462/tid=5463] ppid=5460 vsize=15551560 memory=1586952 CPUtime=0.64 cores=0,2,4,6
/proc/5462/task/5463/stat : 5463 (java) S 5460 5460 3331 0 -1 1077944384 9187 0 0 0 60 4 0 0 20 0 19 0 410464219 15924797440 396738 33554432000 4194304 4196468 140722621485440 140420019463296 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5464] ppid=5460 vsize=15551560 memory=1586952 CPUtime=0.77 cores=0,2,4,6
/proc/5462/task/5464/stat : 5464 (java) S 5460 5460 3331 0 -1 1077944384 1664 0 0 0 66 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419943262608 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5465] ppid=5460 vsize=15551560 memory=1586952 CPUtime=0.76 cores=0,2,4,6
/proc/5462/task/5465/stat : 5465 (java) S 5460 5460 3331 0 -1 1077944384 2052 0 0 0 65 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419942209808 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5466] ppid=5460 vsize=15551560 memory=1448 CPUtime=0.78 cores=0,2,4,6
/proc/5462/task/5466/stat : 5466 (java) S 5460 5460 3331 0 -1 1077944384 2321 0 0 0 66 12 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419941157520 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5467] ppid=5460 vsize=15551560 memory=8112282956445269571 CPUtime=0.77 cores=0,2,4,6
/proc/5462/task/5467/stat : 5467 (java) S 5460 5460 3331 0 -1 1077944384 2883 0 0 0 66 11 0 0 20 0 19 0 410464220 15924797440 396738 33554432000 4194304 4196468 140722621485440 140419940104720 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5468] ppid=5460 vsize=15551560 memory=1720 CPUtime=0.32 cores=0,2,4,6
/proc/5462/task/5468/stat : 5468 (java) S 5460 5460 3331 0 -1 1077944384 5581 0 0 0 24 8 0 0 20 0 19 0 410464221 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418889300592 140420015233666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5469] ppid=5460 vsize=15551560 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5469/stat : 5469 (java) S 5460 5460 3331 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 410464222 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418888246624 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5470] ppid=5460 vsize=15551560 memory=1404028 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5470/stat : 5470 (java) S 5460 5460 3331 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 410464222 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418887194240 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5471] ppid=5460 vsize=15551560 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5471/stat : 5471 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418886142544 140420015241115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5472] ppid=5460 vsize=15551560 memory=1448 CPUtime=1.43 cores=0,2,4,6
/proc/5462/task/5472/stat : 5472 (java) S 5460 5460 3331 0 -1 1077944384 11849 0 0 0 142 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418885089392 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5473] ppid=5460 vsize=15551560 memory=1448 CPUtime=1.25 cores=0,2,4,6
/proc/5462/task/5473/stat : 5473 (java) S 5460 5460 3331 0 -1 1077944384 10033 0 0 0 124 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418884036592 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5474] ppid=5460 vsize=15551560 memory=1578672 CPUtime=0.56 cores=0,2,4,6
/proc/5462/task/5474/stat : 5474 (java) S 5460 5460 3331 0 -1 1077944384 5077 0 0 0 55 1 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418882984304 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5475] ppid=5460 vsize=15551560 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5462/task/5475/stat : 5475 (java) S 5460 5460 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418881931744 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5476] ppid=5460 vsize=15551560 memory=1578704 CPUtime=0.04 cores=0,2,4,6
/proc/5462/task/5476/stat : 5476 (java) S 5460 5460 3331 0 -1 1077944384 854 0 0 0 0 4 0 0 20 0 19 0 410464225 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418880879536 140420015233666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5504] ppid=5460 vsize=15551560 memory=1448 CPUtime=18.28 cores=0,2,4,6
/proc/5462/task/5504/stat : 5504 (java) S 5460 5460 3331 0 -1 1077944384 379 0 0 0 1828 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418871672560 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5505] ppid=5460 vsize=15551560 memory=1578704 CPUtime=18.25 cores=0,2,4,6
/proc/5462/task/5505/stat : 5505 (java) R 5460 5460 3331 0 -1 4202560 14749 0 0 0 1823 2 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418865355616 140419616202574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5506] ppid=5460 vsize=15551560 memory=3620 CPUtime=18.26 cores=0,2,4,6
/proc/5462/task/5506/stat : 5506 (java) S 5460 5460 3331 0 -1 1077944384 320 0 0 0 1826 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418867463632 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
[pid=5462/tid=5507] ppid=5460 vsize=15551560 memory=1660 CPUtime=17.98 cores=0,2,4,6
/proc/5462/task/5507/stat : 5507 (java) S 5460 5460 3331 0 -1 1077944384 921 0 0 0 1798 0 0 0 20 0 19 0 410480475 15924797440 396738 33554432000 4194304 4196468 140722621485440 140418866410320 140420015232725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29020160 140722621490159 140722621490330 140722621490330 140722621493199 0
Current children cumulated CPU time: 717.11 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 1588400 KiB
Child status: 0
Real time (s): 180.917
CPU time (s): 717.138
CPU user time (s): 716.278
CPU system time (s): 0.859738
CPU usage (%): 396.39
Max. virtual memory (cumulated for all children) (KiB): 15666708
Max. memory (cumulated for all children) (KiB): 1588400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 716.278
system time used= 0.859738
maximum resident set size= 1586952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92087
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12990
involuntary context switches= 15569
# summary of solver processes directly reported to runsolver:
# pid: 5460
# total CPU time (s): 717.138
# total CPU user time (s): 716.278
# total CPU system time (s): 0.859738
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1895 second user time and 2.08718 second system time
The end