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 (4816 MiB free)
memory of node 1: 16384 MiB (3564 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403538-1568993142/watcher-4403538-1568993142 -o /var/tmp/evaluation-result-4403538-1568993142/solver-4403538-1568993142 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568990707-4812 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 24923778 HOME/instance-4403538-1568993142.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7395, runsolver pid=7392
[startup+0.101867 s]*
/proc/loadavg: 7.83 8.23 7.86 6/234 7411
/proc/meminfo: memFree=8563804/32770624 swapFree=66997188/67108860
[pid=7395] ppid=7392 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 4780 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475252530 115843072 364 33554432000 4194304 5098028 140734016739056 140734016737160 139724689252988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19017728 140734016746328 140734016746585 140734016746585 140734016749510 0
/proc/7395/statm: 28282 364 305 221 0 87 0
[pid=7397] ppid=7395 vsize=15144776 memory=30192 CPUtime=0.14 cores=1,3,5,7
/proc/7397/stat : 7397 (java) S 7395 7395 4780 0 -1 1077944320 5463 0 0 0 13 1 0 0 20 0 15 0 475252531 15508250624 7548 33554432000 4194304 4196468 140725388341504 140725388324048 140546859536119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
/proc/7397/statm: 3786194 7548 3151 1 0 3748377 0
[pid=7397/tid=7398] ppid=7395 vsize=15144776 memory=8260629344994693979 CPUtime=0.09 cores=1,3,5,7
/proc/7397/task/7398/stat : 7398 (java) R 7395 7395 4780 0 -1 4202560 3345 0 0 0 9 0 0 0 20 0 15 0 475252531 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546863763280 140546851773246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7399] ppid=7395 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546771192336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7400] ppid=7395 vsize=15144776 memory=140643395483264 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546770139792 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7401] ppid=7395 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546769086736 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7402] ppid=7395 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252532 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546768034192 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7403] ppid=7395 vsize=15144776 memory=140643395483264 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252533 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546328255216 140546859547266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7404] ppid=7395 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475252533 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546327201440 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7405] ppid=7395 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475252534 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546326148336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7406] ppid=7395 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252536 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546325096912 140546859554715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7407] ppid=7395 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7407/stat : 7407 (java) R 7395 7395 4780 0 -1 4202560 373 0 0 0 0 0 0 0 20 0 15 0 475252536 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546324035664 140546845198848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7408] ppid=7395 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7408/stat : 7408 (java) R 7395 7395 4780 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475252536 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546322991568 140546859546325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7409] ppid=7395 vsize=15144776 memory=140643395483264 CPUtime=0.02 cores=1,3,5,7
/proc/7397/task/7409/stat : 7409 (java) R 7395 7395 4780 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 475252536 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546321938416 140546859548054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7410] ppid=7395 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252536 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546320886112 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7411] ppid=7395 vsize=15144776 memory=140643395483264 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7411/stat : 7411 (java) R 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252536 15508250624 7548 33554432000 4194304 4196468 140725388341504 140546319834160 140546859547266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31648 KiB
[startup+0.210967 s]*
/proc/loadavg: 7.83 8.23 7.86 6/234 7411
/proc/meminfo: memFree=8551692/32770624 swapFree=66997188/67108860
[pid=7395] ppid=7392 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 4780 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475252530 115843072 364 33554432000 4194304 5098028 140734016739056 140734016737160 139724689252988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19017728 140734016746328 140734016746585 140734016746585 140734016749510 0
/proc/7395/statm: 28282 364 305 221 0 87 0
[pid=7397] ppid=7395 vsize=15144776 memory=40940 CPUtime=0.34 cores=1,3,5,7
/proc/7397/stat : 7397 (java) S 7395 7395 4780 0 -1 1077944320 8963 0 0 0 31 3 0 0 20 0 15 0 475252531 15508250624 10235 33554432000 4194304 4196468 140725388341504 140725388324048 140546859536119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
/proc/7397/statm: 3786194 10235 3274 1 0 3748377 0
[pid=7397/tid=7398] ppid=7395 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7397/task/7398/stat : 7398 (java) R 7395 7395 4780 0 -1 4202560 6159 0 0 0 18 2 0 0 20 0 15 0 475252531 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546863771104 140546859558045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7399] ppid=7395 vsize=15144776 memory=2128865 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546771192336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7400] ppid=7395 vsize=15144776 memory=140643399084095 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546770139792 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7401] ppid=7395 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546769086736 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7402] ppid=7395 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252532 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546768034192 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7403] ppid=7395 vsize=15144776 memory=140643395483264 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475252533 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546328255216 140546859547266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7404] ppid=7395 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475252533 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546327201440 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7405] ppid=7395 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475252534 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546326148336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7406] ppid=7395 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252536 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546325096912 140546859554715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7407] ppid=7395 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 4780 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 15 0 475252536 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546324044016 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7408] ppid=7395 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 4780 0 -1 1077944384 359 0 0 0 3 0 0 0 20 0 15 0 475252536 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546322991472 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7409] ppid=7395 vsize=15144776 memory=140643395483264 CPUtime=0.08 cores=1,3,5,7
/proc/7397/task/7409/stat : 7409 (java) R 7395 7395 4780 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 15 0 475252536 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546321938416 140546851773246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7410] ppid=7395 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252536 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546320886112 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7411] ppid=7395 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252536 15508250624 10235 33554432000 4194304 4196468 140725388341504 140546319834160 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42396 KiB
[startup+0.315935 s]*
/proc/loadavg: 7.83 8.23 7.86 6/234 7411
/proc/meminfo: memFree=8545020/32770624 swapFree=66997188/67108860
[pid=7395] ppid=7392 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 4780 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475252530 115843072 364 33554432000 4194304 5098028 140734016739056 140734016737160 139724689252988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19017728 140734016746328 140734016746585 140734016746585 140734016749510 0
/proc/7395/statm: 28282 364 305 221 0 87 0
[pid=7397] ppid=7395 vsize=15149032 memory=49928 CPUtime=0.52 cores=1,3,5,7
/proc/7397/stat : 7397 (java) S 7395 7395 4780 0 -1 1077944320 10282 0 0 0 48 4 0 0 20 0 15 0 475252531 15512608768 12482 33554432000 4194304 4196468 140725388341504 140725388324048 140546859536119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
/proc/7397/statm: 3787258 12482 3345 1 0 3748377 0
[pid=7397/tid=7398] ppid=7395 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/7397/task/7398/stat : 7398 (java) R 7395 7395 4780 0 -1 4202560 7366 0 0 0 27 3 0 0 20 0 15 0 475252531 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546863771056 140546859558045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7399] ppid=7395 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546771192336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7400] ppid=7395 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546770139792 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7401] ppid=7395 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252532 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546769086736 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7402] ppid=7395 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252532 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546768034192 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7403] ppid=7395 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475252533 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546328255216 140546859547266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7404] ppid=7395 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475252533 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546327201440 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7405] ppid=7395 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475252534 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546326148336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7406] ppid=7395 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252536 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546325096912 140546859554715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7407] ppid=7395 vsize=15149032 memory=8325818968683490714 CPUtime=0.03 cores=1,3,5,7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 4780 0 -1 1077944384 419 0 0 0 3 0 0 0 20 0 15 0 475252536 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546324044016 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7408] ppid=7395 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 4780 0 -1 1077944384 368 0 0 0 4 0 0 0 20 0 15 0 475252536 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546322991472 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7409] ppid=7395 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 4780 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 15 0 475252536 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546321938416 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7410] ppid=7395 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252536 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546320886112 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7411] ppid=7395 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252536 15512608768 12490 33554432000 4194304 4196468 140725388341504 140546319834160 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51384 KiB
[startup+0.706121 s]
/proc/loadavg: 7.83 8.23 7.86 10/234 7411
/proc/meminfo: memFree=8523524/32770624 swapFree=66997188/67108860
[pid=7395] ppid=7392 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 4780 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475252530 115843072 364 33554432000 4194304 5098028 140734016739056 140734016737160 139724689252988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19017728 140734016746328 140734016746585 140734016746585 140734016749510 0
/proc/7395/statm: 28282 364 305 221 0 87 0
[pid=7397] ppid=7395 vsize=15417412 memory=94104 CPUtime=1.75 cores=1,3,5,7
/proc/7397/stat : 7397 (java) S 7395 7395 4780 0 -1 1077944320 14269 0 0 0 169 6 0 0 20 0 19 0 475252531 15787429888 23526 33554432000 4194304 4196468 140725388341504 140725388324048 140546859536119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
/proc/7397/statm: 3854353 23526 3455 1 0 3815453 0
[pid=7397/tid=7398] ppid=7395 vsize=15417412 memory=33 CPUtime=0.55 cores=1,3,5,7
/proc/7397/task/7398/stat : 7398 (java) S 7395 7395 4780 0 -1 1077944384 8552 0 0 0 52 3 0 0 20 0 19 0 475252531 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546863776896 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7399] ppid=7395 vsize=15417412 memory=288230608904420306 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475252532 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546771192336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7400] ppid=7395 vsize=15417412 memory=14690786136597550 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475252532 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546770139792 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7401] ppid=7395 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475252532 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546769086736 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7402] ppid=7395 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475252532 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546768034192 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7403] ppid=7395 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 4780 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475252533 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546328255216 140546859547266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7404] ppid=7395 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475252533 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546327201440 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7405] ppid=7395 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475252534 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546326148336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7406] ppid=7395 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546325096912 140546859554715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7407] ppid=7395 vsize=15417412 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/7397/task/7407/stat : 7407 (java) R 7395 7395 4780 0 -1 4202560 1238 0 0 0 31 0 0 0 20 0 19 0 475252536 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546324033616 140546838782516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7408] ppid=7395 vsize=15417412 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 4780 0 -1 1077944384 1130 0 0 0 24 0 0 0 20 0 19 0 475252536 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546322976464 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7409] ppid=7395 vsize=15417412 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 4780 0 -1 1077944384 1872 0 0 0 34 1 0 0 20 0 19 0 475252536 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546321933184 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7410] ppid=7395 vsize=15417412 memory=7882819330002927716 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546320886112 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7411] ppid=7395 vsize=15417412 memory=7662147333356480620 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 23526 33554432000 4194304 4196468 140725388341504 140546319834160 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 95560 KiB
[startup+1.50094 s]
/proc/loadavg: 7.83 8.23 7.86 12/238 7415
/proc/meminfo: memFree=8489584/32770624 swapFree=66997188/67108860
[pid=7395] ppid=7392 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 4780 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475252530 115843072 364 33554432000 4194304 5098028 140734016739056 140734016737160 139724689252988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19017728 140734016746328 140734016746585 140734016746585 140734016749510 0
/proc/7395/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 4780 0 -1 1077944384 619 0 0 0 0 8 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546319834160 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7412] ppid=7395 vsize=15417412 memory=8112282956445269571 CPUtime=285.7 cores=1,3,5,7
/proc/7397/task/7412/stat : 7412 (java) R 7395 7395 4780 0 -1 4202560 710 0 0 0 28570 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546310614664 140546451409690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7413] ppid=7395 vsize=15417412 memory=143140 CPUtime=284.99 cores=1,3,5,7
/proc/7397/task/7413/stat : 7413 (java) R 7395 7395 4780 0 -1 4202560 2217 0 0 0 28498 1 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546309562400 140546451152407 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7414] ppid=7395 vsize=15417412 memory=1048 CPUtime=285.53 cores=1,3,5,7
/proc/7397/task/7414/stat : 7414 (java) R 7395 7395 4780 0 -1 4202560 893 0 0 0 28553 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546308509904 140546451311631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7415] ppid=7395 vsize=15417412 memory=6016 CPUtime=285.47 cores=1,3,5,7
/proc/7397/task/7415/stat : 7415 (java) R 7395 7395 4780 0 -1 4202560 1948 0 0 0 28547 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546307459664 140546451360313 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
Current children cumulated CPU time: 1147.95 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 145796 KiB
[startup+289.601 s]
/proc/loadavg: 8.46 8.64 8.16 10/237 7521
/proc/meminfo: memFree=6088884/32770624 swapFree=66997188/67108860
[pid=7395] ppid=7392 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 4780 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475252530 115843072 364 33554432000 4194304 5098028 140734016739056 140734016737160 139724689252988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19017728 140734016746328 140734016746585 140734016746585 140734016749510 0
/proc/7395/statm: 28282 364 305 221 0 87 0
[pid=7397] ppid=7395 vsize=15417412 memory=144340 CPUtime=1151.12 cores=1,3,5,7
/proc/7397/stat : 7397 (java) S 7395 7395 4780 0 -1 1077944320 51805 0 0 0 115090 22 0 0 20 0 19 0 475252531 15787429888 36085 33554432000 4194304 4196468 140725388341504 140725388324048 140546859536119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
/proc/7397/statm: 3854353 36085 3532 1 0 3815453 0
[pid=7397/tid=7398] ppid=7395 vsize=15417412 memory=1424 CPUtime=0.55 cores=1,3,5,7
/proc/7397/task/7398/stat : 7398 (java) S 7395 7395 4780 0 -1 1077944384 8552 0 0 0 52 3 0 0 20 0 19 0 475252531 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546863776896 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7399] ppid=7395 vsize=15417412 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 4780 0 -1 1077944384 1275 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546771192336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7400] ppid=7395 vsize=15417412 memory=772 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 4780 0 -1 1077944384 1052 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546770139792 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7401] ppid=7395 vsize=15417412 memory=10596 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 4780 0 -1 1077944384 3245 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546769086736 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7402] ppid=7395 vsize=15417412 memory=1712 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 4780 0 -1 1077944384 2319 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546768034192 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7403] ppid=7395 vsize=15417412 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 4780 0 -1 1077944384 2250 0 0 0 6 2 0 0 20 0 19 0 475252533 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546328255216 140546859547266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7404] ppid=7395 vsize=15417412 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 4780 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 475252533 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546327201504 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7405] ppid=7395 vsize=15417412 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 4780 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 475252534 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546326148352 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7406] ppid=7395 vsize=15417412 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546325096912 140546859554715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7407] ppid=7395 vsize=15417412 memory=2540 CPUtime=2.25 cores=1,3,5,7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 4780 0 -1 1077944384 11291 0 0 0 224 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546324044016 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7408] ppid=7395 vsize=15417412 memory=1760 CPUtime=2.02 cores=1,3,5,7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 4780 0 -1 1077944384 7463 0 0 0 201 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546322991472 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7409] ppid=7395 vsize=15417412 memory=144340 CPUtime=0.59 cores=1,3,5,7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 4780 0 -1 1077944384 6552 0 0 0 58 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546321938416 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7410] ppid=7395 vsize=15417412 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546320886112 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7411] ppid=7395 vsize=15417412 memory=772 CPUtime=0.08 cores=1,3,5,7
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 4780 0 -1 1077944384 619 0 0 0 0 8 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546319834160 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7412] ppid=7395 vsize=15417412 memory=10596 CPUtime=286.49 cores=1,3,5,7
/proc/7397/task/7412/stat : 7412 (java) R 7395 7395 4780 0 -1 4202560 710 0 0 0 28649 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546310614272 140546451312160 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7413] ppid=7395 vsize=15417412 memory=1712 CPUtime=285.79 cores=1,3,5,7
/proc/7397/task/7413/stat : 7413 (java) R 7395 7395 4780 0 -1 4202560 2217 0 0 0 28578 1 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546309562512 140546451410108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7414] ppid=7395 vsize=15417412 memory=988 CPUtime=286.33 cores=1,3,5,7
/proc/7397/task/7414/stat : 7414 (java) R 7395 7395 4780 0 -1 4202560 893 0 0 0 28633 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546308509928 140546451311538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7415] ppid=7395 vsize=15417412 memory=3644 CPUtime=286.25 cores=1,3,5,7
/proc/7397/task/7415/stat : 7415 (java) R 7395 7395 4780 0 -1 4202560 1949 0 0 0 28625 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546307459776 140546451801386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
Current children cumulated CPU time: 1151.12 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 145796 KiB
[startup+290.001 s]*
/proc/loadavg: 8.46 8.64 8.16 10/237 7521
/proc/meminfo: memFree=6089008/32770624 swapFree=66997188/67108860
[pid=7395] ppid=7392 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 4780 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475252530 115843072 364 33554432000 4194304 5098028 140734016739056 140734016737160 139724689252988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19017728 140734016746328 140734016746585 140734016746585 140734016749510 0
/proc/7395/statm: 28282 364 305 221 0 87 0
[pid=7397] ppid=7395 vsize=15417412 memory=144340 CPUtime=1152.74 cores=1,3,5,7
/proc/7397/stat : 7397 (java) S 7395 7395 4780 0 -1 1077944320 51806 0 0 0 115252 22 0 0 20 0 19 0 475252531 15787429888 36085 33554432000 4194304 4196468 140725388341504 140725388324048 140546859536119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
/proc/7397/statm: 3854353 36085 3532 1 0 3815453 0
[pid=7397/tid=7398] ppid=7395 vsize=15417412 memory=8112282956445269571 CPUtime=0.55 cores=1,3,5,7
/proc/7397/task/7398/stat : 7398 (java) S 7395 7395 4780 0 -1 1077944384 8552 0 0 0 52 3 0 0 20 0 19 0 475252531 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546863776896 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7399] ppid=7395 vsize=15417412 memory=4872558044660077418 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 4780 0 -1 1077944384 1275 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546771192336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7400] ppid=7395 vsize=15417412 memory=4872558044660077418 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 4780 0 -1 1077944384 1052 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546770139792 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7401] ppid=7395 vsize=15417412 memory=7681905605394137875 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 4780 0 -1 1077944384 3245 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546769086736 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7402] ppid=7395 vsize=15417412 memory=2129184 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 4780 0 -1 1077944384 2319 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546768034192 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7403] ppid=7395 vsize=15417412 memory=3594091 CPUtime=0.08 cores=1,3,5,7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 4780 0 -1 1077944384 2250 0 0 0 6 2 0 0 20 0 19 0 475252533 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546328255216 140546859547266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7404] ppid=7395 vsize=15417412 memory=7738993309122904172 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 4780 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 475252533 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546327201504 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7405] ppid=7395 vsize=15417412 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 4780 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 475252534 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546326148352 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7406] ppid=7395 vsize=15417412 memory=7738993309122904172 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546325096912 140546859554715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7407] ppid=7395 vsize=15417412 memory=7380671248541445222 CPUtime=2.25 cores=1,3,5,7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 4780 0 -1 1077944384 11291 0 0 0 224 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546324044016 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7408] ppid=7395 vsize=15417412 memory=7810487918915055718 CPUtime=2.02 cores=1,3,5,7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 4780 0 -1 1077944384 7463 0 0 0 201 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546322991472 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7409] ppid=7395 vsize=15417412 memory=4639059895069856102 CPUtime=0.59 cores=1,3,5,7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 4780 0 -1 1077944384 6552 0 0 0 58 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546321938416 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7410] ppid=7395 vsize=15417412 memory=-7385037615359298921 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546320886112 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7411] ppid=7395 vsize=15417412 memory=7681905605394137875 CPUtime=0.08 cores=1,3,5,7
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 4780 0 -1 1077944384 619 0 0 0 0 8 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546319834160 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7412] ppid=7395 vsize=15417412 memory=6943526294502006880 CPUtime=286.89 cores=1,3,5,7
/proc/7397/task/7412/stat : 7412 (java) R 7395 7395 4780 0 -1 4202560 710 0 0 0 28689 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546310614568 140546450143104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7413] ppid=7395 vsize=15417412 memory=6935650355287975249 CPUtime=286.2 cores=1,3,5,7
/proc/7397/task/7413/stat : 7413 (java) R 7395 7395 4780 0 -1 4202560 2217 0 0 0 28619 1 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546309562512 140546451409678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7414] ppid=7395 vsize=15417412 memory=5865491479076426066 CPUtime=286.74 cores=1,3,5,7
/proc/7397/task/7414/stat : 7414 (java) R 7395 7395 4780 0 -1 4202560 893 0 0 0 28674 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546308510008 140546451409474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7415] ppid=7395 vsize=15417412 memory=5788930165031592000 CPUtime=286.66 cores=1,3,5,7
/proc/7397/task/7415/stat : 7415 (java) R 7395 7395 4780 0 -1 4202560 1950 0 0 0 28666 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546307459776 140546451311734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
Current children cumulated CPU time: 1152.74 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 145796 KiB
[startup+290.112 s]
/proc/loadavg: 8.46 8.64 8.16 10/237 7521
/proc/meminfo: memFree=6089008/32770624 swapFree=66997188/67108860
[pid=7395] ppid=7392 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7395/stat : 7395 (xcsp3-exec) S 7392 7395 4780 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475252530 115843072 364 33554432000 4194304 5098028 140734016739056 140734016737160 139724689252988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19017728 140734016746328 140734016746585 140734016746585 140734016749510 0
/proc/7395/statm: 28282 364 305 221 0 87 0
[pid=7397] ppid=7395 vsize=15417412 memory=144340 CPUtime=1153.15 cores=1,3,5,7
/proc/7397/stat : 7397 (java) S 7395 7395 4780 0 -1 1077944320 51806 0 0 0 115293 22 0 0 20 0 19 0 475252531 15787429888 36085 33554432000 4194304 4196468 140725388341504 140725388324048 140546859536119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
/proc/7397/statm: 3854353 36085 3532 1 0 3815453 0
[pid=7397/tid=7398] ppid=7395 vsize=15417412 memory=144340 CPUtime=0.55 cores=1,3,5,7
/proc/7397/task/7398/stat : 7398 (java) S 7395 7395 4780 0 -1 1077944384 8552 0 0 0 52 3 0 0 20 0 19 0 475252531 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546863776896 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7399] ppid=7395 vsize=15417412 memory=144340 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7399/stat : 7399 (java) S 7395 7395 4780 0 -1 1077944384 1275 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546771192336 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7400] ppid=7395 vsize=15417412 memory=144340 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7400/stat : 7400 (java) S 7395 7395 4780 0 -1 1077944384 1052 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546770139792 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7401] ppid=7395 vsize=15417412 memory=144340 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7401/stat : 7401 (java) S 7395 7395 4780 0 -1 1077944384 3245 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546769086736 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7402] ppid=7395 vsize=15417412 memory=1456 CPUtime=0.14 cores=1,3,5,7
/proc/7397/task/7402/stat : 7402 (java) S 7395 7395 4780 0 -1 1077944384 2319 0 0 0 12 2 0 0 20 0 19 0 475252532 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546768034192 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7403] ppid=7395 vsize=15417412 memory=2 CPUtime=0.08 cores=1,3,5,7
/proc/7397/task/7403/stat : 7403 (java) S 7395 7395 4780 0 -1 1077944384 2250 0 0 0 6 2 0 0 20 0 19 0 475252533 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546328255216 140546859547266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7404] ppid=7395 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7404/stat : 7404 (java) S 7395 7395 4780 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 475252533 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546327201504 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7405] ppid=7395 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7405/stat : 7405 (java) S 7395 7395 4780 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 475252534 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546326148352 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7406] ppid=7395 vsize=15417412 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7406/stat : 7406 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546325096912 140546859554715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7407] ppid=7395 vsize=15417412 memory=144340 CPUtime=2.25 cores=1,3,5,7
/proc/7397/task/7407/stat : 7407 (java) S 7395 7395 4780 0 -1 1077944384 11291 0 0 0 224 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546324044016 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7408] ppid=7395 vsize=15417412 memory=1456 CPUtime=2.02 cores=1,3,5,7
/proc/7397/task/7408/stat : 7408 (java) S 7395 7395 4780 0 -1 1077944384 7463 0 0 0 201 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546322991472 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7409] ppid=7395 vsize=15417412 memory=1456 CPUtime=0.59 cores=1,3,5,7
/proc/7397/task/7409/stat : 7409 (java) S 7395 7395 4780 0 -1 1077944384 6552 0 0 0 58 1 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546321938416 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7410] ppid=7395 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7397/task/7410/stat : 7410 (java) S 7395 7395 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546320886112 140546859546325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7411] ppid=7395 vsize=15417412 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/7397/task/7411/stat : 7411 (java) S 7395 7395 4780 0 -1 1077944384 619 0 0 0 0 8 0 0 20 0 19 0 475252536 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546319834160 140546859547266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7412] ppid=7395 vsize=15417412 memory=1456 CPUtime=286.99 cores=1,3,5,7
/proc/7397/task/7412/stat : 7412 (java) R 7395 7395 4780 0 -1 4202560 710 0 0 0 28699 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546310614568 140546451977266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7413] ppid=7395 vsize=15417412 memory=144340 CPUtime=286.3 cores=1,3,5,7
/proc/7397/task/7413/stat : 7413 (java) R 7395 7395 4780 0 -1 4202560 2217 0 0 0 28629 1 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546309562512 140546451360308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7414] ppid=7395 vsize=15417412 memory=1456 CPUtime=286.84 cores=1,3,5,7
/proc/7397/task/7414/stat : 7414 (java) R 7395 7395 4780 0 -1 4202560 893 0 0 0 28684 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546308510008 140546451801743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
[pid=7397/tid=7415] ppid=7395 vsize=15417412 memory=1456 CPUtime=286.76 cores=1,3,5,7
/proc/7397/task/7415/stat : 7415 (java) R 7395 7395 4780 0 -1 4202560 1950 0 0 0 28676 0 0 0 20 0 19 0 475252588 15787429888 36085 33554432000 4194304 4196468 140725388341504 140546307459664 140546451258087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27123712 140725388350427 140725388350602 140725388350602 140725388353487 0
Current children cumulated CPU time: 1153.15 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 145796 KiB
Child status: 0
Real time (s): 290.191
CPU time (s): 1153.4
CPU user time (s): 1153.18
CPU system time (s): 0.229064
CPU usage (%): 397.464
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 227640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1153.18
system time used= 0.229064
maximum resident set size= 227212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10771
involuntary context switches= 22615
# summary of solver processes directly reported to runsolver:
# pid: 7395
# total CPU time (s): 1153.4
# total CPU user time (s): 1153.18
# total CPU system time (s): 0.229064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.01166 second user time and 3.35113 second system time
The end