runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456718-1307635207/watcher-3456718-1307635207 -o /tmp/evaluation-result-3456718-1307635207/solver-3456718-1307635207 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456718-1307635207.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.72 3/195 25748
/proc/meminfo: memFree=31143656/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/25748/stat : 25748 (java) R 25746 25748 25448 0 -1 4202496 953 0 0 0 0 0 0 0 25 0 1 0 953751409 23580672 697 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231890528145 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25748/statm: 5757 697 513 9 0 124 0
[startup+0.0316471 s]
/proc/loadavg: 2.00 1.99 1.72 3/195 25748
/proc/meminfo: memFree=31143656/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 10763 0 1 0 1 1 0 0 25 0 10 0 953751409 10705932288 10462 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2613753 10464 1515 9 0 2604501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100663 s]
/proc/loadavg: 2.00 1.99 1.72 3/195 25748
/proc/meminfo: memFree=31143656/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10540396 CPUtime=0.1 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 13052 0 1 0 8 2 0 0 25 0 18 0 953751409 10793365504 12737 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2635099 12737 2092 9 0 2625833 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540396
[startup+0.307615 s]
/proc/loadavg: 2.00 1.99 1.72 3/195 25748
/proc/meminfo: memFree=31143656/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10541420 CPUtime=0.49 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 15855 0 1 0 47 2 0 0 25 0 18 0 953751409 10794414080 15428 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2635355 15428 2200 9 0 2626089 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541420
[startup+0.700522 s]
/proc/loadavg: 2.00 1.99 1.72 3/195 25748
/proc/meminfo: memFree=31143656/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10562684 CPUtime=1.61 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 34678 0 1 0 155 6 0 0 25 0 19 0 953751409 10816188416 30117 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2640671 30118 2230 9 0 2631405 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10562684
[startup+1.50139 s]
/proc/loadavg: 2.00 1.99 1.72 3/214 25767
/proc/meminfo: memFree=30987724/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10564164 CPUtime=2.99 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 71103 0 1 0 290 9 0 0 25 0 19 0 953751409 10817703936 65542 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2641041 65544 2236 9 0 2631775 0
[pid=25748/tid=25750] ppid=25746 vsize=10564164 CPUtime=1.48 cores=0,2,4,6
/proc/25748/task/25750/stat : 25750 (java) R 25746 25748 25448 0 -1 4202560 54632 0 1 0 141 7 0 0 18 0 19 0 953751410 10817703936 65545 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 46912505845787 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25748/tid=25751] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25751/stat : 25751 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 65546 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25752] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25752/stat : 25752 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 65547 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25753] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25753/stat : 25753 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 65548 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25754] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25754/stat : 25754 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 65550 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25755] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25755/stat : 25755 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 65551 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25756] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25756/stat : 25756 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 65552 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25757] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25757/stat : 25757 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 65553 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25758] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25758/stat : 25758 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 65555 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25759] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25759/stat : 25759 (java) S 25746 25748 25448 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953751413 10817703936 65556 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 0 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25760] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25760/stat : 25760 (java) S 25746 25748 25448 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953751413 10817703936 65557 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25761] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25761/stat : 25761 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953751413 10817703936 65558 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25762] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25762/stat : 25762 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 65559 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907314097 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25763] ppid=25746 vsize=10564164 CPUtime=0.73 cores=0,2,4,6
/proc/25748/task/25763/stat : 25763 (java) S 25746 25748 25448 0 -1 4202560 8024 0 0 0 73 0 0 0 15 0 19 0 953751415 10817703936 65561 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25764] ppid=25746 vsize=10564164 CPUtime=0.76 cores=0,2,4,6
/proc/25748/task/25764/stat : 25764 (java) S 25746 25748 25448 0 -1 4202560 7289 0 0 0 75 1 0 0 21 0 19 0 953751415 10817703936 65562 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25765] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25765/stat : 25765 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 65563 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25766] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25766/stat : 25766 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953751415 10817703936 65565 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25767] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25767/stat : 25767 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953751454 10817703936 65566 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 10564164
[startup+3.1011 s]
/proc/loadavg: 2.00 1.99 1.72 3/214 25767
/proc/meminfo: memFree=30735012/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10564164 CPUtime=4.67 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 163605 0 1 0 448 19 0 0 25 0 19 0 953751409 10817703936 158044 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2641041 158046 2237 9 0 2631775 0
[pid=25748/tid=25750] ppid=25746 vsize=10564164 CPUtime=3.08 cores=0,2,4,6
/proc/25748/task/25750/stat : 25750 (java) R 25746 25748 25448 0 -1 4202560 147121 0 1 0 292 16 0 0 21 0 19 0 953751410 10817703936 158046 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 46912505843057 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25748/tid=25751] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25751/stat : 25751 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 158047 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25752] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25752/stat : 25752 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 158048 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25753] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25753/stat : 25753 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 158049 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25754] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25754/stat : 25754 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 158050 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25755] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25755/stat : 25755 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 158051 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25756] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25756/stat : 25756 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 158052 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25757] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25757/stat : 25757 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 158052 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25758] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25758/stat : 25758 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 158053 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25759] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25759/stat : 25759 (java) S 25746 25748 25448 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953751413 10817703936 158054 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 0 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25760] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25760/stat : 25760 (java) S 25746 25748 25448 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953751413 10817703936 158055 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25761] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25761/stat : 25761 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953751413 10817703936 158055 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25762] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25762/stat : 25762 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 158056 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907314097 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25763] ppid=25746 vsize=10564164 CPUtime=0.78 cores=0,2,4,6
/proc/25748/task/25763/stat : 25763 (java) S 25746 25748 25448 0 -1 4202560 8035 0 0 0 78 0 0 0 15 0 19 0 953751415 10817703936 158057 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25764] ppid=25746 vsize=10564164 CPUtime=0.78 cores=0,2,4,6
/proc/25748/task/25764/stat : 25764 (java) S 25746 25748 25448 0 -1 4202560 7290 0 0 0 77 1 0 0 15 0 19 0 953751415 10817703936 158058 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25765] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25765/stat : 25765 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 158059 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25766] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25766/stat : 25766 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953751415 10817703936 158059 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25767] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25767/stat : 25767 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953751454 10817703936 158060 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 10564164
[startup+6.30148 s]
/proc/loadavg: 2.00 1.99 1.72 3/214 25767
/proc/meminfo: memFree=29997200/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10564164 CPUtime=7.89 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 341911 0 1 0 750 39 0 0 25 0 19 0 953751409 10817703936 336290 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2641041 336291 2238 9 0 2631775 0
[pid=25748/tid=25750] ppid=25746 vsize=10564164 CPUtime=6.28 cores=0,2,4,6
/proc/25748/task/25750/stat : 25750 (java) R 25746 25748 25448 0 -1 4202560 325422 0 1 0 592 36 0 0 21 0 19 0 953751410 10817703936 336292 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 46912505843114 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25748/tid=25751] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25751/stat : 25751 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 336293 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25752] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25752/stat : 25752 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 336294 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25753] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25753/stat : 25753 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 336295 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25754] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25754/stat : 25754 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 336297 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25755] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25755/stat : 25755 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 336299 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25756] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25756/stat : 25756 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 336301 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25757] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25757/stat : 25757 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 336302 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25758] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25758/stat : 25758 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751412 10817703936 336302 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25759] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25759/stat : 25759 (java) S 25746 25748 25448 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953751413 10817703936 336302 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 0 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25760] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25760/stat : 25760 (java) S 25746 25748 25448 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953751413 10817703936 336302 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25761] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25761/stat : 25761 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953751413 10817703936 336302 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25762] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25762/stat : 25762 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 336307 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907314097 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25763] ppid=25746 vsize=10564164 CPUtime=0.78 cores=0,2,4,6
/proc/25748/task/25763/stat : 25763 (java) S 25746 25748 25448 0 -1 4202560 8035 0 0 0 78 0 0 0 15 0 19 0 953751415 10817703936 336310 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25764] ppid=25746 vsize=10564164 CPUtime=0.8 cores=0,2,4,6
/proc/25748/task/25764/stat : 25764 (java) S 25746 25748 25448 0 -1 4202560 7294 0 0 0 79 1 0 0 16 0 19 0 953751415 10817703936 336312 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25765] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25765/stat : 25765 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 336314 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25766] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25766/stat : 25766 (java) S 25746 25748 25448 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953751415 10817703936 336315 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25767] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25767/stat : 25767 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953751454 10817703936 336316 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 10564164
[startup+12.7013 s]
################
# More data... #
################
/proc/25748/task/25761/stat : 25761 (java) S 25746 25748 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953751413 10817703936 1019392 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25762] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25762/stat : 25762 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 1019392 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907314097 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25763] ppid=25746 vsize=10564164 CPUtime=1.08 cores=0,2,4,6
/proc/25748/task/25763/stat : 25763 (java) S 25746 25748 25448 0 -1 4202560 8128 0 0 0 108 0 0 0 15 0 19 0 953751415 10817703936 1019392 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25764] ppid=25746 vsize=10564164 CPUtime=0.9 cores=0,2,4,6
/proc/25748/task/25764/stat : 25764 (java) S 25746 25748 25448 0 -1 4202560 7313 0 0 0 89 1 0 0 15 0 19 0 953751415 10817703936 1019392 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25765] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25765/stat : 25765 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 1019392 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25766] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25766/stat : 25766 (java) S 25746 25748 25448 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 953751415 10817703936 1019392 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25767] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25767/stat : 25767 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953751454 10817703936 1019392 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1671.38
Current children cumulated vsize (KiB) 10564164
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/214 25881
/proc/meminfo: memFree=25231464/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10564164 CPUtime=1731.59 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 1029231 0 1 0 173030 129 0 0 25 0 19 0 953751409 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2641041 1021543 2267 9 0 2631775 0
[pid=25748/tid=25750] ppid=25746 vsize=10564164 CPUtime=1718.58 cores=0,2,4,6
/proc/25748/task/25750/stat : 25750 (java) R 25746 25748 25448 0 -1 4202560 740216 0 1 0 171777 81 0 0 25 0 19 0 953751410 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 46912505882239 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25748/tid=25751] ppid=25746 vsize=10564164 CPUtime=1.47 cores=0,2,4,6
/proc/25748/task/25751/stat : 25751 (java) S 25746 25748 25448 0 -1 4202560 36898 0 0 0 141 6 0 0 16 0 19 0 953751412 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25752] ppid=25746 vsize=10564164 CPUtime=0.99 cores=0,2,4,6
/proc/25748/task/25752/stat : 25752 (java) S 25746 25748 25448 0 -1 4202560 20832 0 0 0 95 4 0 0 15 0 19 0 953751412 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25753] ppid=25746 vsize=10564164 CPUtime=1.28 cores=0,2,4,6
/proc/25748/task/25753/stat : 25753 (java) S 25746 25748 25448 0 -1 4202560 35378 0 0 0 123 5 0 0 15 0 19 0 953751412 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25754] ppid=25746 vsize=10564164 CPUtime=1.22 cores=0,2,4,6
/proc/25748/task/25754/stat : 25754 (java) S 25746 25748 25448 0 -1 4202560 39009 0 0 0 116 6 0 0 15 0 19 0 953751412 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25755] ppid=25746 vsize=10564164 CPUtime=1.43 cores=0,2,4,6
/proc/25748/task/25755/stat : 25755 (java) S 25746 25748 25448 0 -1 4202560 43318 0 0 0 138 5 0 0 16 0 19 0 953751412 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25756] ppid=25746 vsize=10564164 CPUtime=1.14 cores=0,2,4,6
/proc/25748/task/25756/stat : 25756 (java) S 25746 25748 25448 0 -1 4202560 31842 0 0 0 109 5 0 0 16 0 19 0 953751412 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25757] ppid=25746 vsize=10564164 CPUtime=0.96 cores=0,2,4,6
/proc/25748/task/25757/stat : 25757 (java) S 25746 25748 25448 0 -1 4202560 24148 0 0 0 92 4 0 0 16 0 19 0 953751412 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25758] ppid=25746 vsize=10564164 CPUtime=1.24 cores=0,2,4,6
/proc/25748/task/25758/stat : 25758 (java) S 25746 25748 25448 0 -1 4202560 31306 0 0 0 120 4 0 0 15 0 19 0 953751412 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25759] ppid=25746 vsize=10564164 CPUtime=1.19 cores=0,2,4,6
/proc/25748/task/25759/stat : 25759 (java) S 25746 25748 25448 0 -1 4202560 9593 0 0 0 118 1 0 0 15 0 19 0 953751413 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 0 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25760] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25760/stat : 25760 (java) S 25746 25748 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953751413 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25761] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25761/stat : 25761 (java) S 25746 25748 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953751413 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25762] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25762/stat : 25762 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907314097 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25763] ppid=25746 vsize=10564164 CPUtime=1.08 cores=0,2,4,6
/proc/25748/task/25763/stat : 25763 (java) S 25746 25748 25448 0 -1 4202560 8128 0 0 0 108 0 0 0 15 0 19 0 953751415 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25764] ppid=25746 vsize=10564164 CPUtime=0.9 cores=0,2,4,6
/proc/25748/task/25764/stat : 25764 (java) S 25746 25748 25448 0 -1 4202560 7313 0 0 0 89 1 0 0 15 0 19 0 953751415 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25765] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25765/stat : 25765 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25766] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25766/stat : 25766 (java) S 25746 25748 25448 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953751415 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25767] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25767/stat : 25767 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953751454 10817703936 1021543 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1731.59
Current children cumulated vsize (KiB) 10564164
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 25883
/proc/meminfo: memFree=25044304/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10564164 CPUtime=1791.82 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 1031557 0 1 0 179053 129 0 0 25 0 19 0 953751409 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2641041 1023839 2267 9 0 2631775 0
[pid=25748/tid=25750] ppid=25746 vsize=10564164 CPUtime=1778.5 cores=0,2,4,6
/proc/25748/task/25750/stat : 25750 (java) R 25746 25748 25448 0 -1 4202560 740218 0 1 0 177769 81 0 0 25 0 19 0 953751410 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 46912506152717 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25748/tid=25751] ppid=25746 vsize=10564164 CPUtime=1.55 cores=0,2,4,6
/proc/25748/task/25751/stat : 25751 (java) S 25746 25748 25448 0 -1 4202560 37526 0 0 0 149 6 0 0 16 0 19 0 953751412 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25752] ppid=25746 vsize=10564164 CPUtime=1.04 cores=0,2,4,6
/proc/25748/task/25752/stat : 25752 (java) S 25746 25748 25448 0 -1 4202560 21299 0 0 0 100 4 0 0 16 0 19 0 953751412 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25753] ppid=25746 vsize=10564164 CPUtime=1.28 cores=0,2,4,6
/proc/25748/task/25753/stat : 25753 (java) S 25746 25748 25448 0 -1 4202560 35380 0 0 0 123 5 0 0 15 0 19 0 953751412 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25754] ppid=25746 vsize=10564164 CPUtime=1.25 cores=0,2,4,6
/proc/25748/task/25754/stat : 25754 (java) S 25746 25748 25448 0 -1 4202560 39316 0 0 0 119 6 0 0 16 0 19 0 953751412 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25755] ppid=25746 vsize=10564164 CPUtime=1.5 cores=0,2,4,6
/proc/25748/task/25755/stat : 25755 (java) S 25746 25748 25448 0 -1 4202560 43971 0 0 0 145 5 0 0 16 0 19 0 953751412 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25756] ppid=25746 vsize=10564164 CPUtime=1.18 cores=0,2,4,6
/proc/25748/task/25756/stat : 25756 (java) S 25746 25748 25448 0 -1 4202560 32101 0 0 0 113 5 0 0 15 0 19 0 953751412 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25757] ppid=25746 vsize=10564164 CPUtime=0.96 cores=0,2,4,6
/proc/25748/task/25757/stat : 25757 (java) S 25746 25748 25448 0 -1 4202560 24148 0 0 0 92 4 0 0 15 0 19 0 953751412 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25758] ppid=25746 vsize=10564164 CPUtime=1.26 cores=0,2,4,6
/proc/25748/task/25758/stat : 25758 (java) S 25746 25748 25448 0 -1 4202560 31308 0 0 0 122 4 0 0 15 0 19 0 953751412 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25759] ppid=25746 vsize=10564164 CPUtime=1.19 cores=0,2,4,6
/proc/25748/task/25759/stat : 25759 (java) S 25746 25748 25448 0 -1 4202560 9595 0 0 0 118 1 0 0 15 0 19 0 953751413 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 0 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25760] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25760/stat : 25760 (java) S 25746 25748 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953751413 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25761] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25761/stat : 25761 (java) S 25746 25748 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953751413 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25762] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25762/stat : 25762 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907314097 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25763] ppid=25746 vsize=10564164 CPUtime=1.08 cores=0,2,4,6
/proc/25748/task/25763/stat : 25763 (java) S 25746 25748 25448 0 -1 4202560 8128 0 0 0 108 0 0 0 15 0 19 0 953751415 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25764] ppid=25746 vsize=10564164 CPUtime=0.9 cores=0,2,4,6
/proc/25748/task/25764/stat : 25764 (java) S 25746 25748 25448 0 -1 4202560 7313 0 0 0 89 1 0 0 15 0 19 0 953751415 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25765] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25765/stat : 25765 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25766] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25766/stat : 25766 (java) S 25746 25748 25448 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953751415 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25767] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25767/stat : 25767 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953751454 10817703936 1023839 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1791.82
Current children cumulated vsize (KiB) 10564164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 25883
/proc/meminfo: memFree=25040700/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=10564164 CPUtime=1800.04 cores=0,2,4,6
/proc/25748/stat : 25748 (java) S 25746 25748 25448 0 -1 4202496 1032500 0 1 0 179875 129 0 0 25 0 19 0 953751409 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 2641041 1024759 2267 9 0 2631775 0
[pid=25748/tid=25750] ppid=25746 vsize=10564164 CPUtime=1786.57 cores=0,2,4,6
/proc/25748/task/25750/stat : 25750 (java) R 25746 25748 25448 0 -1 4202560 740219 0 1 0 178576 81 0 0 25 0 19 0 953751410 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 46912505882751 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25748/tid=25751] ppid=25746 vsize=10564164 CPUtime=1.55 cores=0,2,4,6
/proc/25748/task/25751/stat : 25751 (java) S 25746 25748 25448 0 -1 4202560 37526 0 0 0 149 6 0 0 15 0 19 0 953751412 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25752] ppid=25746 vsize=10564164 CPUtime=1.04 cores=0,2,4,6
/proc/25748/task/25752/stat : 25752 (java) S 25746 25748 25448 0 -1 4202560 21299 0 0 0 100 4 0 0 15 0 19 0 953751412 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25753] ppid=25746 vsize=10564164 CPUtime=1.31 cores=0,2,4,6
/proc/25748/task/25753/stat : 25753 (java) S 25746 25748 25448 0 -1 4202560 35604 0 0 0 126 5 0 0 16 0 19 0 953751412 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
[pid=25748/tid=25754] ppid=25746 vsize=10564164 CPUtime=1.29 cores=0,2,4,6
/proc/25748/task/25754/stat : 25754 (java) S 25746 25748 25448 0 -1 4202560 39564 0 0 0 123 6 0 0 16 0 19 0 953751412 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25755] ppid=25746 vsize=10564164 CPUtime=1.52 cores=0,2,4,6
/proc/25748/task/25755/stat : 25755 (java) S 25746 25748 25448 0 -1 4202560 43971 0 0 0 146 6 0 0 16 0 19 0 953751412 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25756] ppid=25746 vsize=10564164 CPUtime=1.18 cores=0,2,4,6
/proc/25748/task/25756/stat : 25756 (java) S 25746 25748 25448 0 -1 4202560 32101 0 0 0 113 5 0 0 15 0 19 0 953751412 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25757] ppid=25746 vsize=10564164 CPUtime=1 cores=0,2,4,6
/proc/25748/task/25757/stat : 25757 (java) S 25746 25748 25448 0 -1 4202560 24369 0 0 0 96 4 0 0 16 0 19 0 953751412 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25758] ppid=25746 vsize=10564164 CPUtime=1.3 cores=0,2,4,6
/proc/25748/task/25758/stat : 25758 (java) S 25746 25748 25448 0 -1 4202560 31555 0 0 0 126 4 0 0 16 0 19 0 953751412 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25759] ppid=25746 vsize=10564164 CPUtime=1.19 cores=0,2,4,6
/proc/25748/task/25759/stat : 25759 (java) S 25746 25748 25448 0 -1 4202560 9597 0 0 0 118 1 0 0 15 0 19 0 953751413 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 0 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25760] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25760/stat : 25760 (java) S 25746 25748 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953751413 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25761] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25761/stat : 25761 (java) S 25746 25748 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953751413 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25762] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25762/stat : 25762 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907314097 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25763] ppid=25746 vsize=10564164 CPUtime=1.08 cores=0,2,4,6
/proc/25748/task/25763/stat : 25763 (java) S 25746 25748 25448 0 -1 4202560 8128 0 0 0 108 0 0 0 15 0 19 0 953751415 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 2 0 0 0
[pid=25748/tid=25764] ppid=25746 vsize=10564164 CPUtime=0.9 cores=0,2,4,6
/proc/25748/task/25764/stat : 25764 (java) S 25746 25748 25448 0 -1 4202560 7313 0 0 0 89 1 0 0 15 0 19 0 953751415 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 0 0 0 0
[pid=25748/tid=25765] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25765/stat : 25765 (java) S 25746 25748 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953751415 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907306393 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25766] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25766/stat : 25766 (java) S 25746 25748 25448 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953751415 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 4 0 0 0
[pid=25748/tid=25767] ppid=25746 vsize=10564164 CPUtime=0 cores=0,2,4,6
/proc/25748/task/25767/stat : 25767 (java) S 25746 25748 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953751454 10817703936 1024759 33554432000 1073741824 1073778376 140735768472928 18446744073709551615 231907307008 0 4 0 16800975 18446604453973771200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10564164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.51 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 25883
/proc/meminfo: memFree=25040700/32950928 swapFree=67054844/67111528
[pid=25748] ppid=25746 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/25748/stat : 25748 (java) Z 25746 25748 25448 0 -1 4203548 1032530 0 1 0 179879 137 0 0 17 0 2 0 953751409 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25748/statm: 0 0 0 0 0 0 0
[pid=25748/tid=25750] ppid=25746 vsize=0 CPUtime=1786.68 cores=0,2,4,6
/proc/25748/task/25750/stat : 25750 (java) R 25746 25748 25448 0 -1 4203588 740219 0 1 0 178579 89 0 0 25 0 2 0 953751410 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.58
CPU time (s): 1800.25
CPU user time (s): 1798.8
CPU system time (s): 1.44678
CPU usage (%): 100.54
Max. virtual memory (cumulated for all children) (KiB): 10564164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.44678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1032530
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38510
involuntary context switches= 30217
runsolver used 3.36149 second user time and 6.42102 second system time
The end