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-3456524-1307217913/watcher-3456524-1307217913 -o /tmp/evaluation-result-3456524-1307217913/solver-3456524-1307217913 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456524-1307217913.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.02 2.06 1.81 2/572 18648
/proc/meminfo: memFree=21176948/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 3895 0 1 0 0 0 0 0 17 0 2 0 833388344 10694979584 3597 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2611079 3612 917 9 0 2602235 0
[pid=18648/tid=18649] ppid=18646 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 6864 0 1 0 0 0 0 0 18 0 2 0 833388345 10694979584 7680 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0446429 s]
/proc/loadavg: 2.02 2.06 1.81 2/572 18648
/proc/meminfo: memFree=21176948/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10533016 CPUtime=0.02 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 11218 0 1 0 1 1 0 0 17 0 13 0 833388344 10785808384 10915 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2633254 10915 1668 9 0 2624002 0
[pid=18648/tid=18649] ppid=18646 vsize=10533016 CPUtime=0.02 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 10069 0 1 0 1 1 0 0 24 0 13 0 833388345 10785808384 10915 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 47247001739079 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10533016
[startup+0.100667 s]
/proc/loadavg: 2.02 2.06 1.81 2/572 18648
/proc/meminfo: memFree=21176948/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10539884 CPUtime=0.1 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 13020 0 1 0 8 2 0 0 17 0 18 0 833388344 10792841216 12685 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2634971 12685 2092 9 0 2625705 0
[pid=18648/tid=18649] ppid=18646 vsize=10539884 CPUtime=0.07 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 11078 0 1 0 6 1 0 0 25 0 18 0 833388345 10792841216 12685 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 47247001967555 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539884
[startup+0.300616 s]
/proc/loadavg: 2.02 2.06 1.81 2/572 18648
/proc/meminfo: memFree=21176948/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10544748 CPUtime=0.52 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 16565 0 1 0 49 3 0 0 17 0 19 0 833388344 10797821952 15573 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2636187 15573 2208 9 0 2626921 0
[pid=18648/tid=18649] ppid=18646 vsize=10544748 CPUtime=0.28 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 12553 0 1 0 26 2 0 0 25 0 19 0 833388345 10797821952 15573 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488521547 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10544748
[startup+0.700484 s]
/proc/loadavg: 2.02 2.06 1.81 2/572 18648
/proc/meminfo: memFree=21176948/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10553484 CPUtime=1.52 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 47569 0 1 0 144 8 0 0 17 0 19 0 833388344 10806767616 43101 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2638371 43101 2220 9 0 2629105 0
[pid=18648/tid=18649] ppid=18646 vsize=10553484 CPUtime=0.67 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 35545 0 1 0 62 5 0 0 25 0 19 0 833388345 10806767616 43101 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 46912505643447 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10553484
[startup+1.50133 s]
/proc/loadavg: 2.02 2.06 1.81 3/591 18670
/proc/meminfo: memFree=20914792/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10553484 CPUtime=2.35 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 111706 0 1 0 221 14 0 0 17 0 19 0 833388344 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2638371 107237 2222 9 0 2629105 0
[pid=18648/tid=18649] ppid=18646 vsize=10553484 CPUtime=1.47 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 99674 0 1 0 135 12 0 0 18 0 19 0 833388345 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 46912505643432 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18648/tid=18652] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833388347 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18654] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18648 18279 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833388347 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18655] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18656] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18657] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18658] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18659] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833388347 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18660] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833388347 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18661] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18648 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833388348 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 0 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18662] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18648 18279 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833388348 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18663] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18663/stat : 18663 (java) S 18646 18648 18279 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 833388348 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18665] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18665/stat : 18665 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488518577 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18666] ppid=18646 vsize=10553484 CPUtime=0.41 cores=1,3,5,7
/proc/18648/task/18666/stat : 18666 (java) S 18646 18648 18279 0 -1 4202560 3984 0 0 0 41 0 0 0 16 0 19 0 833388350 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18667] ppid=18646 vsize=10553484 CPUtime=0.44 cores=1,3,5,7
/proc/18648/task/18667/stat : 18667 (java) S 18646 18648 18279 0 -1 4202560 6886 0 0 0 44 0 0 0 15 0 19 0 833388350 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18668] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18668/stat : 18668 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18669] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18669/stat : 18669 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833388350 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18670] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18670/stat : 18670 (java) S 18646 18648 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388368 10806767616 107237 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10553484
[startup+3.10102 s]
/proc/loadavg: 2.02 2.06 1.81 3/591 18670
/proc/meminfo: memFree=20565112/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10553484 CPUtime=4.19 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 241357 0 1 0 391 28 0 0 17 0 19 0 833388344 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2638371 236886 2225 9 0 2629105 0
[pid=18648/tid=18649] ppid=18646 vsize=10553484 CPUtime=3.07 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 229258 0 1 0 281 26 0 0 21 0 19 0 833388345 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 46912505670236 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18648/tid=18652] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833388347 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18654] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18648 18279 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833388347 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18655] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18656] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18657] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18658] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18659] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833388347 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18660] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833388347 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18661] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18648 18279 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833388348 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 0 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18662] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18648 18279 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833388348 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18663] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18663/stat : 18663 (java) S 18646 18648 18279 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 833388348 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18665] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18665/stat : 18665 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488518577 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18666] ppid=18646 vsize=10553484 CPUtime=0.46 cores=1,3,5,7
/proc/18648/task/18666/stat : 18666 (java) S 18646 18648 18279 0 -1 4202560 3994 0 0 0 46 0 0 0 15 0 19 0 833388350 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18667] ppid=18646 vsize=10553484 CPUtime=0.63 cores=1,3,5,7
/proc/18648/task/18667/stat : 18667 (java) S 18646 18648 18279 0 -1 4202560 6943 0 0 0 63 0 0 0 15 0 19 0 833388350 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18668] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18668/stat : 18668 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18669] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18669/stat : 18669 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833388350 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18670] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18670/stat : 18670 (java) S 18646 18648 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388368 10806767616 236886 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10553484
[startup+6.30141 s]
/proc/loadavg: 2.02 2.06 1.81 3/591 18670
/proc/meminfo: memFree=19543228/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10553484 CPUtime=7.44 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 481284 0 1 0 692 52 0 0 17 0 19 0 833388344 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2638371 476769 2227 9 0 2629105 0
[pid=18648/tid=18649] ppid=18646 vsize=10553484 CPUtime=6.25 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 469178 0 1 0 575 50 0 0 25 0 19 0 833388345 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 46912505622916 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18648/tid=18652] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833388347 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18654] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18648 18279 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833388347 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18655] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18656] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18657] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18658] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833388347 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18659] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833388347 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18660] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833388347 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18661] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18648 18279 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833388348 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 0 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18662] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18648 18279 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833388348 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18663] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18663/stat : 18663 (java) S 18646 18648 18279 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 833388348 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18665] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18665/stat : 18665 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488518577 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18666] ppid=18646 vsize=10553484 CPUtime=0.48 cores=1,3,5,7
/proc/18648/task/18666/stat : 18666 (java) S 18646 18648 18279 0 -1 4202560 3995 0 0 0 48 0 0 0 15 0 19 0 833388350 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18667] ppid=18646 vsize=10553484 CPUtime=0.67 cores=1,3,5,7
/proc/18648/task/18667/stat : 18667 (java) R 18646 18648 18279 0 -1 4202560 6948 0 0 0 67 0 0 0 15 0 19 0 833388350 10806767616 476769 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 47247004636067 0 4 0 16800975 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=18648/tid=18668] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18668/stat : 18668 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 1076861 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18669] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18669/stat : 18669 (java) S 18646 18648 18279 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833388350 10806767616 1076861 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18670] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18670/stat : 18670 (java) S 18646 18648 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388368 10806767616 1076861 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1670.98
Current children cumulated vsize (KiB) 10553484
[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 1.98 3/591 18773
/proc/meminfo: memFree=16966504/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10553484 CPUtime=1731.21 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 1089356 0 1 0 172993 128 0 0 17 0 19 0 833388344 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2638371 1078107 2256 9 0 2629105 0
[pid=18648/tid=18649] ppid=18646 vsize=10553484 CPUtime=1717.35 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 789733 0 1 0 171652 83 0 0 25 0 19 0 833388345 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 46912505604282 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18648/tid=18652] ppid=18646 vsize=10553484 CPUtime=1.49 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18648 18279 0 -1 4202560 42189 0 0 0 143 6 0 0 15 0 19 0 833388347 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18654] ppid=18646 vsize=10553484 CPUtime=1.28 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18648 18279 0 -1 4202560 41270 0 0 0 122 6 0 0 15 0 19 0 833388347 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18655] ppid=18646 vsize=10553484 CPUtime=1.49 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18648 18279 0 -1 4202560 45025 0 0 0 144 5 0 0 16 0 19 0 833388347 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18656] ppid=18646 vsize=10553484 CPUtime=1.35 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18648 18279 0 -1 4202560 32055 0 0 0 130 5 0 0 16 0 19 0 833388347 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18657] ppid=18646 vsize=10553484 CPUtime=1.09 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18648 18279 0 -1 4202560 17917 0 0 0 108 1 0 0 16 0 19 0 833388347 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18658] ppid=18646 vsize=10553484 CPUtime=1.45 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18648 18279 0 -1 4202560 42673 0 0 0 140 5 0 0 16 0 19 0 833388347 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18659] ppid=18646 vsize=10553484 CPUtime=1.09 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18648 18279 0 -1 4202560 23306 0 0 0 107 2 0 0 15 0 19 0 833388347 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18660] ppid=18646 vsize=10553484 CPUtime=1.21 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18648 18279 0 -1 4202560 38096 0 0 0 115 6 0 0 15 0 19 0 833388347 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18661] ppid=18646 vsize=10553484 CPUtime=1.65 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18648 18279 0 -1 4202560 4808 0 0 0 164 1 0 0 15 0 19 0 833388348 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 0 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18662] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18648 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833388348 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18663] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18663/stat : 18663 (java) S 18646 18648 18279 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833388348 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18665] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18665/stat : 18665 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488518577 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18666] ppid=18646 vsize=10553484 CPUtime=0.61 cores=1,3,5,7
/proc/18648/task/18666/stat : 18666 (java) S 18646 18648 18279 0 -1 4202560 4016 0 0 0 61 0 0 0 16 0 19 0 833388350 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18667] ppid=18646 vsize=10553484 CPUtime=1.02 cores=1,3,5,7
/proc/18648/task/18667/stat : 18667 (java) S 18646 18648 18279 0 -1 4202560 7018 0 0 0 101 1 0 0 15 0 19 0 833388350 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18668] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18668/stat : 18668 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18669] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18669/stat : 18669 (java) S 18646 18648 18279 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833388350 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18670] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18670/stat : 18670 (java) S 18646 18648 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388368 10806767616 1078107 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1731.21
Current children cumulated vsize (KiB) 10553484
[startup+1782.3 s]
/proc/loadavg: 2.11 2.08 2.00 3/591 18775
/proc/meminfo: memFree=16909948/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10553484 CPUtime=1791.5 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 1092166 0 1 0 179022 128 0 0 17 0 19 0 833388344 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2638371 1080854 2256 9 0 2629105 0
[pid=18648/tid=18649] ppid=18646 vsize=10553484 CPUtime=1777.19 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 789737 0 1 0 177636 83 0 0 25 0 19 0 833388345 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 46912505583853 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18648/tid=18652] ppid=18646 vsize=10553484 CPUtime=1.55 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18648 18279 0 -1 4202560 42666 0 0 0 149 6 0 0 15 0 19 0 833388347 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18654] ppid=18646 vsize=10553484 CPUtime=1.36 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18648 18279 0 -1 4202560 41908 0 0 0 130 6 0 0 15 0 19 0 833388347 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18655] ppid=18646 vsize=10553484 CPUtime=1.53 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18648 18279 0 -1 4202560 45281 0 0 0 148 5 0 0 16 0 19 0 833388347 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18656] ppid=18646 vsize=10553484 CPUtime=1.35 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18648 18279 0 -1 4202560 32055 0 0 0 130 5 0 0 15 0 19 0 833388347 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18657] ppid=18646 vsize=10553484 CPUtime=1.15 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18648 18279 0 -1 4202560 17932 0 0 0 114 1 0 0 15 0 19 0 833388347 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18658] ppid=18646 vsize=10553484 CPUtime=1.54 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18648 18279 0 -1 4202560 43059 0 0 0 149 5 0 0 16 0 19 0 833388347 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18659] ppid=18646 vsize=10553484 CPUtime=1.16 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18648 18279 0 -1 4202560 23929 0 0 0 113 3 0 0 16 0 19 0 833388347 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18660] ppid=18646 vsize=10553484 CPUtime=1.26 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18648 18279 0 -1 4202560 38499 0 0 0 120 6 0 0 15 0 19 0 833388347 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18661] ppid=18646 vsize=10553484 CPUtime=1.65 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18648 18279 0 -1 4202560 4812 0 0 0 164 1 0 0 15 0 19 0 833388348 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 0 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18662] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18648 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833388348 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18663] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18663/stat : 18663 (java) S 18646 18648 18279 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833388348 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18665] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18665/stat : 18665 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488518577 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18666] ppid=18646 vsize=10553484 CPUtime=0.61 cores=1,3,5,7
/proc/18648/task/18666/stat : 18666 (java) S 18646 18648 18279 0 -1 4202560 4016 0 0 0 61 0 0 0 16 0 19 0 833388350 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18667] ppid=18646 vsize=10553484 CPUtime=1.02 cores=1,3,5,7
/proc/18648/task/18667/stat : 18667 (java) S 18646 18648 18279 0 -1 4202560 7018 0 0 0 101 1 0 0 15 0 19 0 833388350 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18668] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18668/stat : 18668 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18669] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18669/stat : 18669 (java) S 18646 18648 18279 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833388350 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18670] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18670/stat : 18670 (java) S 18646 18648 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388368 10806767616 1080854 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 10553484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.7 s]
/proc/loadavg: 2.10 2.08 2.00 4/591 18775
/proc/meminfo: memFree=16902756/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=10553484 CPUtime=1800.02 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18648 18279 0 -1 4202496 1092663 0 1 0 179873 129 0 0 17 0 19 0 833388344 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 2638371 1081328 2256 9 0 2629105 0
[pid=18648/tid=18649] ppid=18646 vsize=10553484 CPUtime=1785.6 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18648 18279 0 -1 4202560 789738 0 1 0 178477 83 0 0 25 0 19 0 833388345 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 46912505583732 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18648/tid=18652] ppid=18646 vsize=10553484 CPUtime=1.55 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18648 18279 0 -1 4202560 42666 0 0 0 149 6 0 0 15 0 19 0 833388347 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18654] ppid=18646 vsize=10553484 CPUtime=1.4 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18648 18279 0 -1 4202560 42115 0 0 0 134 6 0 0 16 0 19 0 833388347 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18655] ppid=18646 vsize=10553484 CPUtime=1.53 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18648 18279 0 -1 4202560 45281 0 0 0 148 5 0 0 15 0 19 0 833388347 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18656] ppid=18646 vsize=10553484 CPUtime=1.39 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18648 18279 0 -1 4202560 32168 0 0 0 134 5 0 0 16 0 19 0 833388347 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18657] ppid=18646 vsize=10553484 CPUtime=1.15 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18648 18279 0 -1 4202560 17932 0 0 0 114 1 0 0 15 0 19 0 833388347 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18658] ppid=18646 vsize=10553484 CPUtime=1.58 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18648 18279 0 -1 4202560 43235 0 0 0 153 5 0 0 16 0 19 0 833388347 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18659] ppid=18646 vsize=10553484 CPUtime=1.16 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18648 18279 0 -1 4202560 23929 0 0 0 113 3 0 0 15 0 19 0 833388347 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18660] ppid=18646 vsize=10553484 CPUtime=1.26 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18648 18279 0 -1 4202560 38499 0 0 0 120 6 0 0 15 0 19 0 833388347 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18661] ppid=18646 vsize=10553484 CPUtime=1.65 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18648 18279 0 -1 4202560 4812 0 0 0 164 1 0 0 15 0 19 0 833388348 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 0 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18662] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18648 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833388348 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18663] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18663/stat : 18663 (java) S 18646 18648 18279 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833388348 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 7 0 0 0
[pid=18648/tid=18665] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18665/stat : 18665 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488518577 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18666] ppid=18646 vsize=10553484 CPUtime=0.61 cores=1,3,5,7
/proc/18648/task/18666/stat : 18666 (java) S 18646 18648 18279 0 -1 4202560 4016 0 0 0 61 0 0 0 16 0 19 0 833388350 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
[pid=18648/tid=18667] ppid=18646 vsize=10553484 CPUtime=1.02 cores=1,3,5,7
/proc/18648/task/18667/stat : 18667 (java) S 18646 18648 18279 0 -1 4202560 7018 0 0 0 101 1 0 0 15 0 19 0 833388350 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18668] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18668/stat : 18668 (java) S 18646 18648 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388350 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488510873 0 4 0 16800975 18446604470545408128 0 0 -1 1 0 0 0
[pid=18648/tid=18669] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18669/stat : 18669 (java) S 18646 18648 18279 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833388350 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 3 0 0 0
[pid=18648/tid=18670] ppid=18646 vsize=10553484 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18670/stat : 18670 (java) S 18646 18648 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388368 10806767616 1081328 33554432000 1073741824 1073778376 140735816930544 18446744073709551615 239488511488 0 4 0 16800975 18446604470545408128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10553484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.85 s]
/proc/loadavg: 2.10 2.08 2.00 4/591 18775
/proc/meminfo: memFree=16902756/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/18648/stat : 18648 (java) Z 18646 18648 18279 0 -1 4203548 1092701 0 1 0 179879 136 0 0 15 0 2 0 833388344 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1790.9 s]
/proc/loadavg: 2.10 2.08 2.00 4/591 18775
/proc/meminfo: memFree=16902756/32950928 swapFree=67056580/67111528
[pid=18648] ppid=18646 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/18648/stat : 18648 (java) Z 18646 18648 18279 0 -1 4203548 1092701 0 1 0 179879 141 0 0 15 0 2 0 833388344 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18648/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.94
CPU time (s): 1800.25
CPU user time (s): 1798.79
CPU system time (s): 1.45478
CPU usage (%): 100.519
Max. virtual memory (cumulated for all children) (KiB): 10553484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.45478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1092701
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= 39586
involuntary context switches= 29079
runsolver used 10.0235 second user time and 24.0803 second system time
The end