runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243881-1500676985/watcher-4243881-1500676985 -o /tmp/evaluation-result-4243881-1500676985/solver-4243881-1500676985 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500674681-12958 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243881-1500676985.xml
pid=13440
running on 8 cores: 0-3,8-11
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.57 2.15 2.08 6/266 13443
/proc/meminfo: memFree=31975040/32770624 swapFree=5944/204364
[pid=13443] ppid=13440 vsize=8354884 CPUtime=0 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 2241 0 0 0 0 0 0 0 20 0 7 0 2965666 8555401216 2508 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16784584 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2088721 2508 1208 1 0 2077632 0
[pid=13443/tid=13444] ppid=13440 vsize=8356940 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) S 13440 13443 9851 0 -1 1077944384 944 0 0 0 0 0 0 0 20 0 9 0 2965666 8557506560 2508 33554432000 4194304 4196468 140729822039760 140033058113232 140033053882069 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=8357968 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 2965667 8558559232 2508 33554432000 4194304 4196468 140729822039760 140032660728928 140033053882069 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=8357968 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 2965667 8558559232 2508 33554432000 4194304 4196468 140729822039760 140032659676384 140033053882069 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=8489040 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) D 13440 13443 9851 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2965667 8692776960 2508 33554432000 4194304 4196468 140729822039760 140032658623840 140033046588826 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=8947792 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) D 13440 13443 9851 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2965667 9162539008 2508 33554432000 4194304 4196468 140729822039760 140032657570488 140033046099683 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=8890416 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) D 13440 13443 9851 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2965667 9103785984 2508 33554432000 4194304 4196468 140729822039760 140032656516920 140033046588967 0 4 0 16784584 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=8882256 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) R 13440 13443 9851 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2965667 9095430144 2508 33554432000 4194304 4196468 140729822039760 140032655464376 140033046588967 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=8759344 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) D 13440 13443 9851 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2965667 8969568256 2508 33554432000 4194304 4196468 140729822039760 140032654411832 140033046099683 0 4 0 16784584 18446744071582151416 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=8759344 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) D 13440 13443 9851 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2965667 8969568256 2508 33554432000 4194304 4196468 140729822039760 140032653359984 140033046665936 0 4 0 16784584 18446744071582151416 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[startup+0.100131 s]
/proc/loadavg: 2.57 2.15 2.08 6/266 13443
/proc/meminfo: memFree=31975040/32770624 swapFree=5944/204364
[pid=13443] ppid=13440 vsize=10900556 CPUtime=0.09 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 4896 0 0 0 8 1 0 0 20 0 20 0 2965666 11162169344 6015 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2725139 6015 2628 1 0 2713552 0
[pid=13443/tid=13444] ppid=13440 vsize=10900556 CPUtime=0.08 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) R 13440 13443 9851 0 -1 4202560 2992 0 0 0 7 1 0 0 20 0 20 0 2965666 11162169344 6015 33554432000 4194304 4196468 140729822039760 140033058114144 140033053893789 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 6015 33554432000 4194304 4196468 140729822039760 140032660728592 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 6015 33554432000 4194304 4196468 140729822039760 140032659676048 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 6015 33554432000 4194304 4196468 140729822039760 140032658623504 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 6015 33554432000 4194304 4196468 140729822039760 140032657570960 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 6015 33554432000 4194304 4196468 140729822039760 140032656517392 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 6015 33554432000 4194304 4196468 140729822039760 140032655464848 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 6015 33554432000 4194304 4196468 140729822039760 140032654412304 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 6015 33554432000 4194304 4196468 140729822039760 140032653359760 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200805 s]
/proc/loadavg: 2.57 2.15 2.08 6/266 13443
/proc/meminfo: memFree=31975040/32770624 swapFree=5944/204364
[pid=13443] ppid=13440 vsize=10900556 CPUtime=0.26 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 7045 0 0 0 23 3 0 0 20 0 20 0 2965666 11162169344 8351 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2725139 8351 2853 1 0 2713552 0
[pid=13443/tid=13444] ppid=13440 vsize=10900556 CPUtime=0.18 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) R 13440 13443 9851 0 -1 4202560 4721 0 0 0 16 2 0 0 20 0 20 0 2965666 11162169344 8351 33554432000 4194304 4196468 140729822039760 140033058096384 140033039565315 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 8351 33554432000 4194304 4196468 140729822039760 140032660728592 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 8351 33554432000 4194304 4196468 140729822039760 140032659676048 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 8351 33554432000 4194304 4196468 140729822039760 140032658623504 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 8351 33554432000 4194304 4196468 140729822039760 140032657570960 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 8351 33554432000 4194304 4196468 140729822039760 140032656517392 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 8351 33554432000 4194304 4196468 140729822039760 140032655464848 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 8351 33554432000 4194304 4196468 140729822039760 140032654412304 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 8351 33554432000 4194304 4196468 140729822039760 140032653359760 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300552 s]
/proc/loadavg: 2.57 2.15 2.08 6/266 13443
/proc/meminfo: memFree=31975040/32770624 swapFree=5944/204364
[pid=13443] ppid=13440 vsize=10900556 CPUtime=0.43 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 8233 0 0 0 40 3 0 0 20 0 20 0 2965666 11162169344 10556 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2725139 10556 2946 1 0 2713552 0
[pid=13443/tid=13444] ppid=13440 vsize=10900556 CPUtime=0.28 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) R 13440 13443 9851 0 -1 4202560 5304 0 0 0 26 2 0 0 20 0 20 0 2965666 11162169344 10556 33554432000 4194304 4196468 140729822039760 140033058105632 140033053893789 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 10556 33554432000 4194304 4196468 140729822039760 140032660728592 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 10556 33554432000 4194304 4196468 140729822039760 140032659676048 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 10556 33554432000 4194304 4196468 140729822039760 140032658623504 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 10556 33554432000 4194304 4196468 140729822039760 140032657570960 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 10556 33554432000 4194304 4196468 140729822039760 140032656517392 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 10556 33554432000 4194304 4196468 140729822039760 140032655464848 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 10556 33554432000 4194304 4196468 140729822039760 140032654412304 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2965667 11162169344 10556 33554432000 4194304 4196468 140729822039760 140032653359760 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556
[startup+0.700569 s]
/proc/loadavg: 2.57 2.15 2.08 6/266 13443
/proc/meminfo: memFree=31975040/32770624 swapFree=5944/204364
[pid=13443] ppid=13440 vsize=10900632 CPUtime=1.51 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 11684 0 0 0 146 5 0 0 20 0 20 0 2965666 11162247168 30440 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2725158 30440 3082 1 0 2713552 0
[pid=13443/tid=13444] ppid=13440 vsize=10900632 CPUtime=0.67 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) R 13440 13443 9851 0 -1 4202560 5687 0 0 0 64 3 0 0 20 0 20 0 2965666 11162247168 30440 33554432000 4194304 4196468 140729822039760 140033058108152 140032663296001 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162247168 30440 33554432000 4194304 4196468 140729822039760 140032660728592 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965667 11162247168 30440 33554432000 4194304 4196468 140729822039760 140032659676048 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162247168 30440 33554432000 4194304 4196468 140729822039760 140032658623504 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162247168 30440 33554432000 4194304 4196468 140729822039760 140032657570960 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965667 11162247168 30440 33554432000 4194304 4196468 140729822039760 140032656517392 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162247168 30440 33554432000 4194304 4196468 140729822039760 140032655464848 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) S 13440 13443 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2965667 11162247168 30440 33554432000 4194304 4196468 140729822039760 140032654412304 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2965667 11162247168 30440 33554432000 4194304 4196468 140729822039760 140032653359760 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10900632
[startup+1.50076 s]
/proc/loadavg: 2.57 2.15 2.08 5/287 13464
/proc/meminfo: memFree=31732008/32770624 swapFree=5944/204408
[pid=13443] ppid=13440 vsize=10900632 CPUtime=2.89 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 14965 0 0 0 264 25 0 0 20 0 20 0 2965666 11162247168 56331 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2725158 56331 3113 1 0 2713552 0
[pid=13443/tid=13444] ppid=13440 vsize=10900632 CPUtime=1.41 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) R 13440 13443 9851 0 -1 4202560 5849 0 0 0 137 4 0 0 20 0 20 0 2965666 11162247168 56331 33554432000 4194304 4196468 140729822039760 140033058110760 140032663143414 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=10900632 CPUtime=0.05 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 46 0 0 0 3 2 0 0 20 0 20 0 2965667 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032660728592 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=10900632 CPUtime=0.05 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 35 0 0 0 3 2 0 0 20 0 20 0 2965667 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032659676048 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=10900632 CPUtime=0.05 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) S 13440 13443 9851 0 -1 1077944384 77 0 0 0 3 2 0 0 20 0 20 0 2965667 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032658623504 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=10900632 CPUtime=0.05 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) S 13440 13443 9851 0 -1 1077944384 108 0 0 0 3 2 0 0 20 0 20 0 2965667 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032657570960 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=10900632 CPUtime=0.05 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) S 13440 13443 9851 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 20 0 2965667 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032656517392 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=10900632 CPUtime=0.05 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) S 13440 13443 9851 0 -1 1077944384 202 0 0 0 3 2 0 0 20 0 20 0 2965667 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032655464848 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=10900632 CPUtime=0.05 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) S 13440 13443 9851 0 -1 1077944384 35 0 0 0 3 2 0 0 20 0 20 0 2965667 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032654412304 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=10900632 CPUtime=0.04 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) S 13440 13443 9851 0 -1 1077944384 28 0 0 0 2 2 0 0 20 0 20 0 2965667 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032653359760 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13454] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13454/stat : 13454 (java) S 13440 13443 9851 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 20 0 2965670 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032529369584 140033053883010 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13455] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13455/stat : 13455 (java) S 13440 13443 9851 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 2965670 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032528315808 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13456] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13456/stat : 13456 (java) S 13440 13443 9851 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 2965671 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032527263216 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13457] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13457/stat : 13457 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2965675 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032526211792 140033053890459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13458] ppid=13440 vsize=10900632 CPUtime=0.18 cores=0-3,8-11
/proc/13443/task/13458/stat : 13458 (java) S 13440 13443 9851 0 -1 1077944384 1331 0 0 0 18 0 0 0 20 0 20 0 2965675 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032525158384 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13459] ppid=13440 vsize=10900632 CPUtime=0.46 cores=0-3,8-11
/proc/13443/task/13459/stat : 13459 (java) S 13440 13443 9851 0 -1 1077944384 3207 0 0 0 46 0 0 0 20 0 20 0 2965675 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032524105840 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13460] ppid=13440 vsize=10900632 CPUtime=0.15 cores=0-3,8-11
/proc/13443/task/13460/stat : 13460 (java) S 13440 13443 9851 0 -1 1077944384 692 0 0 0 15 0 0 0 20 0 20 0 2965675 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032523053296 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13461] ppid=13440 vsize=10900632 CPUtime=0.18 cores=0-3,8-11
/proc/13443/task/13461/stat : 13461 (java) S 13440 13443 9851 0 -1 1077944384 1290 0 0 0 18 0 0 0 20 0 20 0 2965675 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032522000752 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13462] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13462/stat : 13462 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2965675 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032520948448 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13463] ppid=13440 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13463/stat : 13463 (java) S 13440 13443 9851 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 2965675 11162247168 56331 33554432000 4194304 4196468 140729822039760 140032519895984 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 2.89
################
# More data... #
################
[pid=13443/tid=13462] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13462/stat : 13462 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032520948448 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13463] ppid=13440 vsize=10967196 CPUtime=1.34 cores=0-3,8-11
/proc/13443/task/13463/stat : 13463 (java) S 13440 13443 9851 0 -1 1077944384 2217 0 0 0 71 63 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032519895984 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13465] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13465/stat : 13465 (java) S 13440 13443 9851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2965903 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032518841776 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 2313.33
Current children cumulated vsize (KiB) 10967196
[startup+2322.3 s]
/proc/loadavg: 1.88 1.94 2.00 3/286 13563
/proc/meminfo: memFree=28333200/32770624 swapFree=5944/206756
[pid=13443] ppid=13440 vsize=10967196 CPUtime=2373.34 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 176592 0 0 0 235787 1547 0 0 20 0 21 0 2965666 11230408704 836858 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2741799 836858 3170 1 0 2730193 0
[pid=13443/tid=13444] ppid=13440 vsize=10967196 CPUtime=2313.79 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) R 13440 13443 9851 0 -1 4202560 85277 0 0 0 231359 20 0 0 20 0 21 0 2965666 11230408704 836858 33554432000 4194304 4196468 140729822039760 140033058110464 140032665435004 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=10967196 CPUtime=6.65 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 5074 0 0 0 482 183 0 0 20 0 21 0 2965667 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032660728592 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=10967196 CPUtime=6.64 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 4240 0 0 0 477 187 0 0 20 0 21 0 2965667 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032659676048 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=10967196 CPUtime=6.61 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) S 13440 13443 9851 0 -1 1077944384 3835 0 0 0 478 183 0 0 20 0 21 0 2965667 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032658623504 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=10967196 CPUtime=6.67 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) S 13440 13443 9851 0 -1 1077944384 4810 0 0 0 483 184 0 0 20 0 21 0 2965667 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032657570960 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=10967196 CPUtime=6.55 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) S 13440 13443 9851 0 -1 1077944384 4397 0 0 0 483 172 0 0 20 0 21 0 2965667 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032656517392 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=10967196 CPUtime=6.66 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) S 13440 13443 9851 0 -1 1077944384 4741 0 0 0 478 188 0 0 20 0 21 0 2965667 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032655464848 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=10967196 CPUtime=6.55 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) S 13440 13443 9851 0 -1 1077944384 4476 0 0 0 476 179 0 0 20 0 21 0 2965667 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032654412304 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=10967196 CPUtime=6.66 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) S 13440 13443 9851 0 -1 1077944384 4901 0 0 0 479 187 0 0 20 0 21 0 2965667 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032653359760 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13454] ppid=13440 vsize=10967196 CPUtime=0.84 cores=0-3,8-11
/proc/13443/task/13454/stat : 13454 (java) S 13440 13443 9851 0 -1 1077944384 26831 0 0 0 80 4 0 0 20 0 21 0 2965670 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032529369584 140033053883010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13455] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13455/stat : 13455 (java) S 13440 13443 9851 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 2965670 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032528315872 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13456] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13456/stat : 13456 (java) S 13440 13443 9851 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 21 0 2965671 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032527263232 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13457] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13457/stat : 13457 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032526211792 140033053890459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13458] ppid=13440 vsize=10967196 CPUtime=1.29 cores=0-3,8-11
/proc/13443/task/13458/stat : 13458 (java) S 13440 13443 9851 0 -1 1077944384 5289 0 0 0 128 1 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032525158384 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13459] ppid=13440 vsize=10967196 CPUtime=1.38 cores=0-3,8-11
/proc/13443/task/13459/stat : 13459 (java) S 13440 13443 9851 0 -1 1077944384 7059 0 0 0 137 1 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032524105840 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13460] ppid=13440 vsize=10967196 CPUtime=1.07 cores=0-3,8-11
/proc/13443/task/13460/stat : 13460 (java) S 13440 13443 9851 0 -1 1077944384 5953 0 0 0 106 1 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032523053296 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13461] ppid=13440 vsize=10967196 CPUtime=0.46 cores=0-3,8-11
/proc/13443/task/13461/stat : 13461 (java) S 13440 13443 9851 0 -1 1077944384 5910 0 0 0 45 1 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032522000752 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13462] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13462/stat : 13462 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032520948448 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13463] ppid=13440 vsize=10967196 CPUtime=1.38 cores=0-3,8-11
/proc/13443/task/13463/stat : 13463 (java) S 13440 13443 9851 0 -1 1077944384 2309 0 0 0 73 65 0 0 20 0 21 0 2965675 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032519895984 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13465] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13465/stat : 13465 (java) S 13440 13443 9851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2965903 11230408704 836858 33554432000 4194304 4196468 140729822039760 140032518841776 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 2373.34
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2348.1 s]
/proc/loadavg: 1.84 1.93 1.99 3/286 13564
/proc/meminfo: memFree=28377448/32770624 swapFree=5944/206808
[pid=13443] ppid=13440 vsize=10967196 CPUtime=2400.03 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 178488 0 0 0 238455 1548 0 0 20 0 21 0 2965666 11230408704 813938 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2741799 813938 3170 1 0 2730193 0
[pid=13443/tid=13444] ppid=13440 vsize=10967196 CPUtime=2339.45 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) R 13440 13443 9851 0 -1 4202560 85902 0 0 0 233925 20 0 0 20 0 21 0 2965666 11230408704 813938 33554432000 4194304 4196468 140729822039760 140033058110464 140032665179910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=10967196 CPUtime=6.78 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 5227 0 0 0 495 183 0 0 20 0 21 0 2965667 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032660728592 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=10967196 CPUtime=6.76 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 4286 0 0 0 489 187 0 0 20 0 21 0 2965667 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032659676048 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=10967196 CPUtime=6.73 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) S 13440 13443 9851 0 -1 1077944384 3884 0 0 0 490 183 0 0 20 0 21 0 2965667 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032658623504 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=10967196 CPUtime=6.8 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) S 13440 13443 9851 0 -1 1077944384 4858 0 0 0 496 184 0 0 20 0 21 0 2965667 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032657570960 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=10967196 CPUtime=6.68 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) S 13440 13443 9851 0 -1 1077944384 4837 0 0 0 496 172 0 0 20 0 21 0 2965667 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032656517392 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=10967196 CPUtime=6.79 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) S 13440 13443 9851 0 -1 1077944384 4802 0 0 0 491 188 0 0 20 0 21 0 2965667 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032655464848 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=10967196 CPUtime=6.67 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) S 13440 13443 9851 0 -1 1077944384 4530 0 0 0 488 179 0 0 20 0 21 0 2965667 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032654412304 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=10967196 CPUtime=6.79 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) S 13440 13443 9851 0 -1 1077944384 5076 0 0 0 492 187 0 0 20 0 21 0 2965667 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032653359760 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13454] ppid=13440 vsize=10967196 CPUtime=0.84 cores=0-3,8-11
/proc/13443/task/13454/stat : 13454 (java) S 13440 13443 9851 0 -1 1077944384 27070 0 0 0 80 4 0 0 20 0 21 0 2965670 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032529369584 140033053883010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13455] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13455/stat : 13455 (java) S 13440 13443 9851 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 2965670 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032528315872 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13456] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13456/stat : 13456 (java) S 13440 13443 9851 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 21 0 2965671 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032527263232 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13457] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13457/stat : 13457 (java) S 13440 13443 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2965675 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032526211792 140033053890459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13458] ppid=13440 vsize=10967196 CPUtime=1.29 cores=0-3,8-11
/proc/13443/task/13458/stat : 13458 (java) S 13440 13443 9851 0 -1 1077944384 5289 0 0 0 128 1 0 0 20 0 21 0 2965675 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032525158384 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13459] ppid=13440 vsize=10967196 CPUtime=1.38 cores=0-3,8-11
/proc/13443/task/13459/stat : 13459 (java) S 13440 13443 9851 0 -1 1077944384 7059 0 0 0 137 1 0 0 20 0 21 0 2965675 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032524105840 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13460] ppid=13440 vsize=10967196 CPUtime=1.07 cores=0-3,8-11
/proc/13443/task/13460/stat : 13460 (java) S 13440 13443 9851 0 -1 1077944384 5953 0 0 0 106 1 0 0 20 0 21 0 2965675 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032523053296 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13461] ppid=13440 vsize=10967196 CPUtime=0.46 cores=0-3,8-11
/proc/13443/task/13461/stat : 13461 (java) S 13440 13443 9851 0 -1 1077944384 5910 0 0 0 45 1 0 0 20 0 21 0 2965675 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032522000752 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13462] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13462/stat : 13462 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2965675 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032520948448 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13463] ppid=13440 vsize=10967196 CPUtime=1.4 cores=0-3,8-11
/proc/13443/task/13463/stat : 13463 (java) S 13440 13443 9851 0 -1 1077944384 2315 0 0 0 74 66 0 0 20 0 21 0 2965675 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032519895984 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13465] ppid=13440 vsize=10967196 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13465/stat : 13465 (java) S 13440 13443 9851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2965903 11230408704 813938 33554432000 4194304 4196468 140729822039760 140032518841776 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13443 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2348.4 s]
/proc/loadavg: 1.84 1.93 1.99 3/286 13564
/proc/meminfo: memFree=28377448/32770624 swapFree=5944/206808
[pid=13443] ppid=13440 vsize=11101352 CPUtime=2400.18 cores=0-3,8-11
/proc/13443/stat : 13443 (java) S 13440 13443 9851 0 -1 1077944320 180095 0 0 0 238469 1549 0 0 20 0 22 0 2965666 11367784448 814026 33554432000 4194304 4196468 140729822039760 140729822022304 140033053871863 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
/proc/13443/statm: 2775338 814026 3172 1 0 2763732 0
[pid=13443/tid=13444] ppid=13440 vsize=11101352 CPUtime=2339.45 cores=0-3,8-11
/proc/13443/task/13444/stat : 13444 (java) S 13440 13443 9851 0 -1 1077944384 85967 0 0 0 233925 20 0 0 20 0 22 0 2965666 11367784448 814026 33554432000 4194304 4196468 140729822039760 140033058114736 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13445] ppid=13440 vsize=11101352 CPUtime=6.78 cores=0-3,8-11
/proc/13443/task/13445/stat : 13445 (java) S 13440 13443 9851 0 -1 1077944384 5227 0 0 0 495 183 0 0 20 0 22 0 2965667 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032660728592 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13446] ppid=13440 vsize=11101352 CPUtime=6.76 cores=0-3,8-11
/proc/13443/task/13446/stat : 13446 (java) S 13440 13443 9851 0 -1 1077944384 4286 0 0 0 489 187 0 0 20 0 22 0 2965667 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032659676048 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13447] ppid=13440 vsize=11101352 CPUtime=6.73 cores=0-3,8-11
/proc/13443/task/13447/stat : 13447 (java) S 13440 13443 9851 0 -1 1077944384 3884 0 0 0 490 183 0 0 20 0 22 0 2965667 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032658623504 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13448] ppid=13440 vsize=11101352 CPUtime=6.8 cores=0-3,8-11
/proc/13443/task/13448/stat : 13448 (java) S 13440 13443 9851 0 -1 1077944384 4858 0 0 0 496 184 0 0 20 0 22 0 2965667 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032657570960 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13449] ppid=13440 vsize=11101352 CPUtime=6.68 cores=0-3,8-11
/proc/13443/task/13449/stat : 13449 (java) S 13440 13443 9851 0 -1 1077944384 4837 0 0 0 496 172 0 0 20 0 22 0 2965667 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032656517392 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13450] ppid=13440 vsize=11101352 CPUtime=6.79 cores=0-3,8-11
/proc/13443/task/13450/stat : 13450 (java) S 13440 13443 9851 0 -1 1077944384 4802 0 0 0 491 188 0 0 20 0 22 0 2965667 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032655464848 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13451] ppid=13440 vsize=11101352 CPUtime=6.67 cores=0-3,8-11
/proc/13443/task/13451/stat : 13451 (java) S 13440 13443 9851 0 -1 1077944384 4530 0 0 0 488 179 0 0 20 0 22 0 2965667 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032654412304 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13452] ppid=13440 vsize=11101352 CPUtime=6.79 cores=0-3,8-11
/proc/13443/task/13452/stat : 13452 (java) S 13440 13443 9851 0 -1 1077944384 5076 0 0 0 492 187 0 0 20 0 22 0 2965667 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032653359760 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13454] ppid=13440 vsize=11101352 CPUtime=0.84 cores=0-3,8-11
/proc/13443/task/13454/stat : 13454 (java) S 13440 13443 9851 0 -1 1077944384 27070 0 0 0 80 4 0 0 20 0 22 0 2965670 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032529369584 140033053883010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13455] ppid=13440 vsize=11101352 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13455/stat : 13455 (java) S 13440 13443 9851 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 22 0 2965670 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032528315872 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13456] ppid=13440 vsize=11101352 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13456/stat : 13456 (java) S 13440 13443 9851 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 22 0 2965671 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032527263232 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13457] ppid=13440 vsize=11101352 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13457/stat : 13457 (java) S 13440 13443 9851 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 22 0 2965675 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032526211792 140033053890459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13458] ppid=13440 vsize=11101352 CPUtime=1.31 cores=0-3,8-11
/proc/13443/task/13458/stat : 13458 (java) S 13440 13443 9851 0 -1 1077944384 5425 0 0 0 130 1 0 0 20 0 22 0 2965675 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032525158384 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13459] ppid=13440 vsize=11101352 CPUtime=1.39 cores=0-3,8-11
/proc/13443/task/13459/stat : 13459 (java) S 13440 13443 9851 0 -1 1077944384 7325 0 0 0 138 1 0 0 20 0 22 0 2965675 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032524105840 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13460] ppid=13440 vsize=11101352 CPUtime=1.07 cores=0-3,8-11
/proc/13443/task/13460/stat : 13460 (java) S 13440 13443 9851 0 -1 1077944384 5969 0 0 0 106 1 0 0 20 0 22 0 2965675 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032523053296 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13461] ppid=13440 vsize=11101352 CPUtime=0.46 cores=0-3,8-11
/proc/13443/task/13461/stat : 13461 (java) S 13440 13443 9851 0 -1 1077944384 6399 0 0 0 45 1 0 0 20 0 22 0 2965675 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032522000752 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13462] ppid=13440 vsize=11101352 CPUtime=0 cores=0-3,8-11
/proc/13443/task/13462/stat : 13462 (java) S 13440 13443 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2965675 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032520948448 140033053882069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
[pid=13443/tid=13463] ppid=13440 vsize=11101352 CPUtime=1.4 cores=0-3,8-11
/proc/13443/task/13463/stat : 13463 (java) S 13440 13443 9851 0 -1 1077944384 2315 0 0 0 74 66 0 0 20 0 22 0 2965675 11367784448 814026 33554432000 4194304 4196468 140729822039760 140032519895984 140033053883010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13266944 140729822045355 140729822045508 140729822045508 140729822048207 0
Current children cumulated CPU time (s) 2400.18
Current children cumulated vsize (KiB) 11101352
Child status: 143
Real time (s): 2348.48
CPU time (s): 2400.26
CPU user time (s): 2384.75
CPU system time (s): 15.5081
CPU usage (%): 102.205
Max. virtual memory (cumulated for all children) (KiB): 11101352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2384.75
system time used= 15.5081
maximum resident set size= 3679752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55251
involuntary context switches= 122249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0181 second user time and 17.4216 second system time
The end