runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3734739-1338702539/watcher-3734739-1338702539 -o /tmp/evaluation-result-3734739-1338702539/solver-3734739-1338702539 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734739-1338702539.opb
running on 4 cores: 1,3,5,7
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.07 2.02 2.00 3/194 2742
/proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/2742/stat : 2742 (java) D 2740 2742 29837 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 336379840 9515008 182 33554432000 1073741824 1073778376 140734803664784 140734803655816 242167398069 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/2742/statm: 2323 182 140 9 0 71 0
[startup+0.0731349 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2742
/proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=2956804 CPUtime=0.04 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 3581 0 1 0 3 1 0 0 20 0 18 0 336379840 3027767296 5810 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 739201 5810 1772 9 0 729885 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2956804
[startup+0.100207 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2742
/proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 4408 0 1 0 7 1 0 0 20 0 18 0 336379840 3028844544 6630 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 739464 6630 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300155 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2742
/proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 7152 0 1 0 49 2 0 0 20 0 19 0 336379840 3097006080 11269 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 756105 11269 2255 9 0 746526 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3024420
[startup+0.700181 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2742
/proc/meminfo: memFree=27038556/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3024420 CPUtime=1.14 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 13307 0 1 0 110 4 0 0 20 0 19 0 336379840 3097006080 36023 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 756105 36023 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 3024420
[startup+1.50073 s]
/proc/loadavg: 2.07 2.02 2.00 4/213 2822
/proc/meminfo: memFree=26824856/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3024420 CPUtime=2.14 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 14715 0 1 0 206 8 0 0 20 0 19 0 336379840 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 756105 87271 2270 9 0 746526 0
[pid=2742/tid=2744] ppid=2740 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2671 0 1 0 139 6 0 0 20 0 19 0 336379841 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007603257960 140007428308294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2745] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2746] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2747] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336379843 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336379844 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336379844 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3147 0 0 0 33 0 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 30 2 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 87271 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 3024420
[startup+3.10073 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 2854
/proc/meminfo: memFree=26582540/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3024420 CPUtime=3.77 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 14862 0 1 0 367 10 0 0 20 0 19 0 336379840 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 756105 115968 2286 9 0 746526 0
[pid=2742/tid=2744] ppid=2740 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2727 0 1 0 296 8 0 0 20 0 19 0 336379841 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007603257960 140007428233496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2745] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2746] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2747] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336379842 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336379843 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336379844 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3150 0 0 0 36 0 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 30 2 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3097006080 115968 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 3024420
[startup+6.30074 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 2898
/proc/meminfo: memFree=26565000/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3090984 CPUtime=7.08 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 15056 0 1 0 695 13 0 0 20 0 19 0 336379840 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 772746 120159 2289 9 0 763167 0
[pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=6.21 cores=1,3,5,7
/proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2756 0 1 0 613 8 0 0 20 0 19 0 336379841 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007603256040 140007428308324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2745] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2746] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2747] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336379842 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336379843 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3153 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 120159 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 3090984
[startup+12.7008 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 2947
/proc/meminfo: memFree=26531712/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3090984 CPUtime=13.6 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 15276 0 1 0 1342 18 0 0 20 0 19 0 336379840 3165167616 128353 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 772746 128353 2289 9 0 763167 0
[pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=12.56 cores=1,3,5,7
################
# More data... #
################
[pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=1.21 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 407 0 0 0 114 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=1.43 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 408 0 0 0 136 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=1.11 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 347 0 0 0 103 8 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0.04 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 74 0 0 0 1 3 0 0 20 0 19 0 336379843 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3154 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0.66 cores=1,3,5,7
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 97 0 0 0 29 37 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=3003] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/3003/stat : 3003 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336407948 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007556282024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1670.48
Current children cumulated vsize (KiB) 3090984
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 3096
/proc/meminfo: memFree=25210348/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3090984 CPUtime=1730.46 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 18593 0 1 0 172930 116 0 0 20 0 19 0 336379840 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 772746 355024 2289 9 0 763167 0
[pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=1719.26 cores=1,3,5,7
/proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2858 0 1 0 171887 39 0 0 20 0 19 0 336379841 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007603256656 140007428308324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2745] ppid=2740 vsize=3090984 CPUtime=1.09 cores=1,3,5,7
/proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 385 0 0 0 102 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2746] ppid=2740 vsize=3090984 CPUtime=1.36 cores=1,3,5,7
/proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 422 0 0 0 128 8 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2747] ppid=2740 vsize=3090984 CPUtime=1.19 cores=1,3,5,7
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 395 0 0 0 113 6 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=3090984 CPUtime=1.24 cores=1,3,5,7
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 380 0 0 0 119 5 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=3090984 CPUtime=1.19 cores=1,3,5,7
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 378 0 0 0 113 6 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=1.21 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 407 0 0 0 114 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=1.43 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 408 0 0 0 136 7 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=1.11 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 347 0 0 0 103 8 0 0 20 0 19 0 336379842 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0.05 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 74 0 0 0 2 3 0 0 20 0 19 0 336379843 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3154 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0.68 cores=1,3,5,7
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 99 0 0 0 30 38 0 0 20 0 19 0 336379846 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=3003] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/3003/stat : 3003 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336407948 3165167616 355024 33554432000 1073741824 1073778376 140734692786080 140007556282024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1730.46
Current children cumulated vsize (KiB) 3090984
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 3096
/proc/meminfo: memFree=25191548/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3090984 CPUtime=1790.72 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 18614 0 1 0 178952 120 0 0 20 0 19 0 336379840 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 772746 359632 2289 9 0 763167 0
[pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=1779.15 cores=1,3,5,7
/proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2859 0 1 0 177875 40 0 0 20 0 19 0 336379841 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007603256544 140007428308324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2745] ppid=2740 vsize=3090984 CPUtime=1.12 cores=1,3,5,7
/proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 385 0 0 0 105 7 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2746] ppid=2740 vsize=3090984 CPUtime=1.39 cores=1,3,5,7
/proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 424 0 0 0 130 9 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2747] ppid=2740 vsize=3090984 CPUtime=1.22 cores=1,3,5,7
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 395 0 0 0 116 6 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=3090984 CPUtime=1.28 cores=1,3,5,7
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 380 0 0 0 123 5 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=3090984 CPUtime=1.27 cores=1,3,5,7
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 383 0 0 0 121 6 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=1.29 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 412 0 0 0 121 8 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=1.47 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 409 0 0 0 140 7 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=1.14 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 348 0 0 0 106 8 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0.05 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 76 0 0 0 2 3 0 0 20 0 19 0 336379843 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3154 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 103 0 0 0 30 40 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=3003] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/3003/stat : 3003 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336407948 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007556282024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1790.72
Current children cumulated vsize (KiB) 3090984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.6 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 3096
/proc/meminfo: memFree=25177092/32873648 swapFree=7112/7112
[pid=2742] ppid=2740 vsize=3090984 CPUtime=1800.03 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 29837 0 -1 4202496 18614 0 1 0 179883 120 0 0 20 0 19 0 336379840 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140734692777216 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2742/statm: 772746 359632 2289 9 0 763167 0
[pid=2742/tid=2744] ppid=2740 vsize=3090984 CPUtime=1788.46 cores=1,3,5,7
/proc/2742/task/2744/stat : 2744 (java) R 2740 2742 29837 0 -1 4202560 2859 0 1 0 178806 40 0 0 20 0 19 0 336379841 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007603256544 140007428308324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2745] ppid=2740 vsize=3090984 CPUtime=1.12 cores=1,3,5,7
/proc/2742/task/2745/stat : 2745 (java) S 2740 2742 29837 0 -1 4202560 385 0 0 0 105 7 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007586683176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2746] ppid=2740 vsize=3090984 CPUtime=1.39 cores=1,3,5,7
/proc/2742/task/2746/stat : 2746 (java) S 2740 2742 29837 0 -1 4202560 424 0 0 0 130 9 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007585630376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2747] ppid=2740 vsize=3090984 CPUtime=1.22 cores=1,3,5,7
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 29837 0 -1 4202560 395 0 0 0 116 6 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007584578088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=3090984 CPUtime=1.28 cores=1,3,5,7
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 29837 0 -1 4202560 380 0 0 0 123 5 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007583525288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=3090984 CPUtime=1.27 cores=1,3,5,7
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 29837 0 -1 4202560 383 0 0 0 121 6 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007582473000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=3090984 CPUtime=1.29 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 29837 0 -1 4202560 412 0 0 0 121 8 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007581420200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=3090984 CPUtime=1.47 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 29837 0 -1 4202560 409 0 0 0 140 7 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007580367912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=3090984 CPUtime=1.14 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 29837 0 -1 4202560 348 0 0 0 106 8 0 0 20 0 19 0 336379842 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007579315112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=3090984 CPUtime=0.05 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 29837 0 -1 4202560 76 0 0 0 2 3 0 0 20 0 19 0 336379843 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007566903528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007565849592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 29837 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336379844 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007564797192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007563745680 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=3090984 CPUtime=0.41 cores=1,3,5,7
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 29837 0 -1 4202560 3154 0 0 0 41 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007562693304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=3090984 CPUtime=0.34 cores=1,3,5,7
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 29837 0 -1 4202560 7535 0 0 0 32 2 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007561640504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007560588408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=3090984 CPUtime=0.71 cores=1,3,5,7
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 29837 0 -1 4202560 103 0 0 0 31 40 0 0 20 0 19 0 336379846 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007559535816 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2742/tid=3003] ppid=2740 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/2742/task/3003/stat : 3003 (java) S 2740 2742 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336407948 3165167616 359632 33554432000 1073741824 1073778376 140734692786080 140007556282024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3090984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1791.63
CPU time (s): 1800.42
CPU user time (s): 1798.87
CPU system time (s): 1.55476
CPU usage (%): 100.491
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.55476
maximum resident set size= 1438608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18636
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40848
involuntary context switches= 31655
runsolver used 6.78097 second user time and 14.8327 second system time
The end