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-3737097-1338719638/watcher-3737097-1338719638 -o /tmp/evaluation-result-3737097-1338719638/solver-3737097-1338719638 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737097-1338719638.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: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/2804/stat : 2804 (java) D 2802 2804 1279 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 338090805 9515008 175 33554432000 1073741824 1073778376 140736105931104 140736105913832 233411789712 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/2804/statm: 2323 175 133 9 0 71 0
[startup+0.0845119 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11586364 CPUtime=0.05 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 3949 0 1 0 4 1 0 0 20 0 18 0 338090805 11864436736 12312 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2896591 12312 1757 9 0 2887285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586364
[startup+0.10031 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 4014 0 1 0 6 1 0 0 20 0 18 0 338090805 11864465408 12377 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2896598 12377 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.30016 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11586392 CPUtime=0.44 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 5787 0 1 0 42 2 0 0 20 0 18 0 338090805 11864465408 15292 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2896598 15292 2218 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392
[startup+0.700169 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11586392 CPUtime=1.56 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 18810 0 1 0 151 5 0 0 20 0 18 0 338090805 11864465408 31680 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2896598 31680 2255 9 0 2887285 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 11586392
[startup+1.50065 s]
/proc/loadavg: 3.48 3.79 3.81 7/219 2826
/proc/meminfo: memFree=29476656/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=3.65 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 21456 0 1 0 355 10 0 0 20 0 19 0 338090805 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 48772 2270 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 2960 0 1 0 83 3 0 0 20 0 19 0 338090807 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321216885912 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338090810 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338090810 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338090810 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) R 2802 2804 1279 0 -1 4202560 8671 0 0 0 104 2 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321030105856 140321220978523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) R 2802 2804 1279 0 -1 4202560 8515 0 0 0 102 2 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321029065024 140321222732484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2825] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2825/stat : 2825 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338090902 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321023800232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 11852648
[startup+3.10075 s]
/proc/loadavg: 3.48 3.79 3.81 3/216 2832
/proc/meminfo: memFree=29445060/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=5.65 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 21602 0 1 0 550 15 0 0 20 0 22 0 338090805 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 80592 2270 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 2961 0 1 0 85 3 0 0 20 0 22 0 338090807 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321216885928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8713 0 0 0 130 2 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8540 0 0 0 126 2 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2825] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2825/stat : 2825 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338090902 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321023800232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 11852648
[startup+6.30087 s]
/proc/loadavg: 3.52 3.80 3.81 5/219 2838
/proc/meminfo: memFree=29029996/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=11.69 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 22002 0 1 0 1136 33 0 0 20 0 22 0 338090805 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 175671 2295 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 2963 0 1 0 85 3 0 0 20 0 22 0 338090807 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321216885928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 32 0 0 0 2 2 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 15 0 0 0 0 2 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 76 0 0 0 34 1 0 0 20 0 22 0 338090810 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.36 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8715 0 0 0 134 2 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8564 0 0 0 140 2 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2825] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2825/stat : 2825 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338090902 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321023800232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2836] ppid=2802 vsize=11852648 CPUtime=2.07 cores=0,2,4,6
/proc/2804/task/2836/stat : 2836 (java) R 2802 2804 1279 0 -1 4202560 10 0 0 0 207 0 0 0 20 0 22 0 338091198 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321025905448 140321090509808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2837] ppid=2802 vsize=11852648 CPUtime=2.07 cores=0,2,4,6
/proc/2804/task/2837/stat : 2837 (java) R 2802 2804 1279 0 -1 4202560 84 0 0 0 204 3 0 0 20 0 22 0 338091198 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321024850816 233415162936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=2804/tid=3044] ppid=2802 vsize=11852648 CPUtime=65.27 cores=0,2,4,6
/proc/2804/task/3044/stat : 3044 (java) R 2802 2804 1279 0 -1 4202560 5 0 0 0 6527 0 0 0 20 0 22 0 338164432 12137111552 485342 33554432000 1073741824 1073778376 140733265376016 140321025905360 140321090509843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=3045] ppid=2802 vsize=11852648 CPUtime=65.26 cores=0,2,4,6
/proc/2804/task/3045/stat : 3045 (java) R 2802 2804 1279 0 -1 4202560 3 0 0 0 6526 0 0 0 20 0 22 0 338164432 12137111552 485342 33554432000 1073741824 1073778376 140733265376016 140321023797536 140321090745633 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=3046] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3046/stat : 3046 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164432 12137111552 485342 33554432000 1073741824 1073778376 140733265376016 140321024853160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1561.09
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.42 3.63 3.73 5/219 3075
/proc/meminfo: memFree=28747816/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=1660.42 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 24659 0 1 0 165912 130 0 0 20 0 22 0 338090805 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 498746 2297 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 3082 0 1 0 92 5 0 0 20 0 22 0 338090807 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321216885912 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=2.84 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 248 0 0 0 281 3 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=2.7 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 204 0 0 0 266 4 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=2.83 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 231 0 0 0 278 5 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=2.72 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 266 0 0 0 267 5 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=2.9 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 284 0 0 0 286 4 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 206 0 0 0 255 4 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=2.6 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 223 0 0 0 255 5 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 257 0 0 0 255 4 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=104.76 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 517 0 0 0 10457 19 0 0 20 0 22 0 338090810 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8735 0 0 0 148 2 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8589 0 0 0 168 2 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 51 0 0 0 21 16 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=3046] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3046/stat : 3046 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164432 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321024853160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=3073] ppid=2802 vsize=11852648 CPUtime=17.92 cores=0,2,4,6
/proc/2804/task/3073/stat : 3073 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 1792 0 0 0 20 0 22 0 338176290 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321023799632 140321090534102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=3074] ppid=2802 vsize=11852648 CPUtime=17.92 cores=0,2,4,6
/proc/2804/task/3074/stat : 3074 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 1792 0 0 0 20 0 22 0 338176290 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321022744960 140321090424868 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=3075] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3075/stat : 3075 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338176291 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321025905448 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1660.42
Current children cumulated vsize (KiB) 11852648
[startup+942.301 s]
/proc/loadavg: 3.48 3.62 3.72 5/219 3075
/proc/meminfo: memFree=28644300/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=1769.13 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 24797 0 1 0 176780 133 0 0 20 0 22 0 338090805 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 518794 2297 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 3093 0 1 0 92 5 0 0 20 0 22 0 338090807 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321216885912 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=3.02 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 259 0 0 0 299 3 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=2.89 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 222 0 0 0 285 4 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=3 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 239 0 0 0 295 5 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=2.86 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 266 0 0 0 281 5 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=3.12 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 286 0 0 0 308 4 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=2.8 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 219 0 0 0 276 4 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=2.82 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 238 0 0 0 277 5 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=2.76 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 270 0 0 0 272 4 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=116.75 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 560 0 0 0 11655 20 0 0 20 0 22 0 338090810 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8735 0 0 0 148 2 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8589 0 0 0 168 2 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0.39 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 55 0 0 0 23 16 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=3046] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3046/stat : 3046 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164432 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321024853160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=3073] ppid=2802 vsize=11852648 CPUtime=65.53 cores=0,2,4,6
/proc/2804/task/3073/stat : 3073 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 6553 0 0 0 20 0 22 0 338176290 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321023799632 140321090534056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=3074] ppid=2802 vsize=11852648 CPUtime=65.53 cores=0,2,4,6
/proc/2804/task/3074/stat : 3074 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 6553 0 0 0 20 0 22 0 338176290 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321022744960 140321090436340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=3075] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3075/stat : 3075 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338176291 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321025905448 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1769.13
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+958.601 s]
/proc/loadavg: 3.56 3.63 3.72 6/219 3075
/proc/meminfo: memFree=28631888/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=1800.05 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 24818 0 1 0 179871 134 0 0 20 0 22 0 338090805 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 518813 2297 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 3095 0 1 0 92 5 0 0 20 0 22 0 338090807 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321216885912 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=3.05 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 265 0 0 0 302 3 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=2.91 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 222 0 0 0 287 4 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=3.06 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 240 0 0 0 301 5 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=2.89 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 266 0 0 0 284 5 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=3.15 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 294 0 0 0 311 4 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=2.82 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 219 0 0 0 278 4 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=2.88 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 238 0 0 0 283 5 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=2.82 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 274 0 0 0 278 4 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=118.61 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 560 0 0 0 11841 20 0 0 20 0 22 0 338090810 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8735 0 0 0 148 2 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8589 0 0 0 168 2 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 55 0 0 0 23 17 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=3046] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3046/stat : 3046 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164432 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321024853160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=3073] ppid=2802 vsize=11852648 CPUtime=79.9 cores=0,2,4,6
/proc/2804/task/3073/stat : 3073 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 7989 1 0 0 20 0 22 0 338176290 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321023799632 140321089476546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=3074] ppid=2802 vsize=11852648 CPUtime=79.9 cores=0,2,4,6
/proc/2804/task/3074/stat : 3074 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 7989 1 0 0 20 0 22 0 338176290 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321022744992 140321090424773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=3075] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3075/stat : 3075 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338176291 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321025905448 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 11852648
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): 958.657
CPU time (s): 1800.23
CPU user time (s): 1798.7
CPU system time (s): 1.53177
CPU usage (%): 187.787
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.53177
maximum resident set size= 2075364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24848
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27531
involuntary context switches= 42569
runsolver used 3.45147 second user time and 8.76467 second system time
The end