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-3455997-1307661050/watcher-3455997-1307661050 -o /tmp/evaluation-result-3455997-1307661050/solver-3455997-1307661050 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455997-1307661050.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.00 1.86 3/195 30744
/proc/meminfo: memFree=28482180/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=2464 CPUtime=0 cores=1,3,5,7
/proc/30744/stat : 30744 (java) R 30742 30744 27745 0 -1 4194304 282 0 0 0 0 0 0 0 17 0 1 0 956335658 2523136 45 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256410467975 0 2147483391 4096 0 0 0 0 17 1 0 0 0
/proc/30744/statm: 616 45 35 9 0 27 0
[startup+0.020772 s]
/proc/loadavg: 2.05 2.00 1.86 3/195 30744
/proc/meminfo: memFree=28482180/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 6326 0 1 0 0 0 0 0 17 0 2 0 956335658 10694979584 6027 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2611079 6051 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.104821 s]
/proc/loadavg: 2.05 2.00 1.86 3/195 30744
/proc/meminfo: memFree=28482180/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10540100 CPUtime=0.1 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 13007 0 1 0 9 1 0 0 17 0 18 0 956335658 10793062400 12703 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2635025 12703 2093 9 0 2625759 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540100
[startup+0.300711 s]
/proc/loadavg: 2.05 2.00 1.86 3/195 30744
/proc/meminfo: memFree=28482180/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10546880 CPUtime=0.49 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 17406 0 1 0 48 1 0 0 17 0 19 0 956335658 10800005120 16215 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2636720 16215 2188 9 0 2627454 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10546880
[startup+0.700633 s]
/proc/loadavg: 2.05 2.00 1.86 3/195 30744
/proc/meminfo: memFree=28482180/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10555896 CPUtime=1.66 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 47316 0 1 0 160 6 0 0 17 0 19 0 956335658 10809237504 40759 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2638974 40763 2216 9 0 2629708 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10555896
[startup+1.5015 s]
/proc/loadavg: 2.05 2.00 1.86 3/214 30763
/proc/meminfo: memFree=28193712/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10555896 CPUtime=2.74 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 133120 0 1 0 259 15 0 0 17 0 19 0 956335658 10809237504 124981 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2638974 124985 2219 9 0 2629708 0
[pid=30744/tid=30746] ppid=30742 vsize=10555896 CPUtime=1.47 cores=1,3,5,7
/proc/30744/task/30746/stat : 30746 (java) R 30742 30744 27745 0 -1 4202560 116529 0 1 0 135 12 0 0 19 0 19 0 956335659 10809237504 124986 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 46912505520641 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30747/stat : 30747 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956335661 10809237504 124987 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30748] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30748/stat : 30748 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 124990 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30749] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30749/stat : 30749 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 124992 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30750] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30750/stat : 30750 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 124995 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30751] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30751/stat : 30751 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 124997 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30752] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30752/stat : 30752 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 125000 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30753] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30753/stat : 30753 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 125003 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30754] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30754/stat : 30754 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 125005 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30755] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30755/stat : 30755 (java) S 30742 30744 27745 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956335662 10809237504 125007 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 0 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30756] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30756/stat : 30756 (java) S 30742 30744 27745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 956335662 10809237504 125010 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30757] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30757/stat : 30757 (java) S 30742 30744 27745 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 956335662 10809237504 125012 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30758] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30758/stat : 30758 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335665 10809237504 125015 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427215281 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30759] ppid=30742 vsize=10555896 CPUtime=0.65 cores=1,3,5,7
/proc/30744/task/30759/stat : 30759 (java) S 30742 30744 27745 0 -1 4202560 9493 0 0 0 64 1 0 0 19 0 19 0 956335665 10809237504 125017 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30760] ppid=30742 vsize=10555896 CPUtime=0.6 cores=1,3,5,7
/proc/30744/task/30760/stat : 30760 (java) S 30742 30744 27745 0 -1 4202560 5941 0 0 0 60 0 0 0 16 0 19 0 956335665 10809237504 125020 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30761] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30761/stat : 30761 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956335665 10809237504 125022 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30762] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30762/stat : 30762 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956335665 10809237504 125024 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 7 0 0 0
[pid=30744/tid=30763] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30763/stat : 30763 (java) S 30742 30744 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 956335675 10809237504 125026 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 10555896
[startup+3.1012 s]
/proc/loadavg: 2.05 2.00 1.86 3/214 30763
/proc/meminfo: memFree=27731408/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10555896 CPUtime=4.34 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 298659 0 1 0 400 34 0 0 17 0 19 0 956335658 10809237504 290520 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2638974 290524 2219 9 0 2629708 0
[pid=30744/tid=30746] ppid=30742 vsize=10555896 CPUtime=3.07 cores=1,3,5,7
/proc/30744/task/30746/stat : 30746 (java) R 30742 30744 27745 0 -1 4202560 282069 0 1 0 275 32 0 0 23 0 19 0 956335659 10809237504 290526 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 46912505514322 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30747/stat : 30747 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956335661 10809237504 290529 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30748] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30748/stat : 30748 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 290532 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30749] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30749/stat : 30749 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 290535 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30750] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30750/stat : 30750 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 290538 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30751] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30751/stat : 30751 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 290540 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30752] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30752/stat : 30752 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 290543 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30753] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30753/stat : 30753 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 290546 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30754] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30754/stat : 30754 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 290547 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30755] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30755/stat : 30755 (java) S 30742 30744 27745 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956335662 10809237504 290549 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 0 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30756] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30756/stat : 30756 (java) S 30742 30744 27745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 956335662 10809237504 290552 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30757] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30757/stat : 30757 (java) S 30742 30744 27745 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 956335662 10809237504 290554 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30758] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30758/stat : 30758 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335665 10809237504 290557 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427215281 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30759] ppid=30742 vsize=10555896 CPUtime=0.65 cores=1,3,5,7
/proc/30744/task/30759/stat : 30759 (java) S 30742 30744 27745 0 -1 4202560 9493 0 0 0 64 1 0 0 19 0 19 0 956335665 10809237504 290558 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30760] ppid=30742 vsize=10555896 CPUtime=0.6 cores=1,3,5,7
/proc/30744/task/30760/stat : 30760 (java) S 30742 30744 27745 0 -1 4202560 5941 0 0 0 60 0 0 0 16 0 19 0 956335665 10809237504 290561 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30761] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30761/stat : 30761 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956335665 10809237504 290563 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30762] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30762/stat : 30762 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956335665 10809237504 290566 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 7 0 0 0
[pid=30744/tid=30763] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30763/stat : 30763 (java) S 30742 30744 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 956335675 10809237504 290568 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10555896
[startup+6.30158 s]
/proc/loadavg: 2.05 2.00 1.86 3/214 30763
/proc/meminfo: memFree=26395184/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10555896 CPUtime=7.56 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 618493 0 1 0 687 69 0 0 17 0 19 0 956335658 10809237504 610288 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2638974 610294 2220 9 0 2629708 0
[pid=30744/tid=30746] ppid=30742 vsize=10555896 CPUtime=6.27 cores=1,3,5,7
/proc/30744/task/30746/stat : 30746 (java) R 30742 30744 27745 0 -1 4202560 601899 0 1 0 561 66 0 0 21 0 19 0 956335659 10809237504 610296 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 46912505520684 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30747/stat : 30747 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956335661 10809237504 610298 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30748] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30748/stat : 30748 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 610301 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30749] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30749/stat : 30749 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 610302 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30750] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30750/stat : 30750 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 610304 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30751] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30751/stat : 30751 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 610306 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30752] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30752/stat : 30752 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 610309 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30753] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30753/stat : 30753 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 610311 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30754] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30754/stat : 30754 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335661 10809237504 610314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30755] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30755/stat : 30755 (java) S 30742 30744 27745 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956335662 10809237504 610316 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 0 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30756] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30756/stat : 30756 (java) S 30742 30744 27745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 956335662 10809237504 610319 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30757] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30757/stat : 30757 (java) S 30742 30744 27745 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 956335662 10809237504 610321 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30758] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30758/stat : 30758 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335665 10809237504 610324 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427215281 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30759] ppid=30742 vsize=10555896 CPUtime=0.65 cores=1,3,5,7
/proc/30744/task/30759/stat : 30759 (java) S 30742 30744 27745 0 -1 4202560 9493 0 0 0 64 1 0 0 18 0 19 0 956335665 10809237504 610327 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30760] ppid=30742 vsize=10555896 CPUtime=0.61 cores=1,3,5,7
/proc/30744/task/30760/stat : 30760 (java) S 30742 30744 27745 0 -1 4202560 5946 0 0 0 61 0 0 0 15 0 19 0 956335665 10809237504 610330 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30761] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30761/stat : 30761 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956335665 10809237504 610333 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30762] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30762/stat : 30762 (java) S 30742 30744 27745 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956335665 10809237504 610336 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 7 0 0 0
[pid=30744/tid=30763] ppid=30742 vsize=10555896 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30763/stat : 30763 (java) S 30742 30744 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 956335675 10809237504 610339 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 10555896
[startup+12.7014 s]
################
# More data... #
################
/proc/30744/task/30756/stat : 30756 (java) S 30742 30744 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956335662 10810404864 933393 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30757] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30757/stat : 30757 (java) S 30742 30744 27745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956335662 10810404864 933393 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30758] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30758/stat : 30758 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335665 10810404864 933393 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427215281 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30759] ppid=30742 vsize=10557036 CPUtime=0.68 cores=1,3,5,7
/proc/30744/task/30759/stat : 30759 (java) S 30742 30744 27745 0 -1 4202560 9496 0 0 0 67 1 0 0 15 0 19 0 956335665 10810404864 933393 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30760] ppid=30742 vsize=10557036 CPUtime=1.27 cores=1,3,5,7
/proc/30744/task/30760/stat : 30760 (java) S 30742 30744 27745 0 -1 4202560 8642 0 0 0 126 1 0 0 15 0 19 0 956335665 10810404864 933393 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30761] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30761/stat : 30761 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956335665 10810404864 933393 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30762] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30762/stat : 30762 (java) S 30742 30744 27745 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 956335665 10810404864 933393 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30763] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30763/stat : 30763 (java) S 30742 30744 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 956335675 10810404864 933393 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1669.8
Current children cumulated vsize (KiB) 10557036
[startup+1722.3 s]
/proc/loadavg: 1.07 1.62 1.81 2/190 30839
/proc/meminfo: memFree=28362252/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10557036 CPUtime=1729.99 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 946099 0 1 0 172890 109 0 0 17 0 19 0 956335658 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2639259 934314 2257 9 0 2629993 0
[pid=30744/tid=30746] ppid=30742 vsize=10557036 CPUtime=1717.87 cores=1,3,5,7
/proc/30744/task/30746/stat : 30746 (java) R 30742 30744 27745 0 -1 4202560 845237 0 1 0 171693 94 0 0 25 0 19 0 956335659 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 46912505636097 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=10557036 CPUtime=1.01 cores=1,3,5,7
/proc/30744/task/30747/stat : 30747 (java) S 30742 30744 27745 0 -1 4202560 9863 0 0 0 100 1 0 0 16 0 19 0 956335661 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30748] ppid=30742 vsize=10557036 CPUtime=1.07 cores=1,3,5,7
/proc/30744/task/30748/stat : 30748 (java) S 30742 30744 27745 0 -1 4202560 10212 0 0 0 107 0 0 0 16 0 19 0 956335661 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30749] ppid=30742 vsize=10557036 CPUtime=0.96 cores=1,3,5,7
/proc/30744/task/30749/stat : 30749 (java) S 30742 30744 27745 0 -1 4202560 8589 0 0 0 96 0 0 0 16 0 19 0 956335661 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30750] ppid=30742 vsize=10557036 CPUtime=0.86 cores=1,3,5,7
/proc/30744/task/30750/stat : 30750 (java) S 30742 30744 27745 0 -1 4202560 6067 0 0 0 86 0 0 0 15 0 19 0 956335661 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 7 0 0 0
[pid=30744/tid=30751] ppid=30742 vsize=10557036 CPUtime=0.94 cores=1,3,5,7
/proc/30744/task/30751/stat : 30751 (java) S 30742 30744 27745 0 -1 4202560 9402 0 0 0 93 1 0 0 16 0 19 0 956335661 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 7 0 0 0
[pid=30744/tid=30752] ppid=30742 vsize=10557036 CPUtime=0.98 cores=1,3,5,7
/proc/30744/task/30752/stat : 30752 (java) S 30742 30744 27745 0 -1 4202560 7855 0 0 0 97 1 0 0 16 0 19 0 956335661 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 7 0 0 0
[pid=30744/tid=30753] ppid=30742 vsize=10557036 CPUtime=0.94 cores=1,3,5,7
/proc/30744/task/30753/stat : 30753 (java) S 30742 30744 27745 0 -1 4202560 8198 0 0 0 94 0 0 0 16 0 19 0 956335661 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30754] ppid=30742 vsize=10557036 CPUtime=0.98 cores=1,3,5,7
/proc/30744/task/30754/stat : 30754 (java) S 30742 30744 27745 0 -1 4202560 9923 0 0 0 98 0 0 0 16 0 19 0 956335661 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30755] ppid=30742 vsize=10557036 CPUtime=2.3 cores=1,3,5,7
/proc/30744/task/30755/stat : 30755 (java) S 30742 30744 27745 0 -1 4202560 11363 0 0 0 227 3 0 0 15 0 19 0 956335662 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 0 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30756] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30756/stat : 30756 (java) S 30742 30744 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956335662 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30757] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30757/stat : 30757 (java) S 30742 30744 27745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956335662 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30758] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30758/stat : 30758 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335665 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427215281 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30759] ppid=30742 vsize=10557036 CPUtime=0.68 cores=1,3,5,7
/proc/30744/task/30759/stat : 30759 (java) S 30742 30744 27745 0 -1 4202560 9496 0 0 0 67 1 0 0 15 0 19 0 956335665 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30760] ppid=30742 vsize=10557036 CPUtime=1.27 cores=1,3,5,7
/proc/30744/task/30760/stat : 30760 (java) S 30742 30744 27745 0 -1 4202560 8642 0 0 0 126 1 0 0 15 0 19 0 956335665 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30761] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30761/stat : 30761 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956335665 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30762] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30762/stat : 30762 (java) S 30742 30744 27745 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 956335665 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30763] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30763/stat : 30763 (java) S 30742 30744 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 956335675 10810404864 934314 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.99
Current children cumulated vsize (KiB) 10557036
[startup+1782.3 s]
/proc/loadavg: 1.02 1.50 1.75 2/190 30841
/proc/meminfo: memFree=28357952/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10557036 CPUtime=1790.17 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 947141 0 1 0 178908 109 0 0 17 0 19 0 956335658 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2639259 935331 2257 9 0 2629993 0
[pid=30744/tid=30746] ppid=30742 vsize=10557036 CPUtime=1777.81 cores=1,3,5,7
/proc/30744/task/30746/stat : 30746 (java) R 30742 30744 27745 0 -1 4202560 845242 0 1 0 177687 94 0 0 25 0 19 0 956335659 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 46912505553370 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=10557036 CPUtime=1.04 cores=1,3,5,7
/proc/30744/task/30747/stat : 30747 (java) S 30742 30744 27745 0 -1 4202560 9993 0 0 0 103 1 0 0 15 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30748] ppid=30742 vsize=10557036 CPUtime=1.12 cores=1,3,5,7
/proc/30744/task/30748/stat : 30748 (java) S 30742 30744 27745 0 -1 4202560 10518 0 0 0 112 0 0 0 16 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30749] ppid=30742 vsize=10557036 CPUtime=0.98 cores=1,3,5,7
/proc/30744/task/30749/stat : 30749 (java) S 30742 30744 27745 0 -1 4202560 8637 0 0 0 98 0 0 0 15 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30750] ppid=30742 vsize=10557036 CPUtime=0.88 cores=1,3,5,7
/proc/30744/task/30750/stat : 30750 (java) S 30742 30744 27745 0 -1 4202560 6086 0 0 0 88 0 0 0 16 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 7 0 0 0
[pid=30744/tid=30751] ppid=30742 vsize=10557036 CPUtime=0.97 cores=1,3,5,7
/proc/30744/task/30751/stat : 30751 (java) S 30742 30744 27745 0 -1 4202560 9500 0 0 0 96 1 0 0 16 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30752] ppid=30742 vsize=10557036 CPUtime=1.03 cores=1,3,5,7
/proc/30744/task/30752/stat : 30752 (java) S 30742 30744 27745 0 -1 4202560 7999 0 0 0 102 1 0 0 16 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30753] ppid=30742 vsize=10557036 CPUtime=0.97 cores=1,3,5,7
/proc/30744/task/30753/stat : 30753 (java) S 30742 30744 27745 0 -1 4202560 8350 0 0 0 97 0 0 0 15 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30754] ppid=30742 vsize=10557036 CPUtime=0.99 cores=1,3,5,7
/proc/30744/task/30754/stat : 30754 (java) S 30742 30744 27745 0 -1 4202560 10057 0 0 0 99 0 0 0 15 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30755] ppid=30742 vsize=10557036 CPUtime=2.3 cores=1,3,5,7
/proc/30744/task/30755/stat : 30755 (java) S 30742 30744 27745 0 -1 4202560 11365 0 0 0 227 3 0 0 15 0 19 0 956335662 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 0 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30756] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30756/stat : 30756 (java) S 30742 30744 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956335662 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30757] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30757/stat : 30757 (java) S 30742 30744 27745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956335662 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30758] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30758/stat : 30758 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427215281 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30759] ppid=30742 vsize=10557036 CPUtime=0.68 cores=1,3,5,7
/proc/30744/task/30759/stat : 30759 (java) S 30742 30744 27745 0 -1 4202560 9496 0 0 0 67 1 0 0 15 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30760] ppid=30742 vsize=10557036 CPUtime=1.27 cores=1,3,5,7
/proc/30744/task/30760/stat : 30760 (java) S 30742 30744 27745 0 -1 4202560 8642 0 0 0 126 1 0 0 15 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30761] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30761/stat : 30761 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30762] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30762/stat : 30762 (java) S 30742 30744 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30763] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30763/stat : 30763 (java) S 30742 30744 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 956335675 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.17
Current children cumulated vsize (KiB) 10557036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.2 s]
/proc/loadavg: 1.02 1.48 1.75 2/190 30841
/proc/meminfo: memFree=28357944/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=10557036 CPUtime=1800.08 cores=1,3,5,7
/proc/30744/stat : 30744 (java) S 30742 30744 27745 0 -1 4202496 947141 0 1 0 179899 109 0 0 17 0 19 0 956335658 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 2639259 935331 2257 9 0 2629993 0
[pid=30744/tid=30746] ppid=30742 vsize=10557036 CPUtime=1787.72 cores=1,3,5,7
/proc/30744/task/30746/stat : 30746 (java) R 30742 30744 27745 0 -1 4202560 845242 0 1 0 178678 94 0 0 25 0 19 0 956335659 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 46912505636097 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=10557036 CPUtime=1.04 cores=1,3,5,7
/proc/30744/task/30747/stat : 30747 (java) S 30742 30744 27745 0 -1 4202560 9993 0 0 0 103 1 0 0 15 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30748] ppid=30742 vsize=10557036 CPUtime=1.12 cores=1,3,5,7
/proc/30744/task/30748/stat : 30748 (java) S 30742 30744 27745 0 -1 4202560 10518 0 0 0 112 0 0 0 16 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30749] ppid=30742 vsize=10557036 CPUtime=0.98 cores=1,3,5,7
/proc/30744/task/30749/stat : 30749 (java) S 30742 30744 27745 0 -1 4202560 8637 0 0 0 98 0 0 0 15 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30750] ppid=30742 vsize=10557036 CPUtime=0.88 cores=1,3,5,7
/proc/30744/task/30750/stat : 30750 (java) S 30742 30744 27745 0 -1 4202560 6086 0 0 0 88 0 0 0 16 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 7 0 0 0
[pid=30744/tid=30751] ppid=30742 vsize=10557036 CPUtime=0.97 cores=1,3,5,7
/proc/30744/task/30751/stat : 30751 (java) S 30742 30744 27745 0 -1 4202560 9500 0 0 0 96 1 0 0 16 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30752] ppid=30742 vsize=10557036 CPUtime=1.03 cores=1,3,5,7
/proc/30744/task/30752/stat : 30752 (java) S 30742 30744 27745 0 -1 4202560 7999 0 0 0 102 1 0 0 16 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30753] ppid=30742 vsize=10557036 CPUtime=0.97 cores=1,3,5,7
/proc/30744/task/30753/stat : 30753 (java) S 30742 30744 27745 0 -1 4202560 8350 0 0 0 97 0 0 0 15 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30754] ppid=30742 vsize=10557036 CPUtime=0.99 cores=1,3,5,7
/proc/30744/task/30754/stat : 30754 (java) S 30742 30744 27745 0 -1 4202560 10057 0 0 0 99 0 0 0 15 0 19 0 956335661 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30755] ppid=30742 vsize=10557036 CPUtime=2.3 cores=1,3,5,7
/proc/30744/task/30755/stat : 30755 (java) S 30742 30744 27745 0 -1 4202560 11365 0 0 0 227 3 0 0 15 0 19 0 956335662 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 0 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30756] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30756/stat : 30756 (java) S 30742 30744 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956335662 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30757] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30757/stat : 30757 (java) S 30742 30744 27745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956335662 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 5 0 0 0
[pid=30744/tid=30758] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30758/stat : 30758 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427215281 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30759] ppid=30742 vsize=10557036 CPUtime=0.68 cores=1,3,5,7
/proc/30744/task/30759/stat : 30759 (java) S 30742 30744 27745 0 -1 4202560 9496 0 0 0 67 1 0 0 15 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30760] ppid=30742 vsize=10557036 CPUtime=1.27 cores=1,3,5,7
/proc/30744/task/30760/stat : 30760 (java) S 30742 30744 27745 0 -1 4202560 8642 0 0 0 126 1 0 0 15 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30761] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30761/stat : 30761 (java) S 30742 30744 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427207577 0 4 0 16800975 18446604462317367424 0 0 -1 1 0 0 0
[pid=30744/tid=30762] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30762/stat : 30762 (java) S 30742 30744 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956335665 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
[pid=30744/tid=30763] ppid=30742 vsize=10557036 CPUtime=0 cores=1,3,5,7
/proc/30744/task/30763/stat : 30763 (java) S 30742 30744 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 956335675 10810404864 935331 33554432000 1073741824 1073778376 140735938434272 18446744073709551615 256427208192 0 4 0 16800975 18446604462317367424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10557036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.31 s]
/proc/loadavg: 1.02 1.48 1.75 2/190 30841
/proc/meminfo: memFree=28357944/32950928 swapFree=67056212/67111528
[pid=30744] ppid=30742 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/30744/stat : 30744 (java) Z 30742 30744 27745 0 -1 4203548 947380 0 1 0 179912 115 0 0 15 0 2 0 956335658 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30744/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.39
CPU time (s): 1800.36
CPU user time (s): 1799.13
CPU system time (s): 1.22881
CPU usage (%): 100.444
Max. virtual memory (cumulated for all children) (KiB): 10566208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.22881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947380
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= 40979
involuntary context switches= 24395
runsolver used 3.02354 second user time and 6.77697 second system time
The end