runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456155-1307664080/watcher-3456155-1307664080 -o /tmp/evaluation-result-3456155-1307664080/solver-3456155-1307664080 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456155-1307664080.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: 1.84 1.97 1.95 2/178 2883
/proc/meminfo: memFree=32172944/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/2883/stat : 2883 (java) R 2881 2883 827 0 -1 4202496 959 0 0 0 0 0 0 0 23 0 1 0 878006477 23580672 702 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210199684584 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2883/statm: 5757 702 518 9 0 124 0
[pid=2883/tid=2893] ppid=2881 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 878006478 31272960 959 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210204647227 0 0 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0952851 s]
/proc/loadavg: 1.84 1.97 1.95 2/178 2883
/proc/meminfo: memFree=32172944/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10539636 CPUtime=0.1 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 13017 0 1 0 8 2 0 0 23 0 18 0 878006477 10792587264 12713 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2634909 12713 2092 9 0 2625643 0
[pid=2883/tid=2893] ppid=2881 vsize=10539636 CPUtime=0.07 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 11079 0 1 0 6 1 0 0 24 0 18 0 878006478 10792587264 12713 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 47117830379985 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539636
[startup+0.100283 s]
/proc/loadavg: 1.84 1.97 1.95 2/178 2883
/proc/meminfo: memFree=32172944/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10539776 CPUtime=0.1 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 13070 0 1 0 8 2 0 0 23 0 18 0 878006477 10792730624 12766 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2634944 12766 2092 9 0 2625678 0
[pid=2883/tid=2893] ppid=2881 vsize=10539776 CPUtime=0.08 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 11132 0 1 0 7 1 0 0 24 0 18 0 878006478 10792730624 12766 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505215748 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539776
[startup+0.300251 s]
/proc/loadavg: 1.84 1.97 1.95 2/178 2883
/proc/meminfo: memFree=32172944/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10541860 CPUtime=0.46 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 15448 0 1 0 44 2 0 0 23 0 19 0 878006477 10794864640 14921 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2635465 14921 2218 9 0 2626199 0
[pid=2883/tid=2893] ppid=2881 vsize=10541860 CPUtime=0.28 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 12717 0 1 0 26 2 0 0 25 0 19 0 878006478 10794864640 14921 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505121134 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541860
[startup+0.700188 s]
/proc/loadavg: 1.84 1.97 1.95 2/178 2883
/proc/meminfo: memFree=32172944/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10553612 CPUtime=1.64 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 34388 0 1 0 159 5 0 0 23 0 19 0 878006477 10806898688 30136 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2638403 30136 2231 9 0 2629137 0
[pid=2883/tid=2893] ppid=2881 vsize=10553612 CPUtime=0.68 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 23025 0 1 0 65 3 0 0 25 0 19 0 878006478 10806898688 30136 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505227574 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10553612
[startup+1.50105 s]
/proc/loadavg: 1.84 1.97 1.95 4/214 2983
/proc/meminfo: memFree=31820088/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10553612 CPUtime=2.67 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 96057 0 1 0 254 13 0 0 23 0 19 0 878006477 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2638403 91804 2235 9 0 2629137 0
[pid=2883/tid=2893] ppid=2881 vsize=10553612 CPUtime=1.47 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 84656 0 1 0 136 11 0 0 25 0 19 0 878006478 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505714874 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2883/tid=2898] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2898/stat : 2898 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2899] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2899/stat : 2899 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2900] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2900/stat : 2900 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2901] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2901/stat : 2901 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2902] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2902/stat : 2902 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2903] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2903/stat : 2903 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2904] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2904/stat : 2904 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2905] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2905/stat : 2905 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2906] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2906/stat : 2906 (java) S 2881 2883 827 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2907] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2907/stat : 2907 (java) S 2881 2883 827 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 878006481 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2908] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2908/stat : 2908 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 878006481 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2914] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2914/stat : 2914 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878006483 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2915] ppid=2881 vsize=10553612 CPUtime=0.54 cores=1,3,5,7
/proc/2883/task/2915/stat : 2915 (java) S 2881 2883 827 0 -1 4202560 3640 0 0 0 54 0 0 0 16 0 19 0 878006483 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2916] ppid=2881 vsize=10553612 CPUtime=0.64 cores=1,3,5,7
/proc/2883/task/2916/stat : 2916 (java) S 2881 2883 827 0 -1 4202560 6600 0 0 0 63 1 0 0 15 0 19 0 878006483 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2917] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2917/stat : 2917 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 878006483 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2918] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2918/stat : 2918 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878006483 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2976] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2976/stat : 2976 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878006507 10806898688 91804 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10553612
[startup+3.10084 s]
/proc/loadavg: 1.84 1.97 1.95 3/214 2983
/proc/meminfo: memFree=31072488/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10553612 CPUtime=4.42 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 223139 0 1 0 416 26 0 0 23 0 19 0 878006477 10806898688 218886 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2638403 218888 2237 9 0 2629137 0
[pid=2883/tid=2893] ppid=2881 vsize=10553612 CPUtime=3.07 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 211724 0 1 0 283 24 0 0 19 0 19 0 878006478 10806898688 218890 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505651473 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2883/tid=2898] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2898/stat : 2898 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 218891 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2899] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2899/stat : 2899 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 218893 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2900] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2900/stat : 2900 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 218895 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2901] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2901/stat : 2901 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 218897 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2902] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2902/stat : 2902 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 218899 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2903] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2903/stat : 2903 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 218901 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2904] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2904/stat : 2904 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 218903 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2905] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2905/stat : 2905 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 218905 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2906] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2906/stat : 2906 (java) S 2881 2883 827 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 218906 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2907] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2907/stat : 2907 (java) S 2881 2883 827 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 878006481 10806898688 218907 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2908] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2908/stat : 2908 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 878006481 10806898688 218909 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2914] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2914/stat : 2914 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878006483 10806898688 218911 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2915] ppid=2881 vsize=10553612 CPUtime=0.57 cores=1,3,5,7
/proc/2883/task/2915/stat : 2915 (java) S 2881 2883 827 0 -1 4202560 3648 0 0 0 57 0 0 0 15 0 19 0 878006483 10806898688 218913 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2916] ppid=2881 vsize=10553612 CPUtime=0.75 cores=1,3,5,7
/proc/2883/task/2916/stat : 2916 (java) S 2881 2883 827 0 -1 4202560 6611 0 0 0 74 1 0 0 15 0 19 0 878006483 10806898688 218915 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2917] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2917/stat : 2917 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 878006483 10806898688 218918 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2918] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2918/stat : 2918 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878006483 10806898688 218920 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2976] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2976/stat : 2976 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878006507 10806898688 218922 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 10553612
[startup+6.30128 s]
/proc/loadavg: 1.77 1.95 1.94 3/214 3041
/proc/meminfo: memFree=30286504/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10553612 CPUtime=7.67 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 467164 0 1 0 716 51 0 0 23 0 19 0 878006477 10806898688 462611 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2638403 462614 2238 9 0 2629137 0
[pid=2883/tid=2893] ppid=2881 vsize=10553612 CPUtime=6.27 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 455744 0 1 0 578 49 0 0 25 0 19 0 878006478 10806898688 462615 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505652485 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2883/tid=2898] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2898/stat : 2898 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 462617 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2899] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2899/stat : 2899 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 462618 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2900] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2900/stat : 2900 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 462620 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2901] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2901/stat : 2901 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 462621 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2902] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2902/stat : 2902 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 462623 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2903] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2903/stat : 2903 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 462624 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2904] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2904/stat : 2904 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 462626 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2905] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2905/stat : 2905 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878006480 10806898688 462627 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2906] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2906/stat : 2906 (java) S 2881 2883 827 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 878006481 10806898688 462629 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2907] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2907/stat : 2907 (java) S 2881 2883 827 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 878006481 10806898688 462630 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2908] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2908/stat : 2908 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 878006481 10806898688 462632 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2914] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2914/stat : 2914 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878006483 10806898688 462633 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2915] ppid=2881 vsize=10553612 CPUtime=0.57 cores=1,3,5,7
/proc/2883/task/2915/stat : 2915 (java) S 2881 2883 827 0 -1 4202560 3648 0 0 0 57 0 0 0 15 0 19 0 878006483 10806898688 462634 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2916] ppid=2881 vsize=10553612 CPUtime=0.8 cores=1,3,5,7
/proc/2883/task/2916/stat : 2916 (java) S 2881 2883 827 0 -1 4202560 6614 0 0 0 79 1 0 0 15 0 19 0 878006483 10806898688 462635 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/2883/task/2907/stat : 2907 (java) S 2881 2883 827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 979313 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2908] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2908/stat : 2908 (java) S 2881 2883 827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 979313 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2914] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2914/stat : 2914 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878006483 10806898688 979313 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2915] ppid=2881 vsize=10553612 CPUtime=0.69 cores=1,3,5,7
/proc/2883/task/2915/stat : 2915 (java) S 2881 2883 827 0 -1 4202560 3677 0 0 0 69 0 0 0 16 0 19 0 878006483 10806898688 979313 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2916] ppid=2881 vsize=10553612 CPUtime=0.89 cores=1,3,5,7
/proc/2883/task/2916/stat : 2916 (java) S 2881 2883 827 0 -1 4202560 6634 0 0 0 88 1 0 0 15 0 19 0 878006483 10806898688 979313 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2917] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2917/stat : 2917 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 878006483 10806898688 979313 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2918] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2918/stat : 2918 (java) S 2881 2883 827 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 878006483 10806898688 979313 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2976] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2976/stat : 2976 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878006507 10806898688 979313 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.65
Current children cumulated vsize (KiB) 10553612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 3090
/proc/meminfo: memFree=23869736/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10553612 CPUtime=1728.83 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 989968 0 1 0 172775 108 0 0 23 0 19 0 878006477 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2638403 982097 2267 9 0 2629137 0
[pid=2883/tid=2893] ppid=2881 vsize=10553612 CPUtime=1719.35 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 812334 0 1 0 171851 84 0 0 25 0 19 0 878006478 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505652931 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2883/tid=2898] ppid=2881 vsize=10553612 CPUtime=0.82 cores=1,3,5,7
/proc/2883/task/2898/stat : 2898 (java) S 2881 2883 827 0 -1 4202560 20131 0 0 0 80 2 0 0 15 0 19 0 878006480 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2899] ppid=2881 vsize=10553612 CPUtime=0.76 cores=1,3,5,7
/proc/2883/task/2899/stat : 2899 (java) S 2881 2883 827 0 -1 4202560 15719 0 0 0 74 2 0 0 15 0 19 0 878006480 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2900] ppid=2881 vsize=10553612 CPUtime=0.81 cores=1,3,5,7
/proc/2883/task/2900/stat : 2900 (java) S 2881 2883 827 0 -1 4202560 15715 0 0 0 80 1 0 0 16 0 19 0 878006480 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2901] ppid=2881 vsize=10553612 CPUtime=0.92 cores=1,3,5,7
/proc/2883/task/2901/stat : 2901 (java) S 2881 2883 827 0 -1 4202560 22432 0 0 0 89 3 0 0 16 0 19 0 878006480 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=2883/tid=2902] ppid=2881 vsize=10553612 CPUtime=0.92 cores=1,3,5,7
/proc/2883/task/2902/stat : 2902 (java) S 2881 2883 827 0 -1 4202560 21788 0 0 0 90 2 0 0 16 0 19 0 878006480 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2903] ppid=2881 vsize=10553612 CPUtime=0.88 cores=1,3,5,7
/proc/2883/task/2903/stat : 2903 (java) S 2881 2883 827 0 -1 4202560 24932 0 0 0 86 2 0 0 16 0 19 0 878006480 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2904] ppid=2881 vsize=10553612 CPUtime=0.77 cores=1,3,5,7
/proc/2883/task/2904/stat : 2904 (java) S 2881 2883 827 0 -1 4202560 17657 0 0 0 75 2 0 0 15 0 19 0 878006480 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2905] ppid=2881 vsize=10553612 CPUtime=0.76 cores=1,3,5,7
/proc/2883/task/2905/stat : 2905 (java) S 2881 2883 827 0 -1 4202560 21457 0 0 0 73 3 0 0 15 0 19 0 878006480 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2906] ppid=2881 vsize=10553612 CPUtime=1.15 cores=1,3,5,7
/proc/2883/task/2906/stat : 2906 (java) S 2881 2883 827 0 -1 4202560 6240 0 0 0 114 1 0 0 15 0 19 0 878006481 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2907] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2907/stat : 2907 (java) S 2881 2883 827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2908] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2908/stat : 2908 (java) S 2881 2883 827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2914] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2914/stat : 2914 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878006483 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2915] ppid=2881 vsize=10553612 CPUtime=0.69 cores=1,3,5,7
/proc/2883/task/2915/stat : 2915 (java) S 2881 2883 827 0 -1 4202560 3677 0 0 0 69 0 0 0 16 0 19 0 878006483 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2916] ppid=2881 vsize=10553612 CPUtime=0.89 cores=1,3,5,7
/proc/2883/task/2916/stat : 2916 (java) S 2881 2883 827 0 -1 4202560 6634 0 0 0 88 1 0 0 15 0 19 0 878006483 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2917] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2917/stat : 2917 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 878006483 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2918] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2918/stat : 2918 (java) S 2881 2883 827 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 878006483 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2976] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2976/stat : 2976 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878006507 10806898688 982097 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.83
Current children cumulated vsize (KiB) 10553612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 3092
/proc/meminfo: memFree=23845984/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10553612 CPUtime=1789.04 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 993561 0 1 0 178795 109 0 0 23 0 19 0 878006477 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2638403 985572 2267 9 0 2629137 0
[pid=2883/tid=2893] ppid=2881 vsize=10553612 CPUtime=1779.28 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 812337 0 1 0 177844 84 0 0 25 0 19 0 878006478 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505651600 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2883/tid=2898] ppid=2881 vsize=10553612 CPUtime=0.84 cores=1,3,5,7
/proc/2883/task/2898/stat : 2898 (java) S 2881 2883 827 0 -1 4202560 20460 0 0 0 82 2 0 0 15 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2899] ppid=2881 vsize=10553612 CPUtime=0.78 cores=1,3,5,7
/proc/2883/task/2899/stat : 2899 (java) S 2881 2883 827 0 -1 4202560 15995 0 0 0 76 2 0 0 15 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2900] ppid=2881 vsize=10553612 CPUtime=0.88 cores=1,3,5,7
/proc/2883/task/2900/stat : 2900 (java) S 2881 2883 827 0 -1 4202560 16585 0 0 0 87 1 0 0 16 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2901] ppid=2881 vsize=10553612 CPUtime=0.96 cores=1,3,5,7
/proc/2883/task/2901/stat : 2901 (java) S 2881 2883 827 0 -1 4202560 22881 0 0 0 93 3 0 0 16 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=2883/tid=2902] ppid=2881 vsize=10553612 CPUtime=0.94 cores=1,3,5,7
/proc/2883/task/2902/stat : 2902 (java) S 2881 2883 827 0 -1 4202560 22095 0 0 0 92 2 0 0 16 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2903] ppid=2881 vsize=10553612 CPUtime=0.92 cores=1,3,5,7
/proc/2883/task/2903/stat : 2903 (java) S 2881 2883 827 0 -1 4202560 25471 0 0 0 90 2 0 0 16 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2904] ppid=2881 vsize=10553612 CPUtime=0.82 cores=1,3,5,7
/proc/2883/task/2904/stat : 2904 (java) S 2881 2883 827 0 -1 4202560 18418 0 0 0 80 2 0 0 15 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=2883/tid=2905] ppid=2881 vsize=10553612 CPUtime=0.77 cores=1,3,5,7
/proc/2883/task/2905/stat : 2905 (java) S 2881 2883 827 0 -1 4202560 21508 0 0 0 74 3 0 0 15 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2906] ppid=2881 vsize=10553612 CPUtime=1.15 cores=1,3,5,7
/proc/2883/task/2906/stat : 2906 (java) S 2881 2883 827 0 -1 4202560 6244 0 0 0 114 1 0 0 15 0 19 0 878006481 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2907] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2907/stat : 2907 (java) S 2881 2883 827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2908] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2908/stat : 2908 (java) S 2881 2883 827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2914] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2914/stat : 2914 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2915] ppid=2881 vsize=10553612 CPUtime=0.69 cores=1,3,5,7
/proc/2883/task/2915/stat : 2915 (java) S 2881 2883 827 0 -1 4202560 3677 0 0 0 69 0 0 0 16 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2916] ppid=2881 vsize=10553612 CPUtime=0.89 cores=1,3,5,7
/proc/2883/task/2916/stat : 2916 (java) S 2881 2883 827 0 -1 4202560 6634 0 0 0 88 1 0 0 15 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2917] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2917/stat : 2917 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2918] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2918/stat : 2918 (java) S 2881 2883 827 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2976] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2976/stat : 2976 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878006507 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 10553612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.3 s]
/proc/loadavg: 1.92 1.98 1.96 2/194 3095
/proc/meminfo: memFree=28254048/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=10553612 CPUtime=1800.04 cores=1,3,5,7
/proc/2883/stat : 2883 (java) S 2881 2883 827 0 -1 4202496 993561 0 1 0 179895 109 0 0 23 0 19 0 878006477 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 2638403 985572 2267 9 0 2629137 0
[pid=2883/tid=2893] ppid=2881 vsize=10553612 CPUtime=1790.28 cores=1,3,5,7
/proc/2883/task/2893/stat : 2893 (java) R 2881 2883 827 0 -1 4202560 812337 0 1 0 178944 84 0 0 25 0 19 0 878006478 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 46912505629638 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2883/tid=2898] ppid=2881 vsize=10553612 CPUtime=0.84 cores=1,3,5,7
/proc/2883/task/2898/stat : 2898 (java) S 2881 2883 827 0 -1 4202560 20460 0 0 0 82 2 0 0 15 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2899] ppid=2881 vsize=10553612 CPUtime=0.78 cores=1,3,5,7
/proc/2883/task/2899/stat : 2899 (java) S 2881 2883 827 0 -1 4202560 15995 0 0 0 76 2 0 0 15 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2900] ppid=2881 vsize=10553612 CPUtime=0.88 cores=1,3,5,7
/proc/2883/task/2900/stat : 2900 (java) S 2881 2883 827 0 -1 4202560 16585 0 0 0 87 1 0 0 16 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2901] ppid=2881 vsize=10553612 CPUtime=0.96 cores=1,3,5,7
/proc/2883/task/2901/stat : 2901 (java) S 2881 2883 827 0 -1 4202560 22881 0 0 0 93 3 0 0 16 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=2883/tid=2902] ppid=2881 vsize=10553612 CPUtime=0.94 cores=1,3,5,7
/proc/2883/task/2902/stat : 2902 (java) S 2881 2883 827 0 -1 4202560 22095 0 0 0 92 2 0 0 16 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2903] ppid=2881 vsize=10553612 CPUtime=0.92 cores=1,3,5,7
/proc/2883/task/2903/stat : 2903 (java) S 2881 2883 827 0 -1 4202560 25471 0 0 0 90 2 0 0 16 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2904] ppid=2881 vsize=10553612 CPUtime=0.82 cores=1,3,5,7
/proc/2883/task/2904/stat : 2904 (java) S 2881 2883 827 0 -1 4202560 18418 0 0 0 80 2 0 0 15 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=2883/tid=2905] ppid=2881 vsize=10553612 CPUtime=0.77 cores=1,3,5,7
/proc/2883/task/2905/stat : 2905 (java) S 2881 2883 827 0 -1 4202560 21508 0 0 0 74 3 0 0 15 0 19 0 878006480 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2906] ppid=2881 vsize=10553612 CPUtime=1.15 cores=1,3,5,7
/proc/2883/task/2906/stat : 2906 (java) S 2881 2883 827 0 -1 4202560 6244 0 0 0 114 1 0 0 15 0 19 0 878006481 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2907] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2907/stat : 2907 (java) S 2881 2883 827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2908] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2908/stat : 2908 (java) S 2881 2883 827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878006481 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2914] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2914/stat : 2914 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2915] ppid=2881 vsize=10553612 CPUtime=0.69 cores=1,3,5,7
/proc/2883/task/2915/stat : 2915 (java) S 2881 2883 827 0 -1 4202560 3677 0 0 0 69 0 0 0 16 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=2883/tid=2916] ppid=2881 vsize=10553612 CPUtime=0.89 cores=1,3,5,7
/proc/2883/task/2916/stat : 2916 (java) S 2881 2883 827 0 -1 4202560 6634 0 0 0 88 1 0 0 15 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2917] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2917/stat : 2917 (java) S 2881 2883 827 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=2883/tid=2918] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2918/stat : 2918 (java) S 2881 2883 827 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878006483 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=2883/tid=2976] ppid=2881 vsize=10553612 CPUtime=0 cores=1,3,5,7
/proc/2883/task/2976/stat : 2976 (java) S 2881 2883 827 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878006507 10806898688 985572 33554432000 1073741824 1073778376 140736165240432 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10553612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.41 s]
/proc/loadavg: 1.92 1.98 1.96 2/194 3095
/proc/meminfo: memFree=28254048/32951124 swapFree=67054516/67111528
[pid=2883] ppid=2881 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/2883/stat : 2883 (java) Z 2881 2883 827 0 -1 4203548 993591 0 1 0 179900 116 0 0 17 0 2 0 878006477 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2883/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.48
CPU time (s): 1800.23
CPU user time (s): 1799
CPU system time (s): 1.23281
CPU usage (%): 100.377
Max. virtual memory (cumulated for all children) (KiB): 10553612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.23281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 993591
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39151
involuntary context switches= 27236
runsolver used 2.85457 second user time and 6.94294 second system time
The end