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-3456757-1307640540/watcher-3456757-1307640540 -o /tmp/evaluation-result-3456757-1307640540/solver-3456757-1307640540 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456757-1307640540.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.04 2.00 2/195 28733
/proc/meminfo: memFree=27656492/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/28733/stat : 28733 (java) R 28731 28733 27745 0 -1 4202496 958 0 0 0 0 0 0 0 22 0 1 0 954284717 23580672 703 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256410429329 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28733/statm: 5757 703 519 9 0 124 0
[startup+0.00731303 s]
/proc/loadavg: 2.16 2.04 2.00 2/195 28733
/proc/meminfo: memFree=27656492/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 1177 0 0 0 0 0 0 0 22 0 2 0 954284717 27824128 906 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 6793 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27172
[startup+0.100403 s]
/proc/loadavg: 2.16 2.04 2.00 2/195 28733
/proc/meminfo: memFree=27656492/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10539632 CPUtime=0.08 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 12841 0 1 0 7 1 0 0 22 0 18 0 954284717 10792583168 12518 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2634908 12518 2081 9 0 2625642 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539632
[startup+0.300355 s]
/proc/loadavg: 2.16 2.04 2.00 2/195 28733
/proc/meminfo: memFree=27656492/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10540816 CPUtime=0.46 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 19676 0 1 0 43 3 0 0 22 0 18 0 954284717 10793795584 18833 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2635204 18836 2199 9 0 2625938 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540816
[startup+0.700247 s]
/proc/loadavg: 2.16 2.04 2.00 2/195 28733
/proc/meminfo: memFree=27656492/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10541000 CPUtime=1.02 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 47809 0 1 0 96 6 0 0 22 0 18 0 954284717 10793984000 46782 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2635250 46782 2204 9 0 2625984 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10541000
[startup+1.50109 s]
/proc/loadavg: 2.16 2.04 2.00 3/213 28751
/proc/meminfo: memFree=27370120/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10541000 CPUtime=1.83 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 112993 0 1 0 169 14 0 0 22 0 18 0 954284717 10793984000 111966 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2635250 111969 2204 9 0 2625984 0
[pid=28733/tid=28735] ppid=28731 vsize=10541000 CPUtime=1.46 cores=0,2,4,6
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 27745 0 -1 4202560 109210 0 1 0 133 13 0 0 19 0 18 0 954284718 10793984000 111971 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 46912505574392 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954284719 10793984000 111973 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 4 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284719 10793984000 111974 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28738] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284719 10793984000 111975 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28739] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284719 10793984000 111977 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28740] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284719 10793984000 111979 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284719 10793984000 111981 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28742] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954284719 10793984000 111983 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28743] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28743/stat : 28743 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954284719 10793984000 111985 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28744] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28744/stat : 28744 (java) S 28731 28733 27745 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954284720 10793984000 111987 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 0 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28745] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28745/stat : 28745 (java) S 28731 28733 27745 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 954284721 10793984000 111989 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28746] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28746/stat : 28746 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 954284721 10793984000 111991 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28747] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28747/stat : 28747 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284723 10793984000 111993 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427215281 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28748] ppid=28731 vsize=10541000 CPUtime=0.18 cores=0,2,4,6
/proc/28733/task/28748/stat : 28748 (java) S 28731 28733 27745 0 -1 4202560 1055 0 0 0 18 0 0 0 15 0 18 0 954284723 10793984000 111996 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28749] ppid=28731 vsize=10541000 CPUtime=0.16 cores=0,2,4,6
/proc/28733/task/28749/stat : 28749 (java) S 28731 28733 27745 0 -1 4202560 1584 0 0 0 16 0 0 0 15 0 18 0 954284723 10793984000 111998 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28750] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28750/stat : 28750 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284723 10793984000 112000 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28751] ppid=28731 vsize=10541000 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28751/stat : 28751 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954284723 10793984000 112002 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10541000
[startup+3.10079 s]
/proc/loadavg: 2.16 2.04 2.00 3/214 28752
/proc/meminfo: memFree=27121524/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10545688 CPUtime=3.97 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 203721 0 1 0 374 23 0 0 22 0 19 0 954284717 10798784512 201477 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2636422 201478 2226 9 0 2627156 0
[pid=28733/tid=28735] ppid=28731 vsize=10545688 CPUtime=3.06 cores=0,2,4,6
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 27745 0 -1 4202560 197765 0 1 0 284 22 0 0 18 0 19 0 954284718 10798784512 201478 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 46912505686175 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954284719 10798784512 201479 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 4 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 201479 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28738] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 201480 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28739] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 201480 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28740] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 201481 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 201481 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28742] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954284719 10798784512 201482 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28743] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28743/stat : 28743 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954284719 10798784512 201482 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28744] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28744/stat : 28744 (java) S 28731 28733 27745 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954284720 10798784512 201483 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 0 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28745] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28745/stat : 28745 (java) S 28731 28733 27745 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 954284721 10798784512 201483 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28746] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28746/stat : 28746 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 954284721 10798784512 201484 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28747] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28747/stat : 28747 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 201484 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427215281 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28748] ppid=28731 vsize=10545688 CPUtime=0.5 cores=0,2,4,6
/proc/28733/task/28748/stat : 28748 (java) S 28731 28733 27745 0 -1 4202560 3070 0 0 0 50 0 0 0 15 0 19 0 954284723 10798784512 201485 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28749] ppid=28731 vsize=10545688 CPUtime=0.38 cores=0,2,4,6
/proc/28733/task/28749/stat : 28749 (java) S 28731 28733 27745 0 -1 4202560 1728 0 0 0 38 0 0 0 15 0 19 0 954284723 10798784512 201485 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28750] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28750/stat : 28750 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 201486 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28751] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28751/stat : 28751 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954284723 10798784512 201486 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28752] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28752/stat : 28752 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954284908 10798784512 201487 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10545688
[startup+6.30121 s]
/proc/loadavg: 2.15 2.04 2.00 3/214 28753
/proc/meminfo: memFree=26693372/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10545688 CPUtime=7.21 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 256682 0 1 0 691 30 0 0 22 0 19 0 954284717 10798784512 254316 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2636422 254316 2227 9 0 2627156 0
[pid=28733/tid=28735] ppid=28731 vsize=10545688 CPUtime=6.26 cores=0,2,4,6
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 27745 0 -1 4202560 250720 0 1 0 598 28 0 0 23 0 19 0 954284718 10798784512 254317 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 46912505629102 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954284719 10798784512 254317 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 4 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 254318 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28738] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 254318 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28739] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 254318 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28740] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 254319 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284719 10798784512 254319 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28742] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954284719 10798784512 254320 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28743] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28743/stat : 28743 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954284719 10798784512 254320 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28744] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28744/stat : 28744 (java) S 28731 28733 27745 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954284720 10798784512 254321 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 0 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28745] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28745/stat : 28745 (java) S 28731 28733 27745 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 954284721 10798784512 254321 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28746] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28746/stat : 28746 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 954284721 10798784512 254321 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28747] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28747/stat : 28747 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 254322 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427215281 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28748] ppid=28731 vsize=10545688 CPUtime=0.51 cores=0,2,4,6
/proc/28733/task/28748/stat : 28748 (java) S 28731 28733 27745 0 -1 4202560 3071 0 0 0 51 0 0 0 16 0 19 0 954284723 10798784512 254322 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28749] ppid=28731 vsize=10545688 CPUtime=0.41 cores=0,2,4,6
/proc/28733/task/28749/stat : 28749 (java) S 28731 28733 27745 0 -1 4202560 1732 0 0 0 41 0 0 0 15 0 19 0 954284723 10798784512 254323 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28750] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28750/stat : 28750 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 254323 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28751] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28751/stat : 28751 (java) S 28731 28733 27745 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954284723 10798784512 254324 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28752] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28752/stat : 28752 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954284908 10798784512 254324 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 10545688
[startup+12.701 s]
/proc/loadavg: 2.22 2.06 2.01 3/214 28753
/proc/meminfo: memFree=24936044/32950928 swapFree=67056212/67111528
################
# More data... #
################
/proc/28733/task/28745/stat : 28745 (java) S 28731 28733 27745 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954284721 10798784512 937052 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28746] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28746/stat : 28746 (java) S 28731 28733 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284721 10798784512 937052 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28747] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28747/stat : 28747 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 937052 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427215281 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28748] ppid=28731 vsize=10545688 CPUtime=0.63 cores=0,2,4,6
/proc/28733/task/28748/stat : 28748 (java) S 28731 28733 27745 0 -1 4202560 3108 0 0 0 63 0 0 0 15 0 19 0 954284723 10798784512 937052 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28749] ppid=28731 vsize=10545688 CPUtime=0.61 cores=0,2,4,6
/proc/28733/task/28749/stat : 28749 (java) S 28731 28733 27745 0 -1 4202560 5031 0 0 0 60 1 0 0 15 0 19 0 954284723 10798784512 937052 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28750] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28750/stat : 28750 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 937052 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28751] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28751/stat : 28751 (java) S 28731 28733 27745 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954284723 10798784512 937052 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28752] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28752/stat : 28752 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954284908 10798784512 937052 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1666.9
Current children cumulated vsize (KiB) 10545688
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 5/214 28860
/proc/meminfo: memFree=28261908/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10545688 CPUtime=1727.02 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 946607 0 1 0 172582 120 0 0 22 0 19 0 954284717 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2636422 940256 2240 9 0 2627156 0
[pid=28733/tid=28735] ppid=28731 vsize=10545688 CPUtime=1720.85 cores=0,2,4,6
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 27745 0 -1 4202560 759595 0 1 0 171999 86 0 0 25 0 19 0 954284718 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 46912505620337 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=10545688 CPUtime=0.52 cores=0,2,4,6
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 27745 0 -1 4202560 18584 0 0 0 50 2 0 0 16 0 19 0 954284719 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=10545688 CPUtime=0.45 cores=0,2,4,6
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 27745 0 -1 4202560 11822 0 0 0 43 2 0 0 16 0 19 0 954284719 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28738] ppid=28731 vsize=10545688 CPUtime=0.52 cores=0,2,4,6
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 27745 0 -1 4202560 20569 0 0 0 50 2 0 0 15 0 19 0 954284719 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 2
[pid=28733/tid=28739] ppid=28731 vsize=10545688 CPUtime=0.48 cores=0,2,4,6
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 27745 0 -1 4202560 14387 0 0 0 47 1 0 0 15 0 19 0 954284719 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28740] ppid=28731 vsize=10545688 CPUtime=0.6 cores=0,2,4,6
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 27745 0 -1 4202560 27464 0 0 0 56 4 0 0 16 0 19 0 954284719 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=10545688 CPUtime=0.81 cores=0,2,4,6
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 27745 0 -1 4202560 37510 0 0 0 75 6 0 0 15 0 19 0 954284719 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 2
[pid=28733/tid=28742] ppid=28731 vsize=10545688 CPUtime=0.66 cores=0,2,4,6
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 27745 0 -1 4202560 16168 0 0 0 63 3 0 0 16 0 19 0 954284719 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 4 0 0 0
[pid=28733/tid=28743] ppid=28731 vsize=10545688 CPUtime=0.72 cores=0,2,4,6
/proc/28733/task/28743/stat : 28743 (java) S 28731 28733 27745 0 -1 4202560 31016 0 0 0 67 5 0 0 15 0 19 0 954284719 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28744] ppid=28731 vsize=10545688 CPUtime=0.04 cores=0,2,4,6
/proc/28733/task/28744/stat : 28744 (java) S 28731 28733 27745 0 -1 4202560 98 0 0 0 2 2 0 0 15 0 19 0 954284720 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 0 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28745] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28745/stat : 28745 (java) S 28731 28733 27745 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954284721 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28746] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28746/stat : 28746 (java) S 28731 28733 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284721 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28747] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28747/stat : 28747 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427215281 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28748] ppid=28731 vsize=10545688 CPUtime=0.64 cores=0,2,4,6
/proc/28733/task/28748/stat : 28748 (java) S 28731 28733 27745 0 -1 4202560 3113 0 0 0 64 0 0 0 15 0 19 0 954284723 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28749] ppid=28731 vsize=10545688 CPUtime=0.61 cores=0,2,4,6
/proc/28733/task/28749/stat : 28749 (java) S 28731 28733 27745 0 -1 4202560 5031 0 0 0 60 1 0 0 15 0 19 0 954284723 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28750] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28750/stat : 28750 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28751] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28751/stat : 28751 (java) S 28731 28733 27745 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 954284723 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28752] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28752/stat : 28752 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954284908 10798784512 940256 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.02
Current children cumulated vsize (KiB) 10545688
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 28862
/proc/meminfo: memFree=24894264/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10545688 CPUtime=1787.07 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 947927 0 1 0 178586 121 0 0 22 0 19 0 954284717 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2636422 941542 2240 9 0 2627156 0
[pid=28733/tid=28735] ppid=28731 vsize=10545688 CPUtime=1780.83 cores=0,2,4,6
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 27745 0 -1 4202560 759596 0 1 0 177997 86 0 0 25 0 19 0 954284718 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 46912505755640 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=10545688 CPUtime=0.54 cores=0,2,4,6
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 27745 0 -1 4202560 19046 0 0 0 52 2 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=10545688 CPUtime=0.45 cores=0,2,4,6
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 27745 0 -1 4202560 11822 0 0 0 43 2 0 0 15 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28738] ppid=28731 vsize=10545688 CPUtime=0.52 cores=0,2,4,6
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 27745 0 -1 4202560 20569 0 0 0 50 2 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 2
[pid=28733/tid=28739] ppid=28731 vsize=10545688 CPUtime=0.48 cores=0,2,4,6
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 27745 0 -1 4202560 14387 0 0 0 47 1 0 0 15 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28740] ppid=28731 vsize=10545688 CPUtime=0.6 cores=0,2,4,6
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 27745 0 -1 4202560 27464 0 0 0 56 4 0 0 15 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=10545688 CPUtime=0.82 cores=0,2,4,6
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 27745 0 -1 4202560 37777 0 0 0 76 6 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 2
[pid=28733/tid=28742] ppid=28731 vsize=10545688 CPUtime=0.67 cores=0,2,4,6
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 27745 0 -1 4202560 16578 0 0 0 64 3 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 4 0 0 0
[pid=28733/tid=28743] ppid=28731 vsize=10545688 CPUtime=0.73 cores=0,2,4,6
/proc/28733/task/28743/stat : 28743 (java) S 28731 28733 27745 0 -1 4202560 31192 0 0 0 68 5 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28744] ppid=28731 vsize=10545688 CPUtime=0.04 cores=0,2,4,6
/proc/28733/task/28744/stat : 28744 (java) S 28731 28733 27745 0 -1 4202560 100 0 0 0 2 2 0 0 15 0 19 0 954284720 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 0 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28745] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28745/stat : 28745 (java) S 28731 28733 27745 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954284721 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28746] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28746/stat : 28746 (java) S 28731 28733 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284721 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28747] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28747/stat : 28747 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427215281 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28748] ppid=28731 vsize=10545688 CPUtime=0.64 cores=0,2,4,6
/proc/28733/task/28748/stat : 28748 (java) S 28731 28733 27745 0 -1 4202560 3113 0 0 0 64 0 0 0 15 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28749] ppid=28731 vsize=10545688 CPUtime=0.61 cores=0,2,4,6
/proc/28733/task/28749/stat : 28749 (java) S 28731 28733 27745 0 -1 4202560 5031 0 0 0 60 1 0 0 15 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28750] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28750/stat : 28750 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28751] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28751/stat : 28751 (java) S 28731 28733 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28752] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28752/stat : 28752 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954284908 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.07
Current children cumulated vsize (KiB) 10545688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 28862
/proc/meminfo: memFree=24893264/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=10545688 CPUtime=1800.08 cores=0,2,4,6
/proc/28733/stat : 28733 (java) S 28731 28733 27745 0 -1 4202496 947929 0 1 0 179887 121 0 0 22 0 19 0 954284717 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 2636422 941542 2240 9 0 2627156 0
[pid=28733/tid=28735] ppid=28731 vsize=10545688 CPUtime=1793.84 cores=0,2,4,6
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 27745 0 -1 4202560 759596 0 1 0 179298 86 0 0 25 0 19 0 954284718 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 46912505822728 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=10545688 CPUtime=0.54 cores=0,2,4,6
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 27745 0 -1 4202560 19046 0 0 0 52 2 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=10545688 CPUtime=0.45 cores=0,2,4,6
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 27745 0 -1 4202560 11822 0 0 0 43 2 0 0 15 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28738] ppid=28731 vsize=10545688 CPUtime=0.52 cores=0,2,4,6
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 27745 0 -1 4202560 20569 0 0 0 50 2 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 2
[pid=28733/tid=28739] ppid=28731 vsize=10545688 CPUtime=0.48 cores=0,2,4,6
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 27745 0 -1 4202560 14387 0 0 0 47 1 0 0 15 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28740] ppid=28731 vsize=10545688 CPUtime=0.6 cores=0,2,4,6
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 27745 0 -1 4202560 27464 0 0 0 56 4 0 0 15 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=10545688 CPUtime=0.82 cores=0,2,4,6
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 27745 0 -1 4202560 37777 0 0 0 76 6 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 2
[pid=28733/tid=28742] ppid=28731 vsize=10545688 CPUtime=0.67 cores=0,2,4,6
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 27745 0 -1 4202560 16578 0 0 0 64 3 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 4 0 0 0
[pid=28733/tid=28743] ppid=28731 vsize=10545688 CPUtime=0.73 cores=0,2,4,6
/proc/28733/task/28743/stat : 28743 (java) S 28731 28733 27745 0 -1 4202560 31192 0 0 0 68 5 0 0 16 0 19 0 954284719 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28744] ppid=28731 vsize=10545688 CPUtime=0.04 cores=0,2,4,6
/proc/28733/task/28744/stat : 28744 (java) S 28731 28733 27745 0 -1 4202560 100 0 0 0 2 2 0 0 15 0 19 0 954284720 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 0 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28745] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28745/stat : 28745 (java) S 28731 28733 27745 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954284721 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28746] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28746/stat : 28746 (java) S 28731 28733 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284721 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28747] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28747/stat : 28747 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427215281 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28748] ppid=28731 vsize=10545688 CPUtime=0.64 cores=0,2,4,6
/proc/28733/task/28748/stat : 28748 (java) S 28731 28733 27745 0 -1 4202560 3113 0 0 0 64 0 0 0 15 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28749] ppid=28731 vsize=10545688 CPUtime=0.61 cores=0,2,4,6
/proc/28733/task/28749/stat : 28749 (java) S 28731 28733 27745 0 -1 4202560 5031 0 0 0 60 1 0 0 15 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 2 0 0 0
[pid=28733/tid=28750] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28750/stat : 28750 (java) S 28731 28733 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427207577 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
[pid=28733/tid=28751] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28751/stat : 28751 (java) S 28731 28733 27745 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 954284723 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 0 0 0 0
[pid=28733/tid=28752] ppid=28731 vsize=10545688 CPUtime=0 cores=0,2,4,6
/proc/28733/task/28752/stat : 28752 (java) S 28731 28733 27745 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954284908 10798784512 941542 33554432000 1073741824 1073778376 140734981506352 18446744073709551615 256427208192 0 4 0 16800975 18446604443734575808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10545688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.41 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 28862
/proc/meminfo: memFree=24893264/32950928 swapFree=67056212/67111528
[pid=28733] ppid=28731 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/28733/stat : 28733 (java) Z 28731 28733 27745 0 -1 4203548 947958 0 1 0 179888 131 0 0 17 0 2 0 954284717 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28733/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.45
CPU time (s): 1800.23
CPU user time (s): 1798.88
CPU system time (s): 1.35279
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 10545688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.35279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947958
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= 41448
involuntary context switches= 14121
runsolver used 3.15952 second user time and 6.64799 second system time
The end