runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8245 MiB free)
memory of node 1: 16384 MiB (12299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290557-1532252613/watcher-4290557-1532252613 -o /tmp/evaluation-result-4290557-1532252613/solver-4290557-1532252613 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532226534-30285 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1641388490 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290557-1532252613.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=985, runsolver pid=982
[startup+0.100142 s]*
/proc/loadavg: 2.02 1.67 1.51 3/215 1001
/proc/meminfo: memFree=21019672/32770624 swapFree=67108860/67108860
[pid=985] ppid=982 vsize=14082740 memory=31296 CPUtime=0.12 cores=1,3,5,7
/proc/985/stat : 985 (java) S 982 985 30253 0 -1 1077944320 6708 0 0 0 11 1 0 0 20 0 15 0 42824462 14420725760 7824 33554432000 4194304 4196468 140736283625232 140736283607776 140648894287607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
/proc/985/statm: 3520685 7824 3142 1 0 3482761 0
[pid=985/tid=987] ppid=982 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 4781 0 0 0 9 0 0 0 20 0 15 0 42824462 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648898490728 140648878368094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14082740 memory=4294967641 CPUtime=0 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14082740 memory=140247250519367 CPUtime=0 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14082740 memory=140247250302592 CPUtime=0 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=994] ppid=982 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/985/task/994/stat : 994 (java) S 982 985 30253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648232506528 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=995] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/995/stat : 995 (java) S 982 985 30253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648231453424 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=996] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/996/stat : 996 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648230402000 140648894306203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=997] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/997/stat : 997 (java) S 982 985 30253 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648229350128 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=998] ppid=982 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/985/task/998/stat : 998 (java) S 982 985 30253 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648228297584 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=999] ppid=982 vsize=14082740 memory=140247250302592 CPUtime=0.01 cores=1,3,5,7
/proc/985/task/999/stat : 999 (java) S 982 985 30253 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 42824468 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648227244528 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1000] ppid=982 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/985/task/1000/stat : 1000 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648226192224 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1001] ppid=982 vsize=14082740 memory=140247250302592 CPUtime=0 cores=1,3,5,7
/proc/985/task/1001/stat : 1001 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 7824 33554432000 4194304 4196468 140736283625232 140648225139248 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31296 KiB
[startup+0.210698 s]*
/proc/loadavg: 2.02 1.67 1.51 6/215 1001
/proc/meminfo: memFree=21004044/32770624 swapFree=67108860/67108860
[pid=985] ppid=982 vsize=14082740 memory=47088 CPUtime=0.29 cores=1,3,5,7
/proc/985/stat : 985 (java) S 982 985 30253 0 -1 1077944320 10380 0 0 0 27 2 0 0 20 0 15 0 42824462 14420725760 11772 33554432000 4194304 4196468 140736283625232 140736283607776 140648894287607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
/proc/985/statm: 3520685 11772 3363 1 0 3482761 0
[pid=985/tid=987] ppid=982 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 8104 0 0 0 19 1 0 0 20 0 15 0 42824462 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648898514672 140648894309533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14082740 memory=4294967641 CPUtime=0 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14082740 memory=140247250519367 CPUtime=0 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14082740 memory=140247250302592 CPUtime=0 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=994] ppid=982 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/985/task/994/stat : 994 (java) S 982 985 30253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648232506528 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=995] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/995/stat : 995 (java) S 982 985 30253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648231453424 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=996] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/996/stat : 996 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648230402000 140648894306203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=997] ppid=982 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/985/task/997/stat : 997 (java) S 982 985 30253 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 15 0 42824468 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648229350128 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=998] ppid=982 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/985/task/998/stat : 998 (java) S 982 985 30253 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 15 0 42824468 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648228297584 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=999] ppid=982 vsize=14082740 memory=140247250302592 CPUtime=0.05 cores=1,3,5,7
/proc/985/task/999/stat : 999 (java) R 982 985 30253 0 -1 4202560 291 0 0 0 5 0 0 0 20 0 15 0 42824468 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648227241464 140648872760944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1000] ppid=982 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/985/task/1000/stat : 1000 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648226192224 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1001] ppid=982 vsize=14082740 memory=140247250302592 CPUtime=0 cores=1,3,5,7
/proc/985/task/1001/stat : 1001 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 11772 33554432000 4194304 4196468 140736283625232 140648225139248 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47088 KiB
[startup+0.310419 s]*
/proc/loadavg: 2.02 1.67 1.51 3/215 1001
/proc/meminfo: memFree=21000136/32770624 swapFree=67108860/67108860
[pid=985] ppid=982 vsize=14082740 memory=50772 CPUtime=0.44 cores=1,3,5,7
/proc/985/stat : 985 (java) S 982 985 30253 0 -1 1077944320 10788 0 0 0 41 3 0 0 20 0 15 0 42824462 14420725760 12693 33554432000 4194304 4196468 140736283625232 140736283607776 140648894287607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
/proc/985/statm: 3520685 12693 3411 1 0 3482761 0
[pid=985/tid=987] ppid=982 vsize=14082740 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 8459 0 0 0 28 2 0 0 20 0 15 0 42824462 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648898499120 140648875852569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14082740 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14082740 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14082740 memory=3292 CPUtime=0 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=994] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/994/stat : 994 (java) S 982 985 30253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648232506528 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=995] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/995/stat : 995 (java) S 982 985 30253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42824465 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648231453424 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=996] ppid=982 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/996/stat : 996 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648230402000 140648894306203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=997] ppid=982 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/985/task/997/stat : 997 (java) S 982 985 30253 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 15 0 42824468 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648229350128 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=998] ppid=982 vsize=14082740 memory=140247123976751 CPUtime=0.02 cores=1,3,5,7
/proc/985/task/998/stat : 998 (java) S 982 985 30253 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 42824468 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648228297584 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=999] ppid=982 vsize=14082740 memory=280494374288512 CPUtime=0.07 cores=1,3,5,7
/proc/985/task/999/stat : 999 (java) S 982 985 30253 0 -1 1077944384 309 0 0 0 7 0 0 0 20 0 15 0 42824468 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648227244528 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1000] ppid=982 vsize=14082740 memory=140247123981359 CPUtime=0 cores=1,3,5,7
/proc/985/task/1000/stat : 1000 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648226192224 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1001] ppid=982 vsize=14082740 memory=140247250302603 CPUtime=0 cores=1,3,5,7
/proc/985/task/1001/stat : 1001 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824468 14420725760 12693 33554432000 4194304 4196468 140736283625232 140648225139248 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50772 KiB
[startup+0.700765 s]
/proc/loadavg: 2.02 1.67 1.51 4/215 1001
/proc/meminfo: memFree=20976324/32770624 swapFree=67108860/67108860
[pid=985] ppid=982 vsize=14084808 memory=89188 CPUtime=0.99 cores=1,3,5,7
/proc/985/stat : 985 (java) S 982 985 30253 0 -1 1077944320 17647 0 0 0 94 5 0 0 20 0 15 0 42824462 14422843392 22297 33554432000 4194304 4196468 140736283625232 140736283607776 140648894287607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
/proc/985/statm: 3521202 22297 3501 1 0 3483273 0
[pid=985/tid=987] ppid=982 vsize=14084808 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 14925 0 0 0 64 3 0 0 20 0 15 0 42824462 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648898498416 140648878368094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14084808 memory=144512026551328 CPUtime=0 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42824465 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=994] ppid=982 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/994/stat : 994 (java) S 982 985 30253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42824465 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648232506528 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=995] ppid=982 vsize=14084808 memory=280494247772400 CPUtime=0 cores=1,3,5,7
/proc/985/task/995/stat : 995 (java) S 982 985 30253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42824465 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648231453424 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=996] ppid=982 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/996/stat : 996 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648230402000 140648894306203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=997] ppid=982 vsize=14084808 memory=-6152901506839748393 CPUtime=0.07 cores=1,3,5,7
/proc/985/task/997/stat : 997 (java) S 982 985 30253 0 -1 1077944384 363 0 0 0 7 0 0 0 20 0 15 0 42824468 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648229350128 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=998] ppid=982 vsize=14084808 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/985/task/998/stat : 998 (java) S 982 985 30253 0 -1 1077944384 578 0 0 0 7 0 0 0 20 0 15 0 42824468 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648228297584 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=999] ppid=982 vsize=14084808 memory=6944656592455360604 CPUtime=0.15 cores=1,3,5,7
/proc/985/task/999/stat : 999 (java) S 982 985 30253 0 -1 1077944384 398 0 0 0 15 0 0 0 20 0 15 0 42824468 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648227244528 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1000] ppid=982 vsize=14084808 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/985/task/1000/stat : 1000 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648226192224 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1001] ppid=982 vsize=14084808 memory=-7357787915995474596 CPUtime=0 cores=1,3,5,7
/proc/985/task/1001/stat : 1001 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824468 14422843392 22297 33554432000 4194304 4196468 140736283625232 140648225139248 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89188 KiB
[startup+1.50082 s]
/proc/loadavg: 2.02 1.67 1.51 4/215 1001
/proc/meminfo: memFree=20943940/32770624 swapFree=67108860/67108860
[pid=985] ppid=982 vsize=14090952 memory=172936 CPUtime=2.87 cores=1,3,5,7
/proc/985/stat : 985 (java) S 982 985 30253 0 -1 1077944320 27148 0 0 0 279 8 0 0 20 0 15 0 42824462 14429134848 43234 33554432000 4194304 4196468 140736283625232 140736283607776 140648894287607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
/proc/985/statm: 3522738 43234 3541 1 0 3484809 0
[pid=985/tid=987] ppid=982 vsize=14090952 memory=602 CPUtime=1.47 cores=1,3,5,7
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 19827 0 0 0 142 5 0 0 20 0 15 0 42824462 14429134848 43234 33554432000 4194304 4196468 140736283625232 140648898522800 140648524121915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14090952 memory=198 CPUtime=0 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14429134848 43234 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14429134848 43234 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14090952 memory=61 CPUtime=0 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42824463 14429134848 43234 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14090952 memory=60 CPUtime=0 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42824463 14429134848 43234 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14090952 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 43234 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
################
# More data... #
################
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 46849 0 0 0 224167 35 0 0 20 0 15 0 42824462 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648898525872 140648524625815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14090952 memory=278224 CPUtime=8.64 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 3379 0 0 0 800 64 0 0 20 0 15 0 42824463 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14090952 memory=278224 CPUtime=8.59 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 2617 0 0 0 790 69 0 0 20 0 15 0 42824463 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14090952 memory=278224 CPUtime=8.59 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 3284 0 0 0 791 68 0 0 20 0 15 0 42824463 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14090952 memory=278224 CPUtime=8.56 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 3819 0 0 0 789 67 0 0 20 0 15 0 42824463 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14090952 memory=278224 CPUtime=8.84 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 5788 0 0 0 820 64 0 0 20 0 15 0 42824465 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=994] ppid=982 vsize=14090952 memory=278224 CPUtime=0 cores=1,3,5,7
/proc/985/task/994/stat : 994 (java) S 982 985 30253 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648232506592 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=995] ppid=982 vsize=14090952 memory=278224 CPUtime=0 cores=1,3,5,7
/proc/985/task/995/stat : 995 (java) S 982 985 30253 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648231453440 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=996] ppid=982 vsize=14090952 memory=278224 CPUtime=0 cores=1,3,5,7
/proc/985/task/996/stat : 996 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648230402000 140648894306203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=997] ppid=982 vsize=14090952 memory=278224 CPUtime=0.59 cores=1,3,5,7
/proc/985/task/997/stat : 997 (java) S 982 985 30253 0 -1 1077944384 3645 0 0 0 59 0 0 0 20 0 15 0 42824468 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648229350128 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=998] ppid=982 vsize=14090952 memory=920 CPUtime=0.67 cores=1,3,5,7
/proc/985/task/998/stat : 998 (java) S 982 985 30253 0 -1 1077944384 4679 0 0 0 66 1 0 0 20 0 15 0 42824468 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648228297584 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=999] ppid=982 vsize=14090952 memory=6947385649911455296 CPUtime=0.5 cores=1,3,5,7
/proc/985/task/999/stat : 999 (java) S 982 985 30253 0 -1 1077944384 4477 0 0 0 50 0 0 0 20 0 15 0 42824468 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648227244528 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1000] ppid=982 vsize=14090952 memory=640 CPUtime=0 cores=1,3,5,7
/proc/985/task/1000/stat : 1000 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648226192224 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1001] ppid=982 vsize=14090952 memory=4140 CPUtime=1.14 cores=1,3,5,7
/proc/985/task/1001/stat : 1001 (java) S 982 985 30253 0 -1 1077944384 1135 0 0 0 50 64 0 0 20 0 15 0 42824468 14429134848 69556 33554432000 4194304 4196468 140736283625232 140648225139248 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
Current children cumulated CPU time: 2288.23 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 278224 KiB
[startup+2322.3 s]
/proc/loadavg: 1.33 1.26 1.31 3/216 1187
/proc/meminfo: memFree=20875516/32770624 swapFree=67108860/67108860
[pid=985] ppid=982 vsize=14090952 memory=282320 CPUtime=2349.01 cores=1,3,5,7
/proc/985/stat : 985 (java) S 982 985 30253 0 -1 1077944320 82319 0 0 0 234560 341 0 0 20 0 15 0 42824462 14429134848 70580 33554432000 4194304 4196468 140736283625232 140736283607776 140648894287607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
/proc/985/statm: 3522738 70580 3571 1 0 3484809 0
[pid=985/tid=987] ppid=982 vsize=14090952 memory=280272 CPUtime=2301.49 cores=1,3,5,7
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 47557 0 0 0 230114 35 0 0 20 0 15 0 42824462 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648898525760 140648523873176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14090952 memory=280272 CPUtime=8.91 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 3548 0 0 0 825 66 0 0 20 0 15 0 42824463 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14090952 memory=280272 CPUtime=8.85 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 2662 0 0 0 815 70 0 0 20 0 15 0 42824463 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14090952 memory=1444 CPUtime=8.84 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 3352 0 0 0 815 69 0 0 20 0 15 0 42824463 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14090952 memory=280272 CPUtime=8.83 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 3843 0 0 0 814 69 0 0 20 0 15 0 42824463 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14090952 memory=280272 CPUtime=9.05 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 5973 0 0 0 840 65 0 0 20 0 15 0 42824465 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=994] ppid=982 vsize=14090952 memory=280272 CPUtime=0 cores=1,3,5,7
/proc/985/task/994/stat : 994 (java) S 982 985 30253 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648232506592 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=995] ppid=982 vsize=14090952 memory=282320 CPUtime=0 cores=1,3,5,7
/proc/985/task/995/stat : 995 (java) S 982 985 30253 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648231453440 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=996] ppid=982 vsize=14090952 memory=1960 CPUtime=0 cores=1,3,5,7
/proc/985/task/996/stat : 996 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648230402000 140648894306203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=997] ppid=982 vsize=14090952 memory=282320 CPUtime=0.59 cores=1,3,5,7
/proc/985/task/997/stat : 997 (java) S 982 985 30253 0 -1 1077944384 3648 0 0 0 59 0 0 0 20 0 15 0 42824468 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648229350128 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=998] ppid=982 vsize=14090952 memory=960 CPUtime=0.67 cores=1,3,5,7
/proc/985/task/998/stat : 998 (java) S 982 985 30253 0 -1 1077944384 4682 0 0 0 66 1 0 0 20 0 15 0 42824468 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648228297584 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=999] ppid=982 vsize=14090952 memory=282320 CPUtime=0.51 cores=1,3,5,7
/proc/985/task/999/stat : 999 (java) S 982 985 30253 0 -1 1077944384 4479 0 0 0 51 0 0 0 20 0 15 0 42824468 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648227244528 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1000] ppid=982 vsize=14090952 memory=282320 CPUtime=0 cores=1,3,5,7
/proc/985/task/1000/stat : 1000 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648226192224 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1001] ppid=982 vsize=14090952 memory=282320 CPUtime=1.17 cores=1,3,5,7
/proc/985/task/1001/stat : 1001 (java) S 982 985 30253 0 -1 1077944384 1150 0 0 0 51 66 0 0 20 0 15 0 42824468 14429134848 70580 33554432000 4194304 4196468 140736283625232 140648225139248 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
Current children cumulated CPU time: 2349.01 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 282320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2372.7 s]
/proc/loadavg: 1.51 1.33 1.33 3/216 1188
/proc/meminfo: memFree=20869632/32770624 swapFree=67108860/67108860
[pid=985] ppid=982 vsize=14090952 memory=284368 CPUtime=2400.08 cores=1,3,5,7
/proc/985/stat : 985 (java) S 982 985 30253 0 -1 1077944320 83554 0 0 0 239660 348 0 0 20 0 15 0 42824462 14429134848 71092 33554432000 4194304 4196468 140736283625232 140736283607776 140648894287607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
/proc/985/statm: 3522738 71092 3571 1 0 3484809 0
[pid=985/tid=987] ppid=982 vsize=14090952 memory=284368 CPUtime=2351.4 cores=1,3,5,7
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 48286 0 0 0 235104 36 0 0 20 0 15 0 42824462 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648898525808 140648524625833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14090952 memory=282320 CPUtime=9.14 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 3567 0 0 0 848 66 0 0 20 0 15 0 42824463 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14090952 memory=0 CPUtime=9.09 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 2704 0 0 0 838 71 0 0 20 0 15 0 42824463 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14090952 memory=282320 CPUtime=9.08 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 3534 0 0 0 837 71 0 0 20 0 15 0 42824463 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14090952 memory=284368 CPUtime=9.06 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 3910 0 0 0 836 70 0 0 20 0 15 0 42824463 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14090952 memory=284368 CPUtime=9.26 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 6148 0 0 0 860 66 0 0 20 0 15 0 42824465 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=994] ppid=982 vsize=14090952 memory=284368 CPUtime=0 cores=1,3,5,7
/proc/985/task/994/stat : 994 (java) S 982 985 30253 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648232506592 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=995] ppid=982 vsize=14090952 memory=284368 CPUtime=0 cores=1,3,5,7
/proc/985/task/995/stat : 995 (java) S 982 985 30253 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648231453440 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=996] ppid=982 vsize=14090952 memory=284368 CPUtime=0 cores=1,3,5,7
/proc/985/task/996/stat : 996 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648230402000 140648894306203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=997] ppid=982 vsize=14090952 memory=284368 CPUtime=0.59 cores=1,3,5,7
/proc/985/task/997/stat : 997 (java) S 982 985 30253 0 -1 1077944384 3650 0 0 0 59 0 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648229350128 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=998] ppid=982 vsize=14090952 memory=4140 CPUtime=0.67 cores=1,3,5,7
/proc/985/task/998/stat : 998 (java) S 982 985 30253 0 -1 1077944384 4684 0 0 0 66 1 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648228297584 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=999] ppid=982 vsize=14090952 memory=284368 CPUtime=0.51 cores=1,3,5,7
/proc/985/task/999/stat : 999 (java) S 982 985 30253 0 -1 1077944384 4481 0 0 0 51 0 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648227244528 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1000] ppid=982 vsize=14090952 memory=284368 CPUtime=0 cores=1,3,5,7
/proc/985/task/1000/stat : 1000 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648226192224 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1001] ppid=982 vsize=14090952 memory=284368 CPUtime=1.2 cores=1,3,5,7
/proc/985/task/1001/stat : 1001 (java) S 982 985 30253 0 -1 1077944384 1165 0 0 0 52 68 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648225139248 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 284368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2372.71 s]
# the end of solver process 985 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.61 s, system=3.49496 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2372.7 s]
/proc/loadavg: 1.51 1.33 1.33 3/216 1188
/proc/meminfo: memFree=20869632/32770624 swapFree=67108860/67108860
[pid=985] ppid=982 vsize=14090952 memory=284368 CPUtime=2400.08 cores=1,3,5,7
/proc/985/stat : 985 (java) S 982 985 30253 0 -1 1077944320 83554 0 0 0 239660 348 0 0 20 0 15 0 42824462 14429134848 71092 33554432000 4194304 4196468 140736283625232 140736283607776 140648894287607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
/proc/985/statm: 3522738 71092 3571 1 0 3484809 0
[pid=985/tid=987] ppid=982 vsize=14090952 memory=284368 CPUtime=2351.4 cores=1,3,5,7
/proc/985/task/987/stat : 987 (java) R 982 985 30253 0 -1 4202560 48286 0 0 0 235104 36 0 0 20 0 15 0 42824462 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648898525808 140648524625833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=988] ppid=982 vsize=14090952 memory=282320 CPUtime=9.14 cores=1,3,5,7
/proc/985/task/988/stat : 988 (java) S 982 985 30253 0 -1 1077944384 3567 0 0 0 848 66 0 0 20 0 15 0 42824463 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648846908432 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=990] ppid=982 vsize=14090952 memory=0 CPUtime=9.09 cores=1,3,5,7
/proc/985/task/990/stat : 990 (java) S 982 985 30253 0 -1 1077944384 2704 0 0 0 838 71 0 0 20 0 15 0 42824463 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648845855888 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=991] ppid=982 vsize=14090952 memory=282320 CPUtime=9.08 cores=1,3,5,7
/proc/985/task/991/stat : 991 (java) S 982 985 30253 0 -1 1077944384 3534 0 0 0 837 71 0 0 20 0 15 0 42824463 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648844802832 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=992] ppid=982 vsize=14090952 memory=284368 CPUtime=9.06 cores=1,3,5,7
/proc/985/task/992/stat : 992 (java) S 982 985 30253 0 -1 1077944384 3910 0 0 0 836 70 0 0 20 0 15 0 42824463 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648843750288 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=993] ppid=982 vsize=14090952 memory=284368 CPUtime=9.26 cores=1,3,5,7
/proc/985/task/993/stat : 993 (java) S 982 985 30253 0 -1 1077944384 6148 0 0 0 860 66 0 0 20 0 15 0 42824465 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648233560304 140648894298754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=994] ppid=982 vsize=14090952 memory=284368 CPUtime=0 cores=1,3,5,7
/proc/985/task/994/stat : 994 (java) S 982 985 30253 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648232506592 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=995] ppid=982 vsize=14090952 memory=284368 CPUtime=0 cores=1,3,5,7
/proc/985/task/995/stat : 995 (java) S 982 985 30253 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 42824465 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648231453440 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=996] ppid=982 vsize=14090952 memory=284368 CPUtime=0 cores=1,3,5,7
/proc/985/task/996/stat : 996 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648230402000 140648894306203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=997] ppid=982 vsize=14090952 memory=284368 CPUtime=0.59 cores=1,3,5,7
/proc/985/task/997/stat : 997 (java) S 982 985 30253 0 -1 1077944384 3650 0 0 0 59 0 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648229350128 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=998] ppid=982 vsize=14090952 memory=4140 CPUtime=0.67 cores=1,3,5,7
/proc/985/task/998/stat : 998 (java) S 982 985 30253 0 -1 1077944384 4684 0 0 0 66 1 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648228297584 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=999] ppid=982 vsize=14090952 memory=284368 CPUtime=0.51 cores=1,3,5,7
/proc/985/task/999/stat : 999 (java) S 982 985 30253 0 -1 1077944384 4481 0 0 0 51 0 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648227244528 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1000] ppid=982 vsize=14090952 memory=284368 CPUtime=0 cores=1,3,5,7
/proc/985/task/1000/stat : 1000 (java) S 982 985 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648226192224 140648894297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
[pid=985/tid=1001] ppid=982 vsize=14090952 memory=284368 CPUtime=1.2 cores=1,3,5,7
/proc/985/task/1001/stat : 1001 (java) S 982 985 30253 0 -1 1077944384 1165 0 0 0 52 68 0 0 20 0 15 0 42824468 14429134848 71092 33554432000 4194304 4196468 140736283625232 140648225139248 140648894298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 37019648 140736283632712 140736283632905 140736283632905 140736283635663 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 284368 KiB
Child status: 143
Real time (s): 2372.71
CPU time (s): 2400.11
CPU user time (s): 2396.61
CPU system time (s): 3.49496
CPU usage (%): 101.155
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 284368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.61
system time used= 3.49496
maximum resident set size= 284924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83733
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 304836
involuntary context switches= 5890
# summary of solver processes directly reported to runsolver:
# pid: 985
# total CPU time (s): 2400.11
# total CPU user time (s): 2396.61
# total CPU system time (s): 3.49496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5645 second user time and 22.4611 second system time
The end