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 (7229 MiB free)
memory of node 1: 16384 MiB (8024 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403635-1568993585/watcher-4403635-1568993585 -o /var/tmp/evaluation-result-4403635-1568993585/solver-4403635-1568993585 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3666 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 168652798 HOME/instance-4403635-1568993585.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=8024, runsolver pid=8021
[startup+0.100059 s]*
/proc/loadavg: 8.51 8.07 7.26 7/234 8040
/proc/meminfo: memFree=15602028/32770624 swapFree=66935844/67108860
[pid=8024] ppid=8021 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (xcsp3-exec) S 8021 8024 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475272270 115843072 363 33554432000 4194304 5098028 140733531713488 140733531711592 139761281770108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22913024 140733531718487 140733531718745 140733531718745 140733531721670 0
/proc/8024/statm: 28282 363 304 221 0 87 0
[pid=8026] ppid=8024 vsize=15144776 memory=30204 CPUtime=0.12 cores=1,3,5,7
/proc/8026/stat : 8026 (java) S 8024 8024 3634 0 -1 1077944320 5948 0 0 0 11 1 0 0 20 0 15 0 475272270 15508250624 7551 33554432000 4194304 4196468 140731570296032 140731570278576 139959178186487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
/proc/8026/statm: 3786194 7551 3205 1 0 3748377 0
[pid=8026/tid=8027] ppid=8024 vsize=15144776 memory=8260066395041272667 CPUtime=0.08 cores=1,3,5,7
/proc/8026/task/8027/stat : 8027 (java) R 8024 8024 3634 0 -1 4202560 3849 0 0 0 8 0 0 0 20 0 15 0 475272270 15508250624 7551 33554432000 4194304 4196468 140731570296032 139959182414256 139959178198422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8028] ppid=8024 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8028/stat : 8028 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272271 15508250624 7551 33554432000 4194304 4196468 140731570296032 139959106227088 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8029] ppid=8024 vsize=15144776 memory=139821540861568 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8029/stat : 8029 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272271 15508250624 7551 33554432000 4194304 4196468 140731570296032 139959105174288 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8030] ppid=8024 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8030/stat : 8030 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272271 15508250624 7551 33554432000 4194304 4196468 140731570296032 139959104122000 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8031] ppid=8024 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8031/stat : 8031 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272271 15508250624 7551 33554432000 4194304 4196468 140731570296032 139959103069200 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8032] ppid=8024 vsize=15144776 memory=139821540861568 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8032/stat : 8032 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272272 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958646790256 139959178197634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8033] ppid=8024 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8033/stat : 8033 (java) S 8024 8024 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475272273 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958645736224 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8034] ppid=8024 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8034/stat : 8034 (java) S 8024 8024 3634 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475272273 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958644683888 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8035] ppid=8024 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8035/stat : 8035 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958643632208 139959178205083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8036] ppid=8024 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8036/stat : 8036 (java) S 8024 8024 3634 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 15 0 475272275 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958642580080 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8037] ppid=8024 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8037/stat : 8037 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958641527280 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8038] ppid=8024 vsize=15144776 memory=139821540861568 CPUtime=0.02 cores=1,3,5,7
/proc/8026/task/8038/stat : 8038 (java) R 8024 8024 3634 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 475272275 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958640469344 139959178207834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8039] ppid=8024 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8039/stat : 8039 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958639422432 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8040] ppid=8024 vsize=15144776 memory=139821540861568 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8040/stat : 8040 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272276 15508250624 7551 33554432000 4194304 4196468 140731570296032 139958638369200 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31656 KiB
[startup+0.210871 s]*
/proc/loadavg: 8.51 8.07 7.26 7/234 8040
/proc/meminfo: memFree=15589172/32770624 swapFree=66935844/67108860
[pid=8024] ppid=8021 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (xcsp3-exec) S 8021 8024 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475272270 115843072 363 33554432000 4194304 5098028 140733531713488 140733531711592 139761281770108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22913024 140733531718487 140733531718745 140733531718745 140733531721670 0
/proc/8024/statm: 28282 363 304 221 0 87 0
[pid=8026] ppid=8024 vsize=15144776 memory=41376 CPUtime=0.34 cores=1,3,5,7
/proc/8026/stat : 8026 (java) S 8024 8024 3634 0 -1 1077944320 9517 0 0 0 31 3 0 0 20 0 15 0 475272270 15508250624 10344 33554432000 4194304 4196468 140731570296032 140731570278576 139959178186487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
/proc/8026/statm: 3786194 10344 3306 1 0 3748377 0
[pid=8026/tid=8027] ppid=8024 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8026/task/8027/stat : 8027 (java) R 8024 8024 3634 0 -1 4202560 6679 0 0 0 18 2 0 0 20 0 15 0 475272270 15508250624 10344 33554432000 4194304 4196468 140731570296032 139959182421472 139959162266974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8028] ppid=8024 vsize=15144776 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8028/stat : 8028 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272271 15508250624 10344 33554432000 4194304 4196468 140731570296032 139959106227088 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8029] ppid=8024 vsize=15144776 memory=3689773405462750880 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8029/stat : 8029 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272271 15508250624 10344 33554432000 4194304 4196468 140731570296032 139959105174288 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8030] ppid=8024 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8030/stat : 8030 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272271 15508250624 10344 33554432000 4194304 4196468 140731570296032 139959104122000 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8031] ppid=8024 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8031/stat : 8031 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272271 15508250624 10344 33554432000 4194304 4196468 140731570296032 139959103069200 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8032] ppid=8024 vsize=15144776 memory=139821540861568 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8032/stat : 8032 (java) S 8024 8024 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475272272 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958646790256 139959178197634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8033] ppid=8024 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8033/stat : 8033 (java) S 8024 8024 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475272273 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958645736224 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8034] ppid=8024 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8034/stat : 8034 (java) S 8024 8024 3634 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475272273 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958644683888 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8035] ppid=8024 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8035/stat : 8035 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958643632208 139959178205083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8036] ppid=8024 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8026/task/8036/stat : 8036 (java) S 8024 8024 3634 0 -1 1077944384 691 0 0 0 3 0 0 0 20 0 15 0 475272275 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958642580080 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8037] ppid=8024 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8026/task/8037/stat : 8037 (java) R 8024 8024 3634 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 15 0 475272275 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958641527280 139959178197634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8038] ppid=8024 vsize=15144776 memory=139821540861568 CPUtime=0.08 cores=1,3,5,7
/proc/8026/task/8038/stat : 8038 (java) S 8024 8024 3634 0 -1 1077944384 735 0 0 0 8 0 0 0 20 0 15 0 475272275 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958640474992 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8039] ppid=8024 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8039/stat : 8039 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958639422432 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8040] ppid=8024 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8040/stat : 8040 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272276 15508250624 10344 33554432000 4194304 4196468 140731570296032 139958638369200 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42828 KiB
[startup+0.310724 s]*
/proc/loadavg: 8.51 8.07 7.26 7/234 8040
/proc/meminfo: memFree=15580824/32770624 swapFree=66935844/67108860
[pid=8024] ppid=8021 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (xcsp3-exec) S 8021 8024 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475272270 115843072 363 33554432000 4194304 5098028 140733531713488 140733531711592 139761281770108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22913024 140733531718487 140733531718745 140733531718745 140733531721670 0
/proc/8024/statm: 28282 363 304 221 0 87 0
[pid=8026] ppid=8024 vsize=15149032 memory=50160 CPUtime=0.53 cores=1,3,5,7
/proc/8026/stat : 8026 (java) S 8024 8024 3634 0 -1 1077944320 10846 0 0 0 49 4 0 0 20 0 15 0 475272270 15512608768 12540 33554432000 4194304 4196468 140731570296032 140731570278576 139959178186487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
/proc/8026/statm: 3787258 12540 3369 1 0 3748377 0
[pid=8026/tid=8027] ppid=8024 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/8026/task/8027/stat : 8027 (java) R 8024 8024 3634 0 -1 4202560 7848 0 0 0 27 3 0 0 20 0 15 0 475272270 15512608768 12540 33554432000 4194304 4196468 140731570296032 139959182420272 139959157767758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8028] ppid=8024 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8028/stat : 8028 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272271 15512608768 12540 33554432000 4194304 4196468 140731570296032 139959106227088 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8029] ppid=8024 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8029/stat : 8029 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272271 15512608768 12540 33554432000 4194304 4196468 140731570296032 139959105174288 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8030] ppid=8024 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8030/stat : 8030 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272271 15512608768 12540 33554432000 4194304 4196468 140731570296032 139959104122000 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8031] ppid=8024 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8031/stat : 8031 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272271 15512608768 12540 33554432000 4194304 4196468 140731570296032 139959103069200 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8032] ppid=8024 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8032/stat : 8032 (java) S 8024 8024 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475272272 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958646790256 139959178197634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8033] ppid=8024 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8033/stat : 8033 (java) S 8024 8024 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475272273 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958645736224 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8034] ppid=8024 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8034/stat : 8034 (java) S 8024 8024 3634 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475272273 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958644683888 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8035] ppid=8024 vsize=15149032 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8035/stat : 8035 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958643632208 139959178205083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8036] ppid=8024 vsize=15149032 memory=8325818968683490714 CPUtime=0.06 cores=1,3,5,7
/proc/8026/task/8036/stat : 8036 (java) S 8024 8024 3634 0 -1 1077944384 791 0 0 0 6 0 0 0 20 0 15 0 475272275 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958642580080 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8037] ppid=8024 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8026/task/8037/stat : 8037 (java) S 8024 8024 3634 0 -1 1077944384 113 0 0 0 3 0 0 0 20 0 15 0 475272275 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958641527280 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8038] ppid=8024 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8026/task/8038/stat : 8038 (java) S 8024 8024 3634 0 -1 1077944384 806 0 0 0 12 0 0 0 20 0 15 0 475272275 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958640474992 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8039] ppid=8024 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8039/stat : 8039 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958639422432 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8040] ppid=8024 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8040/stat : 8040 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272276 15512608768 12540 33554432000 4194304 4196468 140731570296032 139958638369200 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51612 KiB
[startup+0.701207 s]
/proc/loadavg: 8.51 8.07 7.26 9/234 8040
/proc/meminfo: memFree=15556000/32770624 swapFree=66935844/67108860
[pid=8024] ppid=8021 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (xcsp3-exec) S 8021 8024 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475272270 115843072 363 33554432000 4194304 5098028 140733531713488 140733531711592 139761281770108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22913024 140733531718487 140733531718745 140733531718745 140733531721670 0
/proc/8024/statm: 28282 363 304 221 0 87 0
[pid=8026] ppid=8024 vsize=15151156 memory=91828 CPUtime=1.81 cores=1,3,5,7
/proc/8026/stat : 8026 (java) S 8024 8024 3634 0 -1 1077944320 15653 0 0 0 174 7 0 0 20 0 15 0 475272270 15514783744 22957 33554432000 4194304 4196468 140731570296032 140731570278576 139959178186487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
/proc/8026/statm: 3787789 22957 3449 1 0 3748889 0
[pid=8026/tid=8027] ppid=8024 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/8026/task/8027/stat : 8027 (java) R 8024 8024 3634 0 -1 4202560 9351 0 0 0 64 4 0 0 20 0 15 0 475272270 15514783744 22957 33554432000 4194304 4196468 140731570296032 139959182412808 139959170903639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8028] ppid=8024 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8028/stat : 8028 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272271 15514783744 22957 33554432000 4194304 4196468 140731570296032 139959106227088 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8029] ppid=8024 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8029/stat : 8029 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272271 15514783744 22957 33554432000 4194304 4196468 140731570296032 139959105174288 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8030] ppid=8024 vsize=15151156 memory=55832 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8030/stat : 8030 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272271 15514783744 22957 33554432000 4194304 4196468 140731570296032 139959104122000 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8031] ppid=8024 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8031/stat : 8031 (java) S 8024 8024 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272271 15514783744 22957 33554432000 4194304 4196468 140731570296032 139959103069200 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8032] ppid=8024 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8032/stat : 8032 (java) S 8024 8024 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475272272 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958646790256 139959178197634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8033] ppid=8024 vsize=15151156 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8033/stat : 8033 (java) S 8024 8024 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475272273 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958645736224 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8034] ppid=8024 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8034/stat : 8034 (java) S 8024 8024 3634 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475272273 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958644683888 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8035] ppid=8024 vsize=15151156 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8035/stat : 8035 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958643632208 139959178205083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8036] ppid=8024 vsize=15151156 memory=6024 CPUtime=0.31 cores=1,3,5,7
/proc/8026/task/8036/stat : 8036 (java) D 8024 8024 3634 0 -1 4202560 1503 0 0 0 31 0 0 0 20 0 15 0 475272275 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958642565960 139959155490880 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8037] ppid=8024 vsize=15151156 memory=11416 CPUtime=0.37 cores=1,3,5,7
/proc/8026/task/8037/stat : 8037 (java) R 8024 8024 3634 0 -1 4202560 1207 0 0 0 37 0 0 0 20 0 15 0 475272275 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958641516832 139959161573121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8038] ppid=8024 vsize=15151156 memory=780 CPUtime=0.42 cores=1,3,5,7
/proc/8026/task/8038/stat : 8038 (java) R 8024 8024 3634 0 -1 4202560 2283 0 0 0 42 0 0 0 20 0 15 0 475272275 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958640474992 139959157140392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8039] ppid=8024 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8039/stat : 8039 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272275 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958639422432 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8040] ppid=8024 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8040/stat : 8040 (java) S 8024 8024 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272276 15514783744 22957 33554432000 4194304 4196468 140731570296032 139958638369200 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93280 KiB
[startup+1.50166 s]
/proc/loadavg: 8.51 8.07 7.26 8/234 8040
/proc/meminfo: memFree=15480232/32770624 swapFree=66935844/67108860
[pid=8024] ppid=8021 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (xcsp3-exec) S 8021 8024 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475272270 115843072 363 33554432000 4194304 5098028 140733531713488 140733531711592 139761281770108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22913024 140733531718487 140733531718745 140733531718745 140733531721670 0
/proc/8024/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8026/task/8036/stat : 8036 (java) R 8024 8024 3634 0 -1 4202560 4182 0 0 0 110 0 0 0 20 0 19 0 475272275 15789527040 52868 33554432000 4194304 4196468 140731570296032 139958642561096 139959157879564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8037] ppid=8024 vsize=15419460 memory=7235410360879639403 CPUtime=1.2 cores=1,3,5,7
/proc/8026/task/8037/stat : 8037 (java) R 8024 8024 3634 0 -1 4202560 3730 0 0 0 119 1 0 0 20 0 19 0 475272275 15789527040 52868 33554432000 4194304 4196468 140731570296032 139958641518736 139959158887058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8038] ppid=8024 vsize=15419460 memory=279642770613056 CPUtime=0.82 cores=1,3,5,7
/proc/8026/task/8038/stat : 8038 (java) R 8024 8024 3634 0 -1 1077944384 4221 0 0 0 81 1 0 0 20 0 19 0 475272275 15789527040 52868 33554432000 4194304 4196468 140731570296032 139958640474992 139959178197634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8039] ppid=8024 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8039/stat : 8039 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272275 15789527040 52868 33554432000 4194304 4196468 140731570296032 139958639422432 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8040] ppid=8024 vsize=15419460 memory=279642770817632 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8040/stat : 8040 (java) S 8024 8024 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475272276 15789527040 52868 33554432000 4194304 4196468 140731570296032 139958638369200 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
Current children cumulated CPU time: 5.06 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 212924 KiB
[startup+2.00068 s]*
/proc/loadavg: 8.51 8.07 7.26 13/238 8072
/proc/meminfo: memFree=15398088/32770624 swapFree=66935844/67108860
[pid=8024] ppid=8021 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (xcsp3-exec) S 8021 8024 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475272270 115843072 363 33554432000 4194304 5098028 140733531713488 140733531711592 139761281770108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22913024 140733531718487 140733531718745 140733531718745 140733531721670 0
/proc/8024/statm: 28282 363 304 221 0 87 0
[pid=8026] ppid=8024 vsize=15420488 memory=215168 CPUtime=6.64 cores=1,3,5,7
/proc/8026/stat : 8026 (java) S 8024 8024 3634 0 -1 1077944320 28105 0 0 0 653 11 0 0 20 0 19 0 475272270 15790579712 53792 33554432000 4194304 4196468 140731570296032 140731570278576 139959178186487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
/proc/8026/statm: 3855122 53792 3530 1 0 3816222 0
[pid=8026/tid=8027] ppid=8024 vsize=15420488 memory=7883960649037381690 CPUtime=1.17 cores=1,3,5,7
/proc/8026/task/8027/stat : 8027 (java) S 8024 8024 3634 0 -1 1077944384 12172 0 0 0 111 6 0 0 20 0 19 0 475272270 15790579712 53792 33554432000 4194304 4196468 140731570296032 139959182427264 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8028] ppid=8024 vsize=15420488 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8028/stat : 8028 (java) S 8024 8024 3634 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53792 33554432000 4194304 4196468 140731570296032 139959106227088 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8029] ppid=8024 vsize=15420488 memory=3689773405462750880 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8029/stat : 8029 (java) S 8024 8024 3634 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53792 33554432000 4194304 4196468 140731570296032 139959105174288 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8030] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8030/stat : 8030 (java) S 8024 8024 3634 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53792 33554432000 4194304 4196468 140731570296032 139959104122000 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8031] ppid=8024 vsize=15420488 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8026/task/8031/stat : 8031 (java) S 8024 8024 3634 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 19 0 475272271 15790579712 53792 33554432000 4194304 4196468 140731570296032 139959103069200 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8032] ppid=8024 vsize=15420488 memory=139821540861568 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8032/stat : 8032 (java) S 8024 8024 3634 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 19 0 475272272 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958646790256 139959178197634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8033] ppid=8024 vsize=15420488 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8033/stat : 8033 (java) S 8024 8024 3634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475272273 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958645736224 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8034] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8034/stat : 8034 (java) S 8024 8024 3634 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475272273 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958644683888 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8035] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8035/stat : 8035 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272275 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958643632208 139959178205083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8036] ppid=8024 vsize=15420488 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/8026/task/8036/stat : 8036 (java) R 8024 8024 3634 0 -1 4202560 4526 0 0 0 138 0 0 0 20 0 19 0 475272275 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958642573272 139959163311177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8037] ppid=8024 vsize=15420488 memory=139821385287103 CPUtime=1.48 cores=1,3,5,7
/proc/8026/task/8037/stat : 8037 (java) R 8024 8024 3634 0 -1 4202560 4067 0 0 0 147 1 0 0 20 0 19 0 475272275 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958641519768 139959163311893 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8038] ppid=8024 vsize=15420488 memory=139821540865668 CPUtime=0.89 cores=1,3,5,7
/proc/8026/task/8038/stat : 8038 (java) R 8024 8024 3634 0 -1 1077944384 4474 0 0 0 88 1 0 0 20 0 19 0 475272275 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958640474992 139959178197634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8039] ppid=8024 vsize=15420488 memory=3834588790311362608 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8039/stat : 8039 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272275 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958639422432 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8040] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8040/stat : 8040 (java) S 8024 8024 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475272276 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958638369200 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8069] ppid=8024 vsize=15420488 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/8026/task/8069/stat : 8069 (java) R 8024 8024 3634 0 -1 4202560 21 0 0 0 20 0 0 0 20 0 19 0 475272446 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958027272056 139958781419232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8070] ppid=8024 vsize=15420488 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/8026/task/8070/stat : 8070 (java) R 8024 8024 3634 0 -1 4202560 20 0 0 0 21 0 0 0 20 0 19 0 475272446 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958028325240 139958777638895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8071] ppid=8024 vsize=15420488 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8026/task/8071/stat : 8071 (java) R 8024 8024 3634 0 -1 4202560 17 0 0 0 12 0 0 0 20 0 19 0 475272446 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958624949560 139958781959500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8072] ppid=8024 vsize=15420488 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8026/task/8072/stat : 8072 (java) R 8024 8024 3634 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 19 0 475272446 15790579712 53792 33554432000 4194304 4196468 140731570296032 139958627055864 139958781419712 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
Current children cumulated CPU time: 6.64 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 216620 KiB
[startup+2.40167 s]
/proc/loadavg: 8.51 8.07 7.26 13/238 8072
/proc/meminfo: memFree=15398088/32770624 swapFree=66935844/67108860
[pid=8024] ppid=8021 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (xcsp3-exec) S 8021 8024 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475272270 115843072 363 33554432000 4194304 5098028 140733531713488 140733531711592 139761281770108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22913024 140733531718487 140733531718745 140733531718745 140733531721670 0
/proc/8024/statm: 28282 363 304 221 0 87 0
[pid=8026] ppid=8024 vsize=15420488 memory=215516 CPUtime=8.21 cores=1,3,5,7
/proc/8026/stat : 8026 (java) S 8024 8024 3634 0 -1 1077944320 28205 0 0 0 810 11 0 0 20 0 19 0 475272270 15790579712 53879 33554432000 4194304 4196468 140731570296032 140731570278576 139959178186487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
/proc/8026/statm: 3855122 53879 3530 1 0 3816222 0
[pid=8026/tid=8027] ppid=8024 vsize=15420488 memory=279642770545664 CPUtime=1.17 cores=1,3,5,7
/proc/8026/task/8027/stat : 8027 (java) S 8024 8024 3634 0 -1 1077944384 12172 0 0 0 111 6 0 0 20 0 19 0 475272270 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959182427264 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8028] ppid=8024 vsize=15420488 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8028/stat : 8028 (java) S 8024 8024 3634 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959106227088 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8029] ppid=8024 vsize=15420488 memory=214608 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8029/stat : 8029 (java) S 8024 8024 3634 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959105174288 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8030] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8030/stat : 8030 (java) S 8024 8024 3634 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959104122000 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8031] ppid=8024 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8026/task/8031/stat : 8031 (java) S 8024 8024 3634 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 19 0 475272271 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959103069200 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8032] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8032/stat : 8032 (java) S 8024 8024 3634 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 19 0 475272272 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958646790256 139959178197634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8033] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8033/stat : 8033 (java) S 8024 8024 3634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475272273 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958645736224 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8034] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8034/stat : 8034 (java) S 8024 8024 3634 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475272273 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958644683888 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8035] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8035/stat : 8035 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958643632208 139959178205083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8036] ppid=8024 vsize=15420488 memory=0 CPUtime=1.7 cores=1,3,5,7
/proc/8026/task/8036/stat : 8036 (java) R 8024 8024 3634 0 -1 4202560 4575 0 0 0 170 0 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958642571008 139959157375937 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8037] ppid=8024 vsize=15420488 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/8026/task/8037/stat : 8037 (java) R 8024 8024 3634 0 -1 4202560 4086 0 0 0 165 1 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958641519768 139959159708933 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8038] ppid=8024 vsize=15420488 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/8026/task/8038/stat : 8038 (java) S 8024 8024 3634 0 -1 1077944384 4500 0 0 0 90 1 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958640474992 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8039] ppid=8024 vsize=15420488 memory=6082514196445294695 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8039/stat : 8039 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958639422432 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8040] ppid=8024 vsize=15420488 memory=7014195235537119589 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8040/stat : 8040 (java) S 8024 8024 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475272276 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958638369200 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8069] ppid=8024 vsize=15420488 memory=33 CPUtime=0.57 cores=1,3,5,7
/proc/8026/task/8069/stat : 8069 (java) R 8024 8024 3634 0 -1 4202560 21 0 0 0 57 0 0 0 20 0 19 0 475272446 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958027273512 139958783344567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8070] ppid=8024 vsize=15420488 memory=5803240369808509331 CPUtime=0.45 cores=1,3,5,7
/proc/8026/task/8070/stat : 8070 (java) R 8024 8024 3634 0 -1 4202560 20 0 0 0 45 0 0 0 20 0 19 0 475272446 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958028327368 139958781210952 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8071] ppid=8024 vsize=15420488 memory=8112282956445269571 CPUtime=0.31 cores=1,3,5,7
/proc/8026/task/8071/stat : 8071 (java) R 8024 8024 3634 0 -1 4202560 17 0 0 0 31 0 0 0 20 0 19 0 475272446 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958624948376 139958781872278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8072] ppid=8024 vsize=15420488 memory=1 CPUtime=0.33 cores=1,3,5,7
/proc/8026/task/8072/stat : 8072 (java) R 8024 8024 3634 0 -1 4202560 23 0 0 0 33 0 0 0 20 0 19 0 475272446 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958627052384 139958781767694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
Current children cumulated CPU time: 8.21 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 216968 KiB
[startup+2.50166 s]
/proc/loadavg: 8.51 8.07 7.26 13/238 8072
/proc/meminfo: memFree=15398088/32770624 swapFree=66935844/67108860
[pid=8024] ppid=8021 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8024/stat : 8024 (xcsp3-exec) S 8021 8024 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475272270 115843072 363 33554432000 4194304 5098028 140733531713488 140733531711592 139761281770108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22913024 140733531718487 140733531718745 140733531718745 140733531721670 0
/proc/8024/statm: 28282 363 304 221 0 87 0
[pid=8026] ppid=8024 vsize=15420488 memory=215516 CPUtime=8.59 cores=1,3,5,7
/proc/8026/stat : 8026 (java) S 8024 8024 3634 0 -1 1077944320 28215 0 0 0 848 11 0 0 20 0 19 0 475272270 15790579712 53879 33554432000 4194304 4196468 140731570296032 140731570278576 139959178186487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
/proc/8026/statm: 3855122 53879 3530 1 0 3816222 0
[pid=8026/tid=8027] ppid=8024 vsize=15420488 memory=288230574492221466 CPUtime=1.17 cores=1,3,5,7
/proc/8026/task/8027/stat : 8027 (java) S 8024 8024 3634 0 -1 1077944384 12172 0 0 0 111 6 0 0 20 0 19 0 475272270 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959182427264 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8028] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8028/stat : 8028 (java) S 8024 8024 3634 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959106227088 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8029] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8029/stat : 8029 (java) S 8024 8024 3634 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959105174288 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8030] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8030/stat : 8030 (java) S 8024 8024 3634 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475272271 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959104122000 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8031] ppid=8024 vsize=15420488 memory=288230574492221466 CPUtime=0.01 cores=1,3,5,7
/proc/8026/task/8031/stat : 8031 (java) S 8024 8024 3634 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 19 0 475272271 15790579712 53879 33554432000 4194304 4196468 140731570296032 139959103069200 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8032] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8032/stat : 8032 (java) S 8024 8024 3634 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 19 0 475272272 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958646790256 139959178197634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8033] ppid=8024 vsize=15420488 memory=215324 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8033/stat : 8033 (java) S 8024 8024 3634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475272273 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958645736224 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8034] ppid=8024 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8034/stat : 8034 (java) S 8024 8024 3634 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475272273 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958644683888 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8035] ppid=8024 vsize=15420488 memory=117 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8035/stat : 8035 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958643632208 139959178205083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8036] ppid=8024 vsize=15420488 memory=0 CPUtime=1.79 cores=1,3,5,7
/proc/8026/task/8036/stat : 8036 (java) R 8024 8024 3634 0 -1 4202560 4583 0 0 0 179 0 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958642566304 139959155935717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8037] ppid=8024 vsize=15420488 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/8026/task/8037/stat : 8037 (java) R 8024 8024 3634 0 -1 4202560 4086 0 0 0 171 1 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958641519768 139959163108288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8038] ppid=8024 vsize=15420488 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/8026/task/8038/stat : 8038 (java) S 8024 8024 3634 0 -1 1077944384 4502 0 0 0 90 1 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958640474992 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8039] ppid=8024 vsize=15420488 memory=279642770510336 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8039/stat : 8039 (java) S 8024 8024 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272275 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958639422432 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8040] ppid=8024 vsize=15420488 memory=9176 CPUtime=0 cores=1,3,5,7
/proc/8026/task/8040/stat : 8040 (java) S 8024 8024 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475272276 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958638369200 139959178197634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8069] ppid=8024 vsize=15420488 memory=23049 CPUtime=0.65 cores=1,3,5,7
/proc/8026/task/8069/stat : 8069 (java) S 8024 8024 3634 0 -1 1077944384 21 0 0 0 65 0 0 0 20 0 19 0 475272446 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958027276016 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8070] ppid=8024 vsize=15420488 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/8026/task/8070/stat : 8070 (java) S 8024 8024 3634 0 -1 1077944384 20 0 0 0 51 0 0 0 20 0 19 0 475272446 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958028330576 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8071] ppid=8024 vsize=15420488 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/8026/task/8071/stat : 8071 (java) R 8024 8024 3634 0 -1 4202560 17 0 0 0 37 0 0 0 20 0 19 0 475272446 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958624948376 139958781644596 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
[pid=8026/tid=8072] ppid=8024 vsize=15420488 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/8026/task/8072/stat : 8072 (java) S 8024 8024 3634 0 -1 1077944384 23 0 0 0 37 0 0 0 20 0 19 0 475272446 15790579712 53879 33554432000 4194304 4196468 140731570296032 139958627058512 139959178196693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140731570299867 140731570300042 140731570300042 140731570302927 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 216968 KiB
Child status: 0
Real time (s): 2.52021
CPU time (s): 8.63614
CPU user time (s): 8.51665
CPU system time (s): 0.119495
CPU usage (%): 342.675
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 216968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.51665
system time used= 0.119495
maximum resident set size= 216148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2363
involuntary context switches= 270
# summary of solver processes directly reported to runsolver:
# pid: 8024
# total CPU time (s): 8.63614
# total CPU user time (s): 8.51665
# total CPU system time (s): 0.119495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033241 second user time and 0.077666 second system time
The end