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-3455788-1307227243/watcher-3455788-1307227243 -o /tmp/evaluation-result-3455788-1307227243/solver-3455788-1307227243 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455788-1307227243.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.03 2.00 2/499 22651
/proc/meminfo: memFree=23740148/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 4075 0 1 0 0 0 0 0 25 0 2 0 834323993 10694979584 3777 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2611079 3790 917 9 0 2602235 0
[pid=22651/tid=22652] ppid=22649 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 4911 0 1 0 0 0 0 0 25 0 2 0 834323994 10694979584 5728 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.116958 s]
/proc/loadavg: 1.96 2.03 2.00 2/499 22651
/proc/meminfo: memFree=23740148/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10540040 CPUtime=0.12 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 13336 0 1 0 10 2 0 0 25 0 18 0 834323993 10793000960 12978 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2635010 12978 2133 9 0 2625744 0
[pid=22651/tid=22652] ppid=22649 vsize=10540040 CPUtime=0.09 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 11300 0 1 0 8 1 0 0 25 0 18 0 834323994 10793000960 12978 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505164136 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540040
[startup+0.200937 s]
/proc/loadavg: 1.96 2.03 2.00 2/499 22651
/proc/meminfo: memFree=23740148/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10540040 CPUtime=0.24 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 14024 0 1 0 22 2 0 0 25 0 18 0 834323993 10793000960 13621 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2635010 13621 2180 9 0 2625744 0
[pid=22651/tid=22652] ppid=22649 vsize=10540040 CPUtime=0.17 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 11800 0 1 0 16 1 0 0 25 0 18 0 834323994 10793000960 13621 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505165019 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540040
[startup+0.300914 s]
/proc/loadavg: 1.96 2.03 2.00 2/499 22651
/proc/meminfo: memFree=23740148/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10542176 CPUtime=0.44 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 16322 0 1 0 42 2 0 0 25 0 19 0 834323993 10795188224 15450 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2635544 15450 2219 9 0 2626278 0
[pid=22651/tid=22652] ppid=22649 vsize=10542176 CPUtime=0.27 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 12653 0 1 0 26 1 0 0 25 0 19 0 834323994 10795188224 15450 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46957998034862 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542176
[startup+0.7009 s]
/proc/loadavg: 1.96 2.03 2.00 2/499 22651
/proc/meminfo: memFree=23740148/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10613680 CPUtime=1.44 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 29052 0 1 0 140 4 0 0 25 0 19 0 834323993 10868408320 24647 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2653420 24648 2230 9 0 2644154 0
[pid=22651/tid=22652] ppid=22649 vsize=10613680 CPUtime=0.67 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 19636 0 1 0 65 2 0 0 25 0 19 0 834323994 10868408320 24648 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505676577 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10613680
[startup+1.50076 s]
/proc/loadavg: 1.96 2.03 2.00 3/518 22670
/proc/meminfo: memFree=23601436/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10613680 CPUtime=2.37 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 54626 0 1 0 229 8 0 0 25 0 19 0 834323993 10868408320 49956 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2653420 49957 2233 9 0 2644154 0
[pid=22651/tid=22652] ppid=22649 vsize=10613680 CPUtime=1.48 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 44930 0 1 0 142 6 0 0 25 0 19 0 834323994 10868408320 49957 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505676577 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22651/tid=22654] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22654/stat : 22654 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 49957 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22655] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22655/stat : 22655 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 49957 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22656] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22656/stat : 22656 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 49957 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22657] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22657/stat : 22657 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 49958 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22658] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22658/stat : 22658 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 49958 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22659] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22659/stat : 22659 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 49958 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22660] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22660/stat : 22660 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 49958 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22661] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22661/stat : 22661 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 49958 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22662] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22662/stat : 22662 (java) S 22649 22651 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834323997 10868408320 49959 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 0 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22663] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22663/stat : 22663 (java) S 22649 22651 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834323997 10868408320 49959 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22664] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22664/stat : 22664 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834323997 10868408320 49961 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22665] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22665/stat : 22665 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10868408320 49962 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092055985 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22666] ppid=22649 vsize=10613680 CPUtime=0.41 cores=0,2,4,6
/proc/22651/task/22666/stat : 22666 (java) S 22649 22651 20277 0 -1 4202560 3803 0 0 0 40 1 0 0 15 0 19 0 834323999 10868408320 49965 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22667] ppid=22649 vsize=10613680 CPUtime=0.46 cores=0,2,4,6
/proc/22651/task/22667/stat : 22667 (java) S 22649 22651 20277 0 -1 4202560 4733 0 0 0 46 0 0 0 15 0 19 0 834323999 10868408320 49969 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22668] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22668/stat : 22668 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10868408320 49970 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22669] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22669/stat : 22669 (java) S 22649 22651 20277 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834323999 10868408320 49971 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22670] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22670/stat : 22670 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834324022 10868408320 49974 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 10613680
[startup+3.10145 s]
/proc/loadavg: 1.96 2.03 2.00 3/518 22670
/proc/meminfo: memFree=23458588/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10613680 CPUtime=3.98 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 93365 0 1 0 387 11 0 0 25 0 19 0 834323993 10868408320 88696 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2653420 88696 2235 9 0 2644154 0
[pid=22651/tid=22652] ppid=22649 vsize=10613680 CPUtime=3.08 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 83667 0 1 0 299 9 0 0 25 0 19 0 834323994 10868408320 88697 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505602218 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22651/tid=22654] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22654/stat : 22654 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 88697 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22655] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22655/stat : 22655 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 88698 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22656] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22656/stat : 22656 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 88698 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22657] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22657/stat : 22657 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 88698 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22658] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22658/stat : 22658 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 88698 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22659] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22659/stat : 22659 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 88699 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22660] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22660/stat : 22660 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 88699 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22661] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22661/stat : 22661 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 88700 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22662] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22662/stat : 22662 (java) S 22649 22651 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834323997 10868408320 88700 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 0 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22663] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22663/stat : 22663 (java) S 22649 22651 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834323997 10868408320 88700 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22664] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22664/stat : 22664 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834323997 10868408320 88701 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22665] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22665/stat : 22665 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10868408320 88701 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092055985 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22666] ppid=22649 vsize=10613680 CPUtime=0.41 cores=0,2,4,6
/proc/22651/task/22666/stat : 22666 (java) S 22649 22651 20277 0 -1 4202560 3803 0 0 0 40 1 0 0 15 0 19 0 834323999 10868408320 88702 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22667] ppid=22649 vsize=10613680 CPUtime=0.47 cores=0,2,4,6
/proc/22651/task/22667/stat : 22667 (java) S 22649 22651 20277 0 -1 4202560 4736 0 0 0 47 0 0 0 15 0 19 0 834323999 10868408320 88702 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22668] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22668/stat : 22668 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10868408320 88702 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22669] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22669/stat : 22669 (java) S 22649 22651 20277 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834323999 10868408320 88703 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22670] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22670/stat : 22670 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834324022 10868408320 88703 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10613680
[startup+6.30083 s]
/proc/loadavg: 1.96 2.03 2.00 3/518 22670
/proc/meminfo: memFree=23274444/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10613680 CPUtime=7.19 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 127705 0 1 0 703 16 0 0 25 0 19 0 834323993 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2653420 122901 2236 9 0 2644154 0
[pid=22651/tid=22652] ppid=22649 vsize=10613680 CPUtime=6.28 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 118004 0 1 0 614 14 0 0 25 0 19 0 834323994 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505936687 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22651/tid=22654] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22654/stat : 22654 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22655] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22655/stat : 22655 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22656] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22656/stat : 22656 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22657] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22657/stat : 22657 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22658] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22658/stat : 22658 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22659] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22659/stat : 22659 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22660] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22660/stat : 22660 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22661] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22661/stat : 22661 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323996 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22662] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22662/stat : 22662 (java) S 22649 22651 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834323997 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 0 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22663] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22663/stat : 22663 (java) S 22649 22651 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834323997 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22664] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22664/stat : 22664 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834323997 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22665] ppid=22649 vsize=10613680 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22665/stat : 22665 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092055985 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22666] ppid=22649 vsize=10613680 CPUtime=0.41 cores=0,2,4,6
/proc/22651/task/22666/stat : 22666 (java) S 22649 22651 20277 0 -1 4202560 3803 0 0 0 40 1 0 0 15 0 19 0 834323999 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22667] ppid=22649 vsize=10613680 CPUtime=0.47 cores=0,2,4,6
/proc/22651/task/22667/stat : 22667 (java) S 22649 22651 20277 0 -1 4202560 4736 0 0 0 47 0 0 0 15 0 19 0 834323999 10868408320 122901 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/22651/task/22664/stat : 22664 (java) S 22649 22651 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834323997 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22665] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22665/stat : 22665 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092055985 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22666] ppid=22649 vsize=10614944 CPUtime=0.62 cores=0,2,4,6
/proc/22651/task/22666/stat : 22666 (java) S 22649 22651 20277 0 -1 4202560 4394 0 0 0 61 1 0 0 15 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22667] ppid=22649 vsize=10614944 CPUtime=0.64 cores=0,2,4,6
/proc/22651/task/22667/stat : 22667 (java) S 22649 22651 20277 0 -1 4202560 5555 0 0 0 64 0 0 0 15 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22668] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22668/stat : 22668 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22669] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22669/stat : 22669 (java) S 22649 22651 20277 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22670] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22670/stat : 22670 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834324022 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.8
Current children cumulated vsize (KiB) 10614944
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 22776
/proc/meminfo: memFree=19536784/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10614944 CPUtime=1724.8 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 985126 0 1 0 172359 121 0 0 25 0 19 0 834323993 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2653736 971014 2254 9 0 2644470 0
[pid=22651/tid=22652] ppid=22649 vsize=10614944 CPUtime=1721.61 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 813166 0 1 0 172071 90 0 0 25 0 19 0 834323994 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505626110 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22651/tid=22654] ppid=22649 vsize=10614944 CPUtime=0.27 cores=0,2,4,6
/proc/22651/task/22654/stat : 22654 (java) S 22649 22651 20277 0 -1 4202560 21908 0 0 0 24 3 0 0 15 0 19 0 834323996 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22655] ppid=22649 vsize=10614944 CPUtime=0.22 cores=0,2,4,6
/proc/22651/task/22655/stat : 22655 (java) S 22649 22651 20277 0 -1 4202560 25123 0 0 0 18 4 0 0 15 0 19 0 834323996 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22656] ppid=22649 vsize=10614944 CPUtime=0.25 cores=0,2,4,6
/proc/22651/task/22656/stat : 22656 (java) S 22649 22651 20277 0 -1 4202560 28528 0 0 0 21 4 0 0 16 0 19 0 834323996 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22657] ppid=22649 vsize=10614944 CPUtime=0.21 cores=0,2,4,6
/proc/22651/task/22657/stat : 22657 (java) S 22649 22651 20277 0 -1 4202560 18455 0 0 0 19 2 0 0 15 0 19 0 834323996 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22658] ppid=22649 vsize=10614944 CPUtime=0.2 cores=0,2,4,6
/proc/22651/task/22658/stat : 22658 (java) S 22649 22651 20277 0 -1 4202560 16725 0 0 0 17 3 0 0 15 0 19 0 834323996 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22659] ppid=22649 vsize=10614944 CPUtime=0.22 cores=0,2,4,6
/proc/22651/task/22659/stat : 22659 (java) S 22649 22651 20277 0 -1 4202560 18287 0 0 0 19 3 0 0 16 0 19 0 834323996 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22660] ppid=22649 vsize=10614944 CPUtime=0.23 cores=0,2,4,6
/proc/22651/task/22660/stat : 22660 (java) S 22649 22651 20277 0 -1 4202560 16960 0 0 0 20 3 0 0 15 0 19 0 834323996 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22661] ppid=22649 vsize=10614944 CPUtime=0.21 cores=0,2,4,6
/proc/22651/task/22661/stat : 22661 (java) S 22649 22651 20277 0 -1 4202560 14709 0 0 0 19 2 0 0 16 0 19 0 834323996 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22662] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22662/stat : 22662 (java) S 22649 22651 20277 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 834323997 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 0 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22663] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22663/stat : 22663 (java) S 22649 22651 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834323997 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22664] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22664/stat : 22664 (java) S 22649 22651 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834323997 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22665] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22665/stat : 22665 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092055985 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22666] ppid=22649 vsize=10614944 CPUtime=0.62 cores=0,2,4,6
/proc/22651/task/22666/stat : 22666 (java) S 22649 22651 20277 0 -1 4202560 4394 0 0 0 61 1 0 0 15 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22667] ppid=22649 vsize=10614944 CPUtime=0.64 cores=0,2,4,6
/proc/22651/task/22667/stat : 22667 (java) S 22649 22651 20277 0 -1 4202560 5555 0 0 0 64 0 0 0 15 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22668] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22668/stat : 22668 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22669] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22669/stat : 22669 (java) S 22649 22651 20277 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 834323999 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22670] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22670/stat : 22670 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834324022 10869702656 971014 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.8
Current children cumulated vsize (KiB) 10614944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 22778
/proc/meminfo: memFree=19526088/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10614944 CPUtime=1784.81 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 985168 0 1 0 178360 121 0 0 25 0 19 0 834323993 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2653736 971049 2254 9 0 2644470 0
[pid=22651/tid=22652] ppid=22649 vsize=10614944 CPUtime=1781.6 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 813167 0 1 0 178070 90 0 0 25 0 19 0 834323994 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505626068 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22651/tid=22654] ppid=22649 vsize=10614944 CPUtime=0.28 cores=0,2,4,6
/proc/22651/task/22654/stat : 22654 (java) S 22649 22651 20277 0 -1 4202560 21918 0 0 0 25 3 0 0 16 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22655] ppid=22649 vsize=10614944 CPUtime=0.22 cores=0,2,4,6
/proc/22651/task/22655/stat : 22655 (java) S 22649 22651 20277 0 -1 4202560 25123 0 0 0 18 4 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22656] ppid=22649 vsize=10614944 CPUtime=0.26 cores=0,2,4,6
/proc/22651/task/22656/stat : 22656 (java) S 22649 22651 20277 0 -1 4202560 28541 0 0 0 22 4 0 0 16 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22657] ppid=22649 vsize=10614944 CPUtime=0.21 cores=0,2,4,6
/proc/22651/task/22657/stat : 22657 (java) S 22649 22651 20277 0 -1 4202560 18455 0 0 0 19 2 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22658] ppid=22649 vsize=10614944 CPUtime=0.2 cores=0,2,4,6
/proc/22651/task/22658/stat : 22658 (java) S 22649 22651 20277 0 -1 4202560 16725 0 0 0 17 3 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22659] ppid=22649 vsize=10614944 CPUtime=0.23 cores=0,2,4,6
/proc/22651/task/22659/stat : 22659 (java) S 22649 22651 20277 0 -1 4202560 18299 0 0 0 20 3 0 0 16 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22660] ppid=22649 vsize=10614944 CPUtime=0.23 cores=0,2,4,6
/proc/22651/task/22660/stat : 22660 (java) S 22649 22651 20277 0 -1 4202560 16960 0 0 0 20 3 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22661] ppid=22649 vsize=10614944 CPUtime=0.21 cores=0,2,4,6
/proc/22651/task/22661/stat : 22661 (java) S 22649 22651 20277 0 -1 4202560 14709 0 0 0 19 2 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22662] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22662/stat : 22662 (java) S 22649 22651 20277 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 834323997 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 0 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22663] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22663/stat : 22663 (java) S 22649 22651 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834323997 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22664] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22664/stat : 22664 (java) S 22649 22651 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834323997 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22665] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22665/stat : 22665 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092055985 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22666] ppid=22649 vsize=10614944 CPUtime=0.62 cores=0,2,4,6
/proc/22651/task/22666/stat : 22666 (java) S 22649 22651 20277 0 -1 4202560 4394 0 0 0 61 1 0 0 15 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22667] ppid=22649 vsize=10614944 CPUtime=0.64 cores=0,2,4,6
/proc/22651/task/22667/stat : 22667 (java) S 22649 22651 20277 0 -1 4202560 5555 0 0 0 64 0 0 0 15 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22668] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22668/stat : 22668 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22669] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22669/stat : 22669 (java) S 22649 22651 20277 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22670] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22670/stat : 22670 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834324022 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.81
Current children cumulated vsize (KiB) 10614944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.52 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 22778
/proc/meminfo: memFree=19526084/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=10614944 CPUtime=1800.05 cores=0,2,4,6
/proc/22651/stat : 22651 (java) S 22649 22651 20277 0 -1 4202496 985168 0 1 0 179884 121 0 0 25 0 19 0 834323993 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 2653736 971049 2254 9 0 2644470 0
[pid=22651/tid=22652] ppid=22649 vsize=10614944 CPUtime=1796.83 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4202560 813167 0 1 0 179593 90 0 0 25 0 19 0 834323994 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 46912505822208 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22651/tid=22654] ppid=22649 vsize=10614944 CPUtime=0.28 cores=0,2,4,6
/proc/22651/task/22654/stat : 22654 (java) S 22649 22651 20277 0 -1 4202560 21918 0 0 0 25 3 0 0 16 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22655] ppid=22649 vsize=10614944 CPUtime=0.22 cores=0,2,4,6
/proc/22651/task/22655/stat : 22655 (java) S 22649 22651 20277 0 -1 4202560 25123 0 0 0 18 4 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22656] ppid=22649 vsize=10614944 CPUtime=0.26 cores=0,2,4,6
/proc/22651/task/22656/stat : 22656 (java) S 22649 22651 20277 0 -1 4202560 28541 0 0 0 22 4 0 0 16 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22657] ppid=22649 vsize=10614944 CPUtime=0.21 cores=0,2,4,6
/proc/22651/task/22657/stat : 22657 (java) S 22649 22651 20277 0 -1 4202560 18455 0 0 0 19 2 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22658] ppid=22649 vsize=10614944 CPUtime=0.2 cores=0,2,4,6
/proc/22651/task/22658/stat : 22658 (java) S 22649 22651 20277 0 -1 4202560 16725 0 0 0 17 3 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22659] ppid=22649 vsize=10614944 CPUtime=0.23 cores=0,2,4,6
/proc/22651/task/22659/stat : 22659 (java) S 22649 22651 20277 0 -1 4202560 18299 0 0 0 20 3 0 0 16 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22660] ppid=22649 vsize=10614944 CPUtime=0.23 cores=0,2,4,6
/proc/22651/task/22660/stat : 22660 (java) S 22649 22651 20277 0 -1 4202560 16960 0 0 0 20 3 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22661] ppid=22649 vsize=10614944 CPUtime=0.21 cores=0,2,4,6
/proc/22651/task/22661/stat : 22661 (java) S 22649 22651 20277 0 -1 4202560 14709 0 0 0 19 2 0 0 15 0 19 0 834323996 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22662] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22662/stat : 22662 (java) S 22649 22651 20277 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 834323997 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 0 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22663] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22663/stat : 22663 (java) S 22649 22651 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834323997 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22664] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22664/stat : 22664 (java) S 22649 22651 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834323997 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22665] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22665/stat : 22665 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092055985 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22666] ppid=22649 vsize=10614944 CPUtime=0.62 cores=0,2,4,6
/proc/22651/task/22666/stat : 22666 (java) S 22649 22651 20277 0 -1 4202560 4394 0 0 0 61 1 0 0 15 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 4 0 0 0
[pid=22651/tid=22667] ppid=22649 vsize=10614944 CPUtime=0.64 cores=0,2,4,6
/proc/22651/task/22667/stat : 22667 (java) S 22649 22651 20277 0 -1 4202560 5555 0 0 0 64 0 0 0 15 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 2 0 0 0
[pid=22651/tid=22668] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22668/stat : 22668 (java) S 22649 22651 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048281 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
[pid=22651/tid=22669] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22669/stat : 22669 (java) S 22649 22651 20277 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834323999 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 0 0 0 0
[pid=22651/tid=22670] ppid=22649 vsize=10614944 CPUtime=0 cores=0,2,4,6
/proc/22651/task/22670/stat : 22670 (java) S 22649 22651 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834324022 10869702656 971049 33554432000 1073741824 1073778376 140733841240944 18446744073709551615 208092048896 0 4 0 16800975 18446604449462703104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10614944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 22778
/proc/meminfo: memFree=19526084/32950928 swapFree=39617324/67111528
[pid=22651] ppid=22649 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/22651/stat : 22651 (java) Z 22649 22651 20277 0 -1 4203548 985197 0 1 0 179885 137 0 0 17 0 2 0 834323993 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22651/statm: 0 0 0 0 0 0 0
[pid=22651/tid=22652] ppid=22649 vsize=0 CPUtime=1796.99 cores=0,2,4,6
/proc/22651/task/22652/stat : 22652 (java) R 22649 22651 20277 0 -1 4203588 813167 0 1 0 179594 105 0 0 25 0 2 0 834323994 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.71
CPU time (s): 1800.24
CPU user time (s): 1798.86
CPU system time (s): 1.38079
CPU usage (%): 100.141
Max. virtual memory (cumulated for all children) (KiB): 10615808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.38079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985197
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= 38031
involuntary context switches= 3452
runsolver used 9.09362 second user time and 19.1421 second system time
The end