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-4247828-1500738626/watcher-4247828-1500738626 -o /tmp/evaluation-result-4247828-1500738626/solver-4247828-1500738626 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23065 --watchdog 2560 bin/concrete HOME/instance-4247828-1500738626.xml
pid=28859
running on 8 cores: 0,2,4,6,8,10,12,14
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: 1.92 1.53 1.58 3/262 28862
/proc/meminfo: memFree=30762244/32770624 swapFree=5756/318540
[pid=28862] ppid=28859 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (bash) S 28859 28862 23034 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 9127931 9736192 350 33554432000 4194304 5098028 140721442131312 140721442128952 139945276120064 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 37076992 140721442137358 140721442137443 140721442137443 140721442140142 0
/proc/28862/statm: 2377 350 277 221 0 86 0
[startup+0.10019 s]
/proc/loadavg: 1.92 1.53 1.58 3/262 28862
/proc/meminfo: memFree=30762244/32770624 swapFree=5756/318540
[pid=28862] ppid=28859 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (bash) S 28859 28862 23034 0 -1 4202496 879 6420 0 0 0 0 0 1 20 0 1 0 9127931 9871360 378 33554432000 4194304 5098028 140721442131312 140721442125320 139945276120064 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 37076992 140721442137358 140721442137443 140721442137443 140721442140142 0
/proc/28862/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200355 s]
/proc/loadavg: 1.92 1.53 1.58 3/262 28862
/proc/meminfo: memFree=30762244/32770624 swapFree=5756/318540
[pid=28862] ppid=28859 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 5090 12402 0 0 6 1 8 4 20 0 13 0 9127931 10686320640 5452 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2608965 5452 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300384 s]
/proc/loadavg: 1.92 1.53 1.58 3/262 28862
/proc/meminfo: memFree=30762244/32770624 swapFree=5756/318540
[pid=28862] ppid=28859 vsize=10902392 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 9547 12402 0 0 22 2 8 4 20 0 20 0 9127931 11164049408 10604 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2725598 10604 2997 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700201 s]
/proc/loadavg: 1.92 1.53 1.58 3/262 28862
/proc/meminfo: memFree=30762244/32770624 swapFree=5756/318540
[pid=28862] ppid=28859 vsize=10902720 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 12903 12402 0 0 83 4 8 4 20 0 20 0 9127931 11164385280 16209 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2725680 16209 3217 1 0 2713890 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10902720
[startup+1.50225 s]
/proc/loadavg: 1.92 1.53 1.58 3/282 28935
/proc/meminfo: memFree=30656748/32770624 swapFree=5756/318924
[pid=28862] ppid=28859 vsize=10913344 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 25962 12402 0 0 210 11 8 4 20 0 20 0 9127931 11175264256 44128 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2728336 44128 3410 1 0 2716450 0
[pid=28862/tid=28917] ppid=28859 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28917/stat : 28917 (java) R 28859 28862 23034 0 -1 4202560 19132 12402 0 0 127 4 8 4 20 0 20 0 9127944 11175264256 44128 33554432000 4194304 4196468 140720796232928 140590280056952 140590259909982 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28918] ppid=28859 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28918/stat : 28918 (java) S 28859 28862 23034 0 -1 1077944384 18 12402 0 0 1 0 8 4 20 0 20 0 9127945 11175264256 44128 33554432000 4194304 4196468 140720796232928 140590201903504 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28919] ppid=28859 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28919/stat : 28919 (java) S 28859 28862 23034 0 -1 1077944384 44 12402 0 0 1 0 8 4 20 0 20 0 9127945 11175264256 44128 33554432000 4194304 4196468 140720796232928 140590200850704 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28920] ppid=28859 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28920/stat : 28920 (java) S 28859 28862 23034 0 -1 1077944384 33 12402 0 0 1 0 8 4 20 0 20 0 9127945 11175264256 44128 33554432000 4194304 4196468 140720796232928 140590199798416 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28921] ppid=28859 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28921/stat : 28921 (java) S 28859 28862 23034 0 -1 1077944384 17 12402 0 0 0 0 8 4 20 0 20 0 9127945 11175264256 44193 33554432000 4194304 4196468 140720796232928 140590198745616 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28922] ppid=28859 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28922/stat : 28922 (java) S 28859 28862 23034 0 -1 1077944384 32 12402 0 0 1 0 8 4 20 0 20 0 9127945 11175264256 44193 33554432000 4194304 4196468 140720796232928 140590197693328 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28923] ppid=28859 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28923/stat : 28923 (java) S 28859 28862 23034 0 -1 1077944384 31 12402 0 0 0 0 8 4 20 0 20 0 9127945 11175264256 44193 33554432000 4194304 4196468 140720796232928 140590196640528 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28924] ppid=28859 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28924/stat : 28924 (java) S 28859 28862 23034 0 -1 1077944384 18 12402 0 0 1 0 8 4 20 0 20 0 9127945 11175264256 44193 33554432000 4194304 4196468 140720796232928 140590195588240 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28925] ppid=28859 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28925/stat : 28925 (java) S 28859 28862 23034 0 -1 1077944384 142 12402 0 0 1 0 8 4 20 0 20 0 9127945 11175264256 44193 33554432000 4194304 4196468 140720796232928 140590194535440 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28926] ppid=28859 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28926/stat : 28926 (java) S 28859 28862 23034 0 -1 1077944384 736 12402 0 0 1 0 8 4 20 0 20 0 9127947 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589750433904 140590275840642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28927] ppid=28859 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28927/stat : 28927 (java) S 28859 28862 23034 0 -1 1077944384 55 12402 0 0 0 0 8 4 20 0 20 0 9127948 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589749379872 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28928] ppid=28859 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28928/stat : 28928 (java) S 28859 28862 23034 0 -1 1077944384 45 12402 0 0 1 0 8 4 20 0 20 0 9127948 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589748327536 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28929] ppid=28859 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28929/stat : 28929 (java) S 28859 28862 23034 0 -1 1077944384 1 12402 0 0 0 0 8 4 20 0 20 0 9127951 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589747275856 140590275848091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28930] ppid=28859 vsize=10913344 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28930/stat : 28930 (java) S 28859 28862 23034 0 -1 1077944384 849 12402 0 0 15 0 8 4 20 0 20 0 9127951 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589746223728 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28931] ppid=28859 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28931/stat : 28931 (java) S 28859 28862 23034 0 -1 1077944384 766 12402 0 0 15 1 8 4 20 0 20 0 9127951 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589745170928 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28932] ppid=28859 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28932/stat : 28932 (java) S 28859 28862 23034 0 -1 1077944384 597 12402 0 0 12 0 8 4 20 0 20 0 9127951 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589744118640 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28933] ppid=28859 vsize=10913344 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28933/stat : 28933 (java) S 28859 28862 23034 0 -1 1077944384 1307 12402 0 0 28 0 8 4 20 0 20 0 9127952 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589743065840 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28934] ppid=28859 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28934/stat : 28934 (java) S 28859 28862 23034 0 -1 1077944384 3 12402 0 0 0 0 8 4 20 0 20 0 9127952 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589742012768 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28935] ppid=28859 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28935/stat : 28935 (java) S 28859 28862 23034 0 -1 1077944384 6 12402 0 0 0 0 8 4 20 0 20 0 9127952 11175264256 44193 33554432000 4194304 4196468 140720796232928 140589740960048 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10913344
[startup+3.10107 s]
/proc/loadavg: 1.92 1.53 1.58 4/282 28935
/proc/meminfo: memFree=30590248/32770624 swapFree=5756/318956
[pid=28862] ppid=28859 vsize=10927868 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 40789 12402 0 0 611 16 8 4 20 0 20 0 9127931 11190136832 55380 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2731967 55380 3473 1 0 2719522 0
[pid=28862/tid=28917] ppid=28859 vsize=10927868 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28917/stat : 28917 (java) R 28859 28862 23034 0 -1 4202560 26957 12402 0 0 283 6 8 4 20 0 20 0 9127944 11190136832 55380 33554432000 4194304 4196468 140720796232928 140590280049216 140590259909982 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28918] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28918/stat : 28918 (java) S 28859 28862 23034 0 -1 1077944384 18 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 55383 33554432000 4194304 4196468 140720796232928 140590201903504 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28919] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28919/stat : 28919 (java) S 28859 28862 23034 0 -1 1077944384 44 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 55383 33554432000 4194304 4196468 140720796232928 140590200850704 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28920] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28920/stat : 28920 (java) S 28859 28862 23034 0 -1 1077944384 33 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 55383 33554432000 4194304 4196468 140720796232928 140590199798416 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28921] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28921/stat : 28921 (java) S 28859 28862 23034 0 -1 1077944384 17 12402 0 0 0 0 8 4 20 0 20 0 9127945 11190136832 55383 33554432000 4194304 4196468 140720796232928 140590198745616 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28922] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28922/stat : 28922 (java) S 28859 28862 23034 0 -1 1077944384 32 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 55383 33554432000 4194304 4196468 140720796232928 140590197693328 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28923] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28923/stat : 28923 (java) S 28859 28862 23034 0 -1 1077944384 31 12402 0 0 0 0 8 4 20 0 20 0 9127945 11190136832 55383 33554432000 4194304 4196468 140720796232928 140590196640528 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28924] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28924/stat : 28924 (java) S 28859 28862 23034 0 -1 1077944384 18 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 55383 33554432000 4194304 4196468 140720796232928 140590195588240 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28925] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28925/stat : 28925 (java) S 28859 28862 23034 0 -1 1077944384 142 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 55383 33554432000 4194304 4196468 140720796232928 140590194535440 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28926] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28926/stat : 28926 (java) S 28859 28862 23034 0 -1 1077944384 753 12402 0 0 1 0 8 4 20 0 20 0 9127947 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589750433904 140590275840642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28927] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28927/stat : 28927 (java) S 28859 28862 23034 0 -1 1077944384 55 12402 0 0 0 0 8 4 20 0 20 0 9127948 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589749379872 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28928] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28928/stat : 28928 (java) S 28859 28862 23034 0 -1 1077944384 45 12402 0 0 1 0 8 4 20 0 20 0 9127948 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589748327536 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28929] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28929/stat : 28929 (java) S 28859 28862 23034 0 -1 1077944384 1 12402 0 0 0 0 8 4 20 0 20 0 9127951 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589747275856 140590275848091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28930] ppid=28859 vsize=10927868 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28930/stat : 28930 (java) R 28859 28862 23034 0 -1 4202560 2151 12402 0 0 73 0 8 4 20 0 20 0 9127951 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589746210128 140590255084256 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28931] ppid=28859 vsize=10927868 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28931/stat : 28931 (java) R 28859 28862 23034 0 -1 4202560 2018 12402 0 0 66 1 8 4 20 0 20 0 9127951 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589745157024 140590255075294 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28932] ppid=28859 vsize=10927868 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28932/stat : 28932 (java) R 28859 28862 23034 0 -1 4202560 1579 12402 0 0 60 1 8 4 20 0 20 0 9127951 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589744104664 140590255075343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28933] ppid=28859 vsize=10927868 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28933/stat : 28933 (java) S 28859 28862 23034 0 -1 1077944384 4793 12402 0 0 115 1 8 4 20 0 20 0 9127952 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589743065840 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28934] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28934/stat : 28934 (java) S 28859 28862 23034 0 -1 1077944384 3 12402 0 0 0 0 8 4 20 0 20 0 9127952 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589742012768 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28935] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28935/stat : 28935 (java) S 28859 28862 23034 0 -1 1077944384 7 12402 0 0 0 0 8 4 20 0 20 0 9127952 11190136832 55383 33554432000 4194304 4196468 140720796232928 140589740960048 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 10927868
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28862 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20141 s]
/proc/loadavg: 1.92 1.53 1.58 4/282 28935
/proc/meminfo: memFree=30590248/32770624 swapFree=5756/318956
[pid=28862] ppid=28859 vsize=10927868 CPUtime=6.65 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 44183 12402 0 0 636 17 8 4 20 0 20 0 9127931 11190136832 56685 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2731967 56685 3473 1 0 2719522 0
[pid=28862/tid=28917] ppid=28859 vsize=10927868 CPUtime=3.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28917/stat : 28917 (java) R 28859 28862 23034 0 -1 4202560 30180 12402 0 0 293 7 8 4 20 0 20 0 9127944 11190136832 56685 33554432000 4194304 4196468 140720796232928 140590280038624 140590256105202 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28918] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28918/stat : 28918 (java) S 28859 28862 23034 0 -1 1077944384 18 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 56685 33554432000 4194304 4196468 140720796232928 140590201903504 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28919] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28919/stat : 28919 (java) S 28859 28862 23034 0 -1 1077944384 44 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 56685 33554432000 4194304 4196468 140720796232928 140590200850704 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28920] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28920/stat : 28920 (java) S 28859 28862 23034 0 -1 1077944384 33 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 56685 33554432000 4194304 4196468 140720796232928 140590199798416 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28921] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28921/stat : 28921 (java) S 28859 28862 23034 0 -1 1077944384 17 12402 0 0 0 0 8 4 20 0 20 0 9127945 11190136832 56685 33554432000 4194304 4196468 140720796232928 140590198745616 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28922] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28922/stat : 28922 (java) S 28859 28862 23034 0 -1 1077944384 32 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 56751 33554432000 4194304 4196468 140720796232928 140590197693328 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28923] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28923/stat : 28923 (java) S 28859 28862 23034 0 -1 1077944384 31 12402 0 0 0 0 8 4 20 0 20 0 9127945 11190136832 56751 33554432000 4194304 4196468 140720796232928 140590196640528 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28924] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28924/stat : 28924 (java) S 28859 28862 23034 0 -1 1077944384 18 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 56751 33554432000 4194304 4196468 140720796232928 140590195588240 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28925] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28925/stat : 28925 (java) S 28859 28862 23034 0 -1 1077944384 142 12402 0 0 1 0 8 4 20 0 20 0 9127945 11190136832 56751 33554432000 4194304 4196468 140720796232928 140590194535440 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28926] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28926/stat : 28926 (java) S 28859 28862 23034 0 -1 1077944384 753 12402 0 0 1 0 8 4 20 0 20 0 9127947 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589750433904 140590275840642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28927] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28927/stat : 28927 (java) S 28859 28862 23034 0 -1 1077944384 55 12402 0 0 0 0 8 4 20 0 20 0 9127948 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589749379872 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28928] ppid=28859 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28928/stat : 28928 (java) S 28859 28862 23034 0 -1 1077944384 45 12402 0 0 1 0 8 4 20 0 20 0 9127948 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589748327536 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28929] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28929/stat : 28929 (java) S 28859 28862 23034 0 -1 1077944384 1 12402 0 0 0 0 8 4 20 0 20 0 9127951 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589747275856 140590275848091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28930] ppid=28859 vsize=10927868 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28930/stat : 28930 (java) S 28859 28862 23034 0 -1 1077944384 2189 12402 0 0 78 0 8 4 20 0 20 0 9127951 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589746223728 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28931] ppid=28859 vsize=10927868 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28931/stat : 28931 (java) S 28859 28862 23034 0 -1 1077944384 2049 12402 0 0 70 1 8 4 20 0 20 0 9127951 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589745170928 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28932] ppid=28859 vsize=10927868 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28932/stat : 28932 (java) S 28859 28862 23034 0 -1 1077944384 1598 12402 0 0 63 1 8 4 20 0 20 0 9127951 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589744118640 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28933] ppid=28859 vsize=10927868 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28933/stat : 28933 (java) S 28859 28862 23034 0 -1 1077944384 4852 12402 0 0 118 1 8 4 20 0 20 0 9127952 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589743065840 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28934] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28934/stat : 28934 (java) S 28859 28862 23034 0 -1 1077944384 3 12402 0 0 0 0 8 4 20 0 20 0 9127952 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589742012768 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28935] ppid=28859 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28935/stat : 28935 (java) S 28859 28862 23034 0 -1 1077944384 7 12402 0 0 0 0 8 4 20 0 20 0 9127952 11190136832 56751 33554432000 4194304 4196468 140720796232928 140589740960048 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 10927868
[startup+4.0007 s]
/proc/loadavg: 1.92 1.53 1.58 6/282 28935
/proc/meminfo: memFree=30535048/32770624 swapFree=5756/318956
[pid=28862] ppid=28859 vsize=10995452 CPUtime=9.65 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 62864 12402 0 0 929 24 8 4 20 0 20 0 9127931 11259342848 79015 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2748863 79015 3483 1 0 2736418 0
[pid=28862/tid=28917] ppid=28859 vsize=10995452 CPUtime=3.69 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28917/stat : 28917 (java) R 28859 28862 23034 0 -1 4202560 42228 12402 0 0 348 9 8 4 20 0 20 0 9127944 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590280061536 140589876643566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28918] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28918/stat : 28918 (java) S 28859 28862 23034 0 -1 1077944384 39 12402 0 0 11 1 8 4 20 0 20 0 9127945 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590201903504 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28919] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28919/stat : 28919 (java) S 28859 28862 23034 0 -1 1077944384 73 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590200850704 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28920] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28920/stat : 28920 (java) S 28859 28862 23034 0 -1 1077944384 45 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590199798416 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28921] ppid=28859 vsize=10995452 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28921/stat : 28921 (java) S 28859 28862 23034 0 -1 1077944384 37 12402 0 0 8 0 8 4 20 0 20 0 9127945 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590198745616 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28922] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28922/stat : 28922 (java) S 28859 28862 23034 0 -1 1077944384 54 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590197693328 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28923] ppid=28859 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28923/stat : 28923 (java) S 28859 28862 23034 0 -1 1077944384 50 12402 0 0 10 1 8 4 20 0 20 0 9127945 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590196640528 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28924] ppid=28859 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28924/stat : 28924 (java) S 28859 28862 23034 0 -1 1077944384 81 12402 0 0 9 0 8 4 20 0 20 0 9127945 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590195588240 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28925] ppid=28859 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28925/stat : 28925 (java) S 28859 28862 23034 0 -1 1077944384 160 12402 0 0 9 0 8 4 20 0 20 0 9127945 11259342848 79015 33554432000 4194304 4196468 140720796232928 140590194535440 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28926] ppid=28859 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28926/stat : 28926 (java) S 28859 28862 23034 0 -1 1077944384 1871 12402 0 0 11 0 8 4 20 0 20 0 9127947 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589750433904 140590275840642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28927] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28927/stat : 28927 (java) S 28859 28862 23034 0 -1 1077944384 56 12402 0 0 0 0 8 4 20 0 20 0 9127948 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589749380000 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28928] ppid=28859 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28928/stat : 28928 (java) S 28859 28862 23034 0 -1 1077944384 46 12402 0 0 1 0 8 4 20 0 20 0 9127948 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589748327552 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28929] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28929/stat : 28929 (java) S 28859 28862 23034 0 -1 1077944384 1 12402 0 0 0 0 8 4 20 0 20 0 9127951 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589747275856 140590275848091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28930] ppid=28859 vsize=10995452 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28930/stat : 28930 (java) R 28859 28862 23034 0 -1 4202560 3648 12402 0 0 130 1 8 4 20 0 20 0 9127951 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589746205328 140590259326275 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28931] ppid=28859 vsize=10995452 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28931/stat : 28931 (java) R 28859 28862 23034 0 -1 4202560 4545 12402 0 0 115 2 8 4 20 0 20 0 9127951 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589745155888 140590260937020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28932] ppid=28859 vsize=10995452 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28932/stat : 28932 (java) R 28859 28862 23034 0 -1 4202560 2517 12402 0 0 90 1 8 4 20 0 20 0 9127951 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589744105312 140590260753782 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28933] ppid=28859 vsize=10995452 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28933/stat : 28933 (java) R 28859 28862 23034 0 -1 4202560 5272 12402 0 0 141 1 8 4 20 0 20 0 9127952 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589743058128 140590268926331 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28934] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28934/stat : 28934 (java) S 28859 28862 23034 0 -1 1077944384 3 12402 0 0 0 0 8 4 20 0 20 0 9127952 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589742012768 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28935] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28935/stat : 28935 (java) S 28859 28862 23034 0 -1 1077944384 9 12402 0 0 0 0 8 4 20 0 20 0 9127952 11259342848 79015 33554432000 4194304 4196468 140720796232928 140589740960048 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 10995452
[startup+4.4007 s]
/proc/loadavg: 2.33 1.62 1.61 6/282 28935
/proc/meminfo: memFree=30453516/32770624 swapFree=5756/318952
[pid=28862] ppid=28859 vsize=10995452 CPUtime=11.49 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 64738 12402 0 0 1112 25 8 4 20 0 20 0 9127931 11259342848 79462 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2748863 79462 3492 1 0 2736418 0
[pid=28862/tid=28917] ppid=28859 vsize=10995452 CPUtime=4.1 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28917/stat : 28917 (java) R 28859 28862 23034 0 -1 4202560 42260 12402 0 0 389 9 8 4 20 0 20 0 9127944 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590280064936 140589876779335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28918] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28918/stat : 28918 (java) S 28859 28862 23034 0 -1 1077944384 39 12402 0 0 11 1 8 4 20 0 20 0 9127945 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590201903504 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28919] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28919/stat : 28919 (java) S 28859 28862 23034 0 -1 1077944384 73 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590200850704 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28920] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28920/stat : 28920 (java) S 28859 28862 23034 0 -1 1077944384 45 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590199798416 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28921] ppid=28859 vsize=10995452 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28921/stat : 28921 (java) S 28859 28862 23034 0 -1 1077944384 37 12402 0 0 8 0 8 4 20 0 20 0 9127945 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590198745616 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28922] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28922/stat : 28922 (java) S 28859 28862 23034 0 -1 1077944384 54 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590197693328 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28923] ppid=28859 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28923/stat : 28923 (java) S 28859 28862 23034 0 -1 1077944384 50 12402 0 0 10 1 8 4 20 0 20 0 9127945 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590196640528 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28924] ppid=28859 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28924/stat : 28924 (java) S 28859 28862 23034 0 -1 1077944384 81 12402 0 0 9 0 8 4 20 0 20 0 9127945 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590195588240 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28925] ppid=28859 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28925/stat : 28925 (java) S 28859 28862 23034 0 -1 1077944384 160 12402 0 0 9 0 8 4 20 0 20 0 9127945 11259342848 79462 33554432000 4194304 4196468 140720796232928 140590194535440 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28926] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28926/stat : 28926 (java) S 28859 28862 23034 0 -1 1077944384 1871 12402 0 0 12 0 8 4 20 0 20 0 9127947 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589750433904 140590275840642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28927] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28927/stat : 28927 (java) S 28859 28862 23034 0 -1 1077944384 56 12402 0 0 0 0 8 4 20 0 20 0 9127948 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589749380000 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28928] ppid=28859 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28928/stat : 28928 (java) S 28859 28862 23034 0 -1 1077944384 46 12402 0 0 1 0 8 4 20 0 20 0 9127948 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589748327552 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28929] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28929/stat : 28929 (java) S 28859 28862 23034 0 -1 1077944384 1 12402 0 0 0 0 8 4 20 0 20 0 9127951 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589747275856 140590275848091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28930] ppid=28859 vsize=10995452 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28930/stat : 28930 (java) R 28859 28862 23034 0 -1 4202560 3844 12402 0 0 171 1 8 4 20 0 20 0 9127951 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589746209696 140590253686688 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28931] ppid=28859 vsize=10995452 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28931/stat : 28931 (java) R 28859 28862 23034 0 -1 4202560 5603 12402 0 0 155 2 8 4 20 0 20 0 9127951 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589745157392 140590255131024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28932] ppid=28859 vsize=10995452 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28932/stat : 28932 (java) R 28859 28862 23034 0 -1 4202560 2788 12402 0 0 130 1 8 4 20 0 20 0 9127951 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589744106544 140590259297388 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28933] ppid=28859 vsize=10995452 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28933/stat : 28933 (java) S 28859 28862 23034 0 -1 1077944384 5587 12402 0 0 162 2 8 4 20 0 20 0 9127952 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589743065840 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28934] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28934/stat : 28934 (java) S 28859 28862 23034 0 -1 1077944384 3 12402 0 0 0 0 8 4 20 0 20 0 9127952 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589742012768 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28935] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28935/stat : 28935 (java) S 28859 28862 23034 0 -1 1077944384 10 12402 0 0 0 0 8 4 20 0 20 0 9127952 11259342848 79462 33554432000 4194304 4196468 140720796232928 140589740960048 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 10995452
[startup+4.60101 s]
/proc/loadavg: 2.33 1.62 1.61 6/282 28935
/proc/meminfo: memFree=30453516/32770624 swapFree=5756/318952
[pid=28862] ppid=28859 vsize=10995452 CPUtime=12.27 cores=0,2,4,6,8,10,12,14
/proc/28862/stat : 28862 (java) S 28859 28862 23034 0 -1 1077944320 64933 12402 0 0 1190 25 8 4 20 0 20 0 9127931 11259342848 80090 33554432000 4194304 4196468 140720796232928 140720796215472 140590275829495 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
/proc/28862/statm: 2748863 80090 3492 1 0 2736418 0
[pid=28862/tid=28917] ppid=28859 vsize=10995452 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28917/stat : 28917 (java) R 28859 28862 23034 0 -1 4202560 42297 12402 0 0 407 9 8 4 20 0 20 0 9127944 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590280058112 140589865770880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28918] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28918/stat : 28918 (java) S 28859 28862 23034 0 -1 1077944384 39 12402 0 0 11 1 8 4 20 0 20 0 9127945 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590201903504 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28919] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28919/stat : 28919 (java) S 28859 28862 23034 0 -1 1077944384 73 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590200850704 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28920] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28920/stat : 28920 (java) S 28859 28862 23034 0 -1 1077944384 45 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590199798416 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28921] ppid=28859 vsize=10995452 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28921/stat : 28921 (java) S 28859 28862 23034 0 -1 1077944384 37 12402 0 0 8 0 8 4 20 0 20 0 9127945 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590198745616 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28922] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28922/stat : 28922 (java) S 28859 28862 23034 0 -1 1077944384 54 12402 0 0 12 0 8 4 20 0 20 0 9127945 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590197693328 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28923] ppid=28859 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28923/stat : 28923 (java) S 28859 28862 23034 0 -1 1077944384 50 12402 0 0 10 1 8 4 20 0 20 0 9127945 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590196640528 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28924] ppid=28859 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28924/stat : 28924 (java) S 28859 28862 23034 0 -1 1077944384 81 12402 0 0 9 0 8 4 20 0 20 0 9127945 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590195588240 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28925] ppid=28859 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28925/stat : 28925 (java) S 28859 28862 23034 0 -1 1077944384 160 12402 0 0 9 0 8 4 20 0 20 0 9127945 11259342848 80090 33554432000 4194304 4196468 140720796232928 140590194535440 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28926] ppid=28859 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28926/stat : 28926 (java) S 28859 28862 23034 0 -1 1077944384 1871 12402 0 0 12 0 8 4 20 0 20 0 9127947 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589750433904 140590275840642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28927] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28927/stat : 28927 (java) S 28859 28862 23034 0 -1 1077944384 56 12402 0 0 0 0 8 4 20 0 20 0 9127948 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589749380000 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28928] ppid=28859 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28928/stat : 28928 (java) S 28859 28862 23034 0 -1 1077944384 46 12402 0 0 1 0 8 4 20 0 20 0 9127948 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589748327552 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28929] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28929/stat : 28929 (java) S 28859 28862 23034 0 -1 1077944384 1 12402 0 0 0 0 8 4 20 0 20 0 9127951 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589747275856 140590275848091 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28930] ppid=28859 vsize=10995452 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28930/stat : 28930 (java) R 28859 28862 23034 0 -1 4202560 3860 12402 0 0 190 1 8 4 20 0 20 0 9127951 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589746209760 140590260751298 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28931] ppid=28859 vsize=10995452 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28931/stat : 28931 (java) R 28859 28862 23034 0 -1 4202560 5621 12402 0 0 174 2 8 4 20 0 20 0 9127951 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589745159440 140590259326283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28932] ppid=28859 vsize=10995452 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28932/stat : 28932 (java) R 28859 28862 23034 0 -1 4202560 2900 12402 0 0 149 1 8 4 20 0 20 0 9127951 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589744104664 140590257349180 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28933] ppid=28859 vsize=10995452 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28933/stat : 28933 (java) R 28859 28862 23034 0 -1 1077944384 5599 12402 0 0 164 2 8 4 20 0 20 0 9127952 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589743065840 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28934] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28934/stat : 28934 (java) S 28859 28862 23034 0 -1 1077944384 3 12402 0 0 0 0 8 4 20 0 20 0 9127952 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589742012768 140590275839701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
[pid=28862/tid=28935] ppid=28859 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28862/task/28935/stat : 28935 (java) S 28859 28862 23034 0 -1 1077944384 10 12402 0 0 0 0 8 4 20 0 20 0 9127952 11259342848 80090 33554432000 4194304 4196468 140720796232928 140589740960048 140590275840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140720796240577 140720796243351 140720796243351 140720796245967 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 10995452
Child status: 0
Real time (s): 4.68788
CPU time (s): 12.5576
CPU user time (s): 12.2412
CPU system time (s): 0.316386
CPU usage (%): 267.874
Max. virtual memory (cumulated for all children) (KiB): 10997548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2412
system time used= 0.316386
maximum resident set size= 334152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9731
involuntary context switches= 1773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04033 second user time and 0.058372 second system time
The end