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 (4893 MiB free)
memory of node 1: 16384 MiB (4419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404017-1568991586/watcher-4404017-1568991586 -o /tmp/evaluation-result-4404017-1568991586/solver-4404017-1568991586 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568991261-14402 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1584251252 HOME/instance-4404017-1568991586.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16542, runsolver pid=16539
[startup+0.100244 s]*
/proc/loadavg: 8.47 5.28 2.91 7/233 16558
/proc/meminfo: memFree=9522020/32770624 swapFree=66999216/67108860
[pid=16542] ppid=16539 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16542/stat : 16542 (xcsp3-exec) S 16539 16542 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475411685 115843072 363 33554432000 4194304 5098028 140733752285184 140733752283288 140337741185660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38031360 140733752288122 140733752288365 140733752288365 140733752291274 0
/proc/16542/statm: 28282 363 304 221 0 87 0
[pid=16544] ppid=16542 vsize=15144776 memory=27652 CPUtime=0.13 cores=0,2,4,6
/proc/16544/stat : 16544 (java) S 16542 16542 14371 0 -1 1077944320 5873 0 0 0 12 1 0 0 20 0 15 0 475411685 15508250624 6913 33554432000 4194304 4196468 140729782321376 140729782303920 139995700637431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
/proc/16544/statm: 3786194 6913 3119 1 0 3748377 0
[pid=16544/tid=16545] ppid=16542 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16545/stat : 16545 (java) R 16542 16542 14371 0 -1 4202560 3738 0 0 0 8 0 0 0 20 0 15 0 475411686 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995704865456 139995700649366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16546] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16546/stat : 16546 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995668196496 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16547] ppid=16542 vsize=15144776 memory=3616588336423208608 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16547/stat : 16547 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995292298256 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16548] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16548/stat : 16548 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995291245456 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16549] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16549/stat : 16549 (java) S 16542 16542 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475411686 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995290192656 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16550] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16550/stat : 16550 (java) S 16542 16542 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475411688 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995168418160 139995700648578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16551] ppid=16542 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16551/stat : 16551 (java) S 16542 16542 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475411688 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995167364128 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16552] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16552/stat : 16552 (java) S 16542 16542 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475411688 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995166311280 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16553] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16553/stat : 16553 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475411691 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995165259600 139995700656027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16554] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16554/stat : 16554 (java) S 16542 16542 14371 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 475411691 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995164207984 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16555] ppid=16542 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16555/stat : 16555 (java) S 16542 16542 14371 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 475411691 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995163155184 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16556] ppid=16542 vsize=15144776 memory=140436879410816 CPUtime=0.02 cores=0,2,4,6
/proc/16544/task/16556/stat : 16556 (java) R 16542 16542 14371 0 -1 4202560 405 0 0 0 2 0 0 0 20 0 15 0 475411691 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995162102384 139995700649366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16557] ppid=16542 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16557/stat : 16557 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475411691 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995161049824 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16558] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16558/stat : 16558 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411691 15508250624 6913 33554432000 4194304 4196468 140729782321376 139995159997104 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29104 KiB
[startup+0.211339 s]*
/proc/loadavg: 8.47 5.28 2.91 7/233 16558
/proc/meminfo: memFree=9508396/32770624 swapFree=66999216/67108860
[pid=16542] ppid=16539 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16542/stat : 16542 (xcsp3-exec) S 16539 16542 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475411685 115843072 363 33554432000 4194304 5098028 140733752285184 140733752283288 140337741185660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38031360 140733752288122 140733752288365 140733752288365 140733752291274 0
/proc/16542/statm: 28282 363 304 221 0 87 0
[pid=16544] ppid=16542 vsize=15144776 memory=39732 CPUtime=0.33 cores=0,2,4,6
/proc/16544/stat : 16544 (java) S 16542 16542 14371 0 -1 1077944320 9636 0 0 0 30 3 0 0 20 0 15 0 475411685 15508250624 9933 33554432000 4194304 4196468 140729782321376 140729782303920 139995700637431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
/proc/16544/statm: 3786194 9933 3313 1 0 3748377 0
[pid=16544/tid=16545] ppid=16542 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/16544/task/16545/stat : 16545 (java) R 16542 16542 14371 0 -1 4202560 6681 0 0 0 17 2 0 0 20 0 15 0 475411686 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995704869344 139995693315445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16546] ppid=16542 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16546/stat : 16546 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995668196496 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16547] ppid=16542 vsize=15144776 memory=140436883209863 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16547/stat : 16547 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995292298256 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16548] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16548/stat : 16548 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995291245456 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16549] ppid=16542 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16549/stat : 16549 (java) S 16542 16542 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475411686 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995290192656 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16550] ppid=16542 vsize=15144776 memory=140436879410816 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16550/stat : 16550 (java) S 16542 16542 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475411688 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995168418160 139995700648578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16551] ppid=16542 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16551/stat : 16551 (java) S 16542 16542 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475411688 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995167364128 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16552] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16552/stat : 16552 (java) S 16542 16542 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475411688 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995166311280 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16553] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16553/stat : 16553 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475411691 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995165259600 139995700656027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16554] ppid=16542 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16544/task/16554/stat : 16554 (java) S 16542 16542 14371 0 -1 1077944384 608 0 0 0 3 0 0 0 20 0 15 0 475411691 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995164207984 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16555] ppid=16542 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16544/task/16555/stat : 16555 (java) S 16542 16542 14371 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 475411691 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995163155184 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16556] ppid=16542 vsize=15144776 memory=140436879410816 CPUtime=0.07 cores=0,2,4,6
/proc/16544/task/16556/stat : 16556 (java) R 16542 16542 14371 0 -1 4202560 881 0 0 0 7 0 0 0 20 0 15 0 475411691 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995162097424 139995680070503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16557] ppid=16542 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16557/stat : 16557 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475411691 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995161049824 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16558] ppid=16542 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16558/stat : 16558 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411691 15508250624 9933 33554432000 4194304 4196468 140729782321376 139995159997104 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41184 KiB
[startup+0.310896 s]*
/proc/loadavg: 8.47 5.28 2.91 6/233 16558
/proc/meminfo: memFree=9503680/32770624 swapFree=66999216/67108860
[pid=16542] ppid=16539 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16542/stat : 16542 (xcsp3-exec) S 16539 16542 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475411685 115843072 363 33554432000 4194304 5098028 140733752285184 140733752283288 140337741185660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38031360 140733752288122 140733752288365 140733752288365 140733752291274 0
/proc/16542/statm: 28282 363 304 221 0 87 0
[pid=16544] ppid=16542 vsize=15149032 memory=46012 CPUtime=0.51 cores=0,2,4,6
/proc/16544/stat : 16544 (java) S 16542 16542 14371 0 -1 1077944320 10909 0 0 0 46 5 0 0 20 0 15 0 475411685 15512608768 11503 33554432000 4194304 4196468 140729782321376 140729782303920 139995700637431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
/proc/16544/statm: 3787258 11503 3332 1 0 3748377 0
[pid=16544/tid=16545] ppid=16542 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/16544/task/16545/stat : 16545 (java) R 16542 16542 14371 0 -1 4202560 7715 0 0 0 26 4 0 0 20 0 15 0 475411686 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995704871232 139995684681061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16546] ppid=16542 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16546/stat : 16546 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995668196496 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16547] ppid=16542 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16547/stat : 16547 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995292298256 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16548] ppid=16542 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16548/stat : 16548 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411686 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995291245456 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16549] ppid=16542 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16549/stat : 16549 (java) S 16542 16542 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475411686 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995290192656 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16550] ppid=16542 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16550/stat : 16550 (java) S 16542 16542 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475411688 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995168418160 139995700648578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16551] ppid=16542 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16551/stat : 16551 (java) S 16542 16542 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475411688 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995167364128 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16552] ppid=16542 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16552/stat : 16552 (java) S 16542 16542 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475411688 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995166311280 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16553] ppid=16542 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16553/stat : 16553 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475411691 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995165259600 139995700656027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16554] ppid=16542 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/16544/task/16554/stat : 16554 (java) S 16542 16542 14371 0 -1 1077944384 635 0 0 0 5 0 0 0 20 0 15 0 475411691 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995164207984 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16555] ppid=16542 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16544/task/16555/stat : 16555 (java) S 16542 16542 14371 0 -1 1077944384 194 0 0 0 3 0 0 0 20 0 15 0 475411691 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995163155184 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16556] ppid=16542 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16544/task/16556/stat : 16556 (java) R 16542 16542 14371 0 -1 4202560 1062 0 0 0 12 0 0 0 20 0 15 0 475411691 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995162102384 139995679314775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16557] ppid=16542 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16557/stat : 16557 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475411691 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995161049824 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16558] ppid=16542 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16558/stat : 16558 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475411691 15512608768 11503 33554432000 4194304 4196468 140729782321376 139995159997104 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47464 KiB
[startup+0.703241 s]
/proc/loadavg: 8.47 5.28 2.91 10/233 16558
/proc/meminfo: memFree=9486852/32770624 swapFree=66999216/67108860
[pid=16542] ppid=16539 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16542/stat : 16542 (xcsp3-exec) S 16539 16542 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475411685 115843072 363 33554432000 4194304 5098028 140733752285184 140733752283288 140337741185660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38031360 140733752288122 140733752288365 140733752288365 140733752291274 0
/proc/16542/statm: 28282 363 304 221 0 87 0
[pid=16544] ppid=16542 vsize=15485004 memory=166352 CPUtime=1.61 cores=0,2,4,6
/proc/16544/stat : 16544 (java) S 16542 16542 14371 0 -1 1077944320 15671 0 0 0 151 10 0 0 20 0 19 0 475411685 15856644096 41588 33554432000 4194304 4196468 140729782321376 140729782303920 139995700637431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
/proc/16544/statm: 3871251 41588 3463 1 0 3832351 0
[pid=16544/tid=16545] ppid=16542 vsize=15485004 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/16544/task/16545/stat : 16545 (java) S 16542 16542 14371 0 -1 1077944384 9276 0 0 0 48 6 0 0 20 0 19 0 475411686 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995704878208 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16546] ppid=16542 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16546/stat : 16546 (java) S 16542 16542 14371 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475411686 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995668196496 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16547] ppid=16542 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16547/stat : 16547 (java) S 16542 16542 14371 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 475411686 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995292298256 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16548] ppid=16542 vsize=15485004 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16548/stat : 16548 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475411686 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995291245456 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16549] ppid=16542 vsize=15485004 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16549/stat : 16549 (java) S 16542 16542 14371 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 475411686 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995290192656 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16550] ppid=16542 vsize=15485004 memory=676 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16550/stat : 16550 (java) S 16542 16542 14371 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995168418160 139995700648578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16551] ppid=16542 vsize=15485004 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16551/stat : 16551 (java) S 16542 16542 14371 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995167364128 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16552] ppid=16542 vsize=15485004 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16552/stat : 16552 (java) S 16542 16542 14371 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995166311280 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16553] ppid=16542 vsize=15485004 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16553/stat : 16553 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995165259600 139995700656027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16554] ppid=16542 vsize=15485004 memory=1712 CPUtime=0.27 cores=0,2,4,6
/proc/16544/task/16554/stat : 16554 (java) S 16542 16542 14371 0 -1 1077944384 1377 0 0 0 27 0 0 0 20 0 19 0 475411691 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995164196416 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16555] ppid=16542 vsize=15485004 memory=1112 CPUtime=0.24 cores=0,2,4,6
/proc/16544/task/16555/stat : 16555 (java) R 16542 16542 14371 0 -1 4202560 909 0 0 0 24 0 0 0 20 0 19 0 475411691 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995163144784 139995681827105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16556] ppid=16542 vsize=15485004 memory=1004 CPUtime=0.32 cores=0,2,4,6
/proc/16544/task/16556/stat : 16556 (java) R 16542 16542 14371 0 -1 4202560 1808 0 0 0 32 0 0 0 20 0 19 0 475411691 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995162099320 139995693734267 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16557] ppid=16542 vsize=15485004 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16557/stat : 16557 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995161049824 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16558] ppid=16542 vsize=15485004 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16558/stat : 16558 (java) S 16542 16542 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 41588 33554432000 4194304 4196468 140729782321376 139995159997104 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 167804 KiB
[startup+1.50824 s]
/proc/loadavg: 8.47 5.28 2.91 12/237 16614
/proc/meminfo: memFree=9367016/32770624 swapFree=66999216/67108860
[pid=16542] ppid=16539 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16542/stat : 16542 (xcsp3-exec) S 16539 16542 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475411685 115843072 363 33554432000 4194304 5098028 140733752285184 140733752283288 140337741185660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38031360 140733752288122 140733752288365 140733752288365 140733752291274 0
/proc/16542/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/16544/task/16558/stat : 16558 (java) S 16542 16542 14371 0 -1 1077944384 317 0 0 0 0 2 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995159997104 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16635] ppid=16542 vsize=15485004 memory=14008 CPUtime=136.93 cores=0,2,4,6
/proc/16544/task/16635/stat : 16635 (java) R 16542 16542 14371 0 -1 4202560 804 0 0 0 13693 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995145751960 139995341243200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16636] ppid=16542 vsize=15485004 memory=184472 CPUtime=137.13 cores=0,2,4,6
/proc/16544/task/16636/stat : 16636 (java) R 16542 16542 14371 0 -1 4202560 1893 0 0 0 13713 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995148910528 139995342087883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16637] ppid=16542 vsize=15485004 memory=1452 CPUtime=136.98 cores=0,2,4,6
/proc/16544/task/16637/stat : 16637 (java) R 16542 16542 14371 0 -1 4202560 2710 0 0 0 13698 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995147861104 139995341242190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16638] ppid=16542 vsize=15485004 memory=184472 CPUtime=137.55 cores=0,2,4,6
/proc/16544/task/16638/stat : 16638 (java) R 16542 16542 14371 0 -1 4202560 1192 0 0 0 13753 2 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995149962928 139995341242975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
Current children cumulated CPU time: 558.63 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 185924 KiB
[startup+141.601 s]
/proc/loadavg: 8.29 6.46 3.68 9/240 16824
/proc/meminfo: memFree=9777496/32770624 swapFree=66999216/67108860
[pid=16542] ppid=16539 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16542/stat : 16542 (xcsp3-exec) S 16539 16542 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475411685 115843072 363 33554432000 4194304 5098028 140733752285184 140733752283288 140337741185660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38031360 140733752288122 140733752288365 140733752288365 140733752291274 0
/proc/16542/statm: 28282 363 304 221 0 87 0
[pid=16544] ppid=16542 vsize=15485004 memory=184472 CPUtime=561.81 cores=0,2,4,6
/proc/16544/stat : 16544 (java) S 16542 16542 14371 0 -1 1077944320 71891 0 0 0 56159 22 0 0 20 0 19 0 475411685 15856644096 46118 33554432000 4194304 4196468 140729782321376 140729782303920 139995700637431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
/proc/16544/statm: 3871251 46118 3518 1 0 3832351 0
[pid=16544/tid=16545] ppid=16542 vsize=15485004 memory=1452 CPUtime=0.54 cores=0,2,4,6
/proc/16544/task/16545/stat : 16545 (java) S 16542 16542 14371 0 -1 1077944384 9276 0 0 0 48 6 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995704878208 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16546] ppid=16542 vsize=15485004 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16546/stat : 16546 (java) S 16542 16542 14371 0 -1 1077944384 731 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995668196496 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16547] ppid=16542 vsize=15485004 memory=1560 CPUtime=0.09 cores=0,2,4,6
/proc/16544/task/16547/stat : 16547 (java) S 16542 16542 14371 0 -1 1077944384 1084 0 0 0 7 2 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995292298256 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16548] ppid=16542 vsize=15485004 memory=1452 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16548/stat : 16548 (java) S 16542 16542 14371 0 -1 1077944384 2113 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995291245456 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16549] ppid=16542 vsize=15485004 memory=184472 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16549/stat : 16549 (java) S 16542 16542 14371 0 -1 1077944384 1063 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995290192656 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16550] ppid=16542 vsize=15485004 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16550/stat : 16550 (java) S 16542 16542 14371 0 -1 1077944384 1891 0 0 0 7 1 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995168418160 139995700648578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16551] ppid=16542 vsize=15485004 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16551/stat : 16551 (java) S 16542 16542 14371 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995167364192 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16552] ppid=16542 vsize=15485004 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16552/stat : 16552 (java) S 16542 16542 14371 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995166311296 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16553] ppid=16542 vsize=15485004 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16553/stat : 16553 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995165259600 139995700656027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16554] ppid=16542 vsize=15485004 memory=30496 CPUtime=2.96 cores=0,2,4,6
/proc/16544/task/16554/stat : 16554 (java) S 16542 16542 14371 0 -1 1077944384 17721 0 0 0 295 1 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995164207984 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16555] ppid=16542 vsize=15485004 memory=12024 CPUtime=3.32 cores=0,2,4,6
/proc/16544/task/16555/stat : 16555 (java) S 16542 16542 14371 0 -1 1077944384 19233 0 0 0 331 1 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995163155184 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16556] ppid=16542 vsize=15485004 memory=1060 CPUtime=0.62 cores=0,2,4,6
/proc/16544/task/16556/stat : 16556 (java) S 16542 16542 14371 0 -1 1077944384 8937 0 0 0 60 2 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995162102384 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16557] ppid=16542 vsize=15485004 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16557/stat : 16557 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995161049824 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16558] ppid=16542 vsize=15485004 memory=8560 CPUtime=0.02 cores=0,2,4,6
/proc/16544/task/16558/stat : 16558 (java) S 16542 16542 14371 0 -1 1077944384 317 0 0 0 0 2 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995159997104 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16635] ppid=16542 vsize=15485004 memory=1712 CPUtime=137.71 cores=0,2,4,6
/proc/16544/task/16635/stat : 16635 (java) R 16542 16542 14371 0 -1 4202560 804 0 0 0 13771 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995145751712 139995341372994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16636] ppid=16542 vsize=15485004 memory=1112 CPUtime=137.93 cores=0,2,4,6
/proc/16544/task/16636/stat : 16636 (java) R 16542 16542 14371 0 -1 4202560 1893 0 0 0 13793 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995148910784 139995342295805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16637] ppid=16542 vsize=15485004 memory=1004 CPUtime=137.78 cores=0,2,4,6
/proc/16544/task/16637/stat : 16637 (java) R 16542 16542 14371 0 -1 4202560 2711 0 0 0 13778 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995147858568 139995341242206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16638] ppid=16542 vsize=15485004 memory=6064 CPUtime=138.35 cores=0,2,4,6
/proc/16544/task/16638/stat : 16638 (java) R 16542 16542 14371 0 -1 4202560 1192 0 0 0 13833 2 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995149965744 139995342295470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
Current children cumulated CPU time: 561.81 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 185924 KiB
[startup+142.401 s]
/proc/loadavg: 8.29 6.46 3.68 9/240 16824
/proc/meminfo: memFree=9777744/32770624 swapFree=66999216/67108860
[pid=16542] ppid=16539 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16542/stat : 16542 (xcsp3-exec) S 16539 16542 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475411685 115843072 363 33554432000 4194304 5098028 140733752285184 140733752283288 140337741185660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38031360 140733752288122 140733752288365 140733752288365 140733752291274 0
/proc/16542/statm: 28282 363 304 221 0 87 0
[pid=16544] ppid=16542 vsize=15485004 memory=184472 CPUtime=564.99 cores=0,2,4,6
/proc/16544/stat : 16544 (java) S 16542 16542 14371 0 -1 1077944320 71904 0 0 0 56477 22 0 0 20 0 19 0 475411685 15856644096 46118 33554432000 4194304 4196468 140729782321376 140729782303920 139995700637431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
/proc/16544/statm: 3871251 46118 3518 1 0 3832351 0
[pid=16544/tid=16545] ppid=16542 vsize=15485004 memory=2512 CPUtime=0.54 cores=0,2,4,6
/proc/16544/task/16545/stat : 16545 (java) S 16542 16542 14371 0 -1 1077944384 9276 0 0 0 48 6 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995704878208 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16546] ppid=16542 vsize=15485004 memory=1436 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16546/stat : 16546 (java) S 16542 16542 14371 0 -1 1077944384 731 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995668196496 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16547] ppid=16542 vsize=15485004 memory=796 CPUtime=0.09 cores=0,2,4,6
/proc/16544/task/16547/stat : 16547 (java) S 16542 16542 14371 0 -1 1077944384 1084 0 0 0 7 2 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995292298256 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16548] ppid=16542 vsize=15485004 memory=2012 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16548/stat : 16548 (java) S 16542 16542 14371 0 -1 1077944384 2113 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995291245456 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16549] ppid=16542 vsize=15485004 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16549/stat : 16549 (java) S 16542 16542 14371 0 -1 1077944384 1063 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995290192656 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16550] ppid=16542 vsize=15485004 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16550/stat : 16550 (java) S 16542 16542 14371 0 -1 1077944384 1891 0 0 0 7 1 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995168418160 139995700648578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16551] ppid=16542 vsize=15485004 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16551/stat : 16551 (java) S 16542 16542 14371 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995167364192 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16552] ppid=16542 vsize=15485004 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16552/stat : 16552 (java) S 16542 16542 14371 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995166311296 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16553] ppid=16542 vsize=15485004 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16553/stat : 16553 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995165259600 139995700656027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16554] ppid=16542 vsize=15485004 memory=184472 CPUtime=2.96 cores=0,2,4,6
/proc/16544/task/16554/stat : 16554 (java) S 16542 16542 14371 0 -1 1077944384 17721 0 0 0 295 1 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995164207984 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16555] ppid=16542 vsize=15485004 memory=13848573129264102 CPUtime=3.32 cores=0,2,4,6
/proc/16544/task/16555/stat : 16555 (java) S 16542 16542 14371 0 -1 1077944384 19233 0 0 0 331 1 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995163155184 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16556] ppid=16542 vsize=15485004 memory=1712 CPUtime=0.62 cores=0,2,4,6
/proc/16544/task/16556/stat : 16556 (java) S 16542 16542 14371 0 -1 1077944384 8937 0 0 0 60 2 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995162102384 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16557] ppid=16542 vsize=15485004 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16557/stat : 16557 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995161049824 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16558] ppid=16542 vsize=15485004 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/16544/task/16558/stat : 16558 (java) S 16542 16542 14371 0 -1 1077944384 317 0 0 0 0 2 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995159997104 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16635] ppid=16542 vsize=15485004 memory=776 CPUtime=138.51 cores=0,2,4,6
/proc/16544/task/16635/stat : 16635 (java) R 16542 16542 14371 0 -1 4202560 805 0 0 0 13851 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995145751712 139995341372723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16636] ppid=16542 vsize=15485004 memory=55908 CPUtime=138.73 cores=0,2,4,6
/proc/16544/task/16636/stat : 16636 (java) R 16542 16542 14371 0 -1 4202560 1897 0 0 0 13873 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995148910920 139995344118329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16637] ppid=16542 vsize=15485004 memory=3028 CPUtime=138.57 cores=0,2,4,6
/proc/16544/task/16637/stat : 16637 (java) R 16542 16542 14371 0 -1 4202560 2714 0 0 0 13857 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995147858568 139995343133202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16638] ppid=16542 vsize=15485004 memory=1452 CPUtime=139.15 cores=0,2,4,6
/proc/16544/task/16638/stat : 16638 (java) R 16542 16542 14371 0 -1 4202560 1197 0 0 0 13913 2 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995149965632 139995342014627 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
Current children cumulated CPU time: 564.99 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 185924 KiB
[startup+142.801 s]
/proc/loadavg: 8.29 6.46 3.68 9/240 16824
/proc/meminfo: memFree=9777744/32770624 swapFree=66999216/67108860
[pid=16542] ppid=16539 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16542/stat : 16542 (xcsp3-exec) S 16539 16542 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475411685 115843072 363 33554432000 4194304 5098028 140733752285184 140733752283288 140337741185660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38031360 140733752288122 140733752288365 140733752288365 140733752291274 0
/proc/16542/statm: 28282 363 304 221 0 87 0
[pid=16544] ppid=16542 vsize=15485004 memory=184472 CPUtime=566.58 cores=0,2,4,6
/proc/16544/stat : 16544 (java) S 16542 16542 14371 0 -1 1077944320 71906 0 0 0 56636 22 0 0 20 0 19 0 475411685 15856644096 46118 33554432000 4194304 4196468 140729782321376 140729782303920 139995700637431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
/proc/16544/statm: 3871251 46118 3518 1 0 3832351 0
[pid=16544/tid=16545] ppid=16542 vsize=15485004 memory=1452 CPUtime=0.54 cores=0,2,4,6
/proc/16544/task/16545/stat : 16545 (java) S 16542 16542 14371 0 -1 1077944384 9276 0 0 0 48 6 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995704878208 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16546] ppid=16542 vsize=15485004 memory=182276 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16546/stat : 16546 (java) S 16542 16542 14371 0 -1 1077944384 731 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995668196496 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16547] ppid=16542 vsize=15485004 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/16544/task/16547/stat : 16547 (java) S 16542 16542 14371 0 -1 1077944384 1084 0 0 0 7 2 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995292298256 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16548] ppid=16542 vsize=15485004 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16548/stat : 16548 (java) S 16542 16542 14371 0 -1 1077944384 2113 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995291245456 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16549] ppid=16542 vsize=15485004 memory=1452 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16549/stat : 16549 (java) S 16542 16542 14371 0 -1 1077944384 1063 0 0 0 7 1 0 0 20 0 19 0 475411686 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995290192656 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16550] ppid=16542 vsize=15485004 memory=180228 CPUtime=0.08 cores=0,2,4,6
/proc/16544/task/16550/stat : 16550 (java) S 16542 16542 14371 0 -1 1077944384 1891 0 0 0 7 1 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995168418160 139995700648578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16551] ppid=16542 vsize=15485004 memory=7308623597422339414 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16551/stat : 16551 (java) S 16542 16542 14371 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995167364192 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16552] ppid=16542 vsize=15485004 memory=7734209355437073775 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16552/stat : 16552 (java) S 16542 16542 14371 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475411688 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995166311296 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16553] ppid=16542 vsize=15485004 memory=676 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16553/stat : 16553 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995165259600 139995700656027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16554] ppid=16542 vsize=15485004 memory=1060 CPUtime=2.96 cores=0,2,4,6
/proc/16544/task/16554/stat : 16554 (java) S 16542 16542 14371 0 -1 1077944384 17721 0 0 0 295 1 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995164207984 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16555] ppid=16542 vsize=15485004 memory=1548 CPUtime=3.32 cores=0,2,4,6
/proc/16544/task/16555/stat : 16555 (java) S 16542 16542 14371 0 -1 1077944384 19233 0 0 0 331 1 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995163155184 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16556] ppid=16542 vsize=15485004 memory=8560 CPUtime=0.62 cores=0,2,4,6
/proc/16544/task/16556/stat : 16556 (java) S 16542 16542 14371 0 -1 1077944384 8937 0 0 0 60 2 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995162102384 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16557] ppid=16542 vsize=15485004 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/16544/task/16557/stat : 16557 (java) S 16542 16542 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995161049824 139995700647637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16558] ppid=16542 vsize=15485004 memory=1112 CPUtime=0.02 cores=0,2,4,6
/proc/16544/task/16558/stat : 16558 (java) S 16542 16542 14371 0 -1 1077944384 317 0 0 0 0 2 0 0 20 0 19 0 475411691 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995159997104 139995700648578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16635] ppid=16542 vsize=15485004 memory=-3622645143214314312 CPUtime=138.91 cores=0,2,4,6
/proc/16544/task/16635/stat : 16635 (java) R 16542 16542 14371 0 -1 4202560 805 0 0 0 13891 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995145751960 139995341243277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16636] ppid=16542 vsize=15485004 memory=1412 CPUtime=139.13 cores=0,2,4,6
/proc/16544/task/16636/stat : 16636 (java) R 16542 16542 14371 0 -1 4202560 1898 0 0 0 13913 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995148912800 139995341242231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16637] ppid=16542 vsize=15485004 memory=2824 CPUtime=138.96 cores=0,2,4,6
/proc/16544/task/16637/stat : 16637 (java) R 16542 16542 14371 0 -1 4202560 2715 0 0 0 13896 0 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995147858168 139995342086566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
[pid=16544/tid=16638] ppid=16542 vsize=15485004 memory=1448 CPUtime=139.55 cores=0,2,4,6
/proc/16544/task/16638/stat : 16638 (java) R 16542 16542 14371 0 -1 4202560 1197 0 0 0 13953 2 0 0 20 0 19 0 475411831 15856644096 46118 33554432000 4194304 4196468 140729782321376 139995149962880 139995341242231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17870848 140729782326255 140729782326426 140729782326426 140729782329295 0
Current children cumulated CPU time: 566.58 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 185924 KiB
Child status: 0
Real time (s): 142.862
CPU time (s): 566.814
CPU user time (s): 566.575
CPU system time (s): 0.238785
CPU usage (%): 396.757
Max. virtual memory (cumulated for all children) (KiB): 15602288
Max. memory (cumulated for all children) (KiB): 231628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 566.575
system time used= 0.238785
maximum resident set size= 230176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72945
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= 9103
involuntary context switches= 13717
# summary of solver processes directly reported to runsolver:
# pid: 16542
# total CPU time (s): 566.814
# total CPU user time (s): 566.575
# total CPU system time (s): 0.238785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.888942 second user time and 1.61894 second system time
The end