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-3456693-1307218103/watcher-3456693-1307218103 -o /tmp/evaluation-result-3456693-1307218103/solver-3456693-1307218103 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456693-1307218103.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.07 1.85 2/476 22982
/proc/meminfo: memFree=22481776/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 833408431 36646912 1018 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 8947 1018 782 9 0 386 0
[pid=22982/tid=22983] ppid=22980 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 2060 0 1 0 0 0 0 0 25 0 2 0 833408432 10694979584 2876 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0375569 s]
/proc/loadavg: 2.10 2.07 1.85 2/476 22982
/proc/meminfo: memFree=22481776/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 10902 0 1 0 1 1 0 0 25 0 11 0 833408431 10716594176 10601 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2616356 10601 1564 9 0 2607104 0
[pid=22982/tid=22983] ppid=22980 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) S 22980 22982 22575 0 -1 4202560 9780 0 1 0 1 1 0 0 25 0 11 0 833408432 10716594176 10601 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16784584 18446604444527001920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.104402 s]
/proc/loadavg: 2.10 2.07 1.85 2/476 22982
/proc/meminfo: memFree=22481776/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10539716 CPUtime=0.11 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 13026 0 1 0 9 2 0 0 25 0 18 0 833408431 10792669184 12699 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2634929 12699 2093 9 0 2625663 0
[pid=22982/tid=22983] ppid=22980 vsize=10539716 CPUtime=0.08 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 11097 0 1 0 7 1 0 0 18 0 18 0 833408432 10792669184 12699 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539716
[startup+0.300317 s]
/proc/loadavg: 2.10 2.07 1.85 2/476 22982
/proc/meminfo: memFree=22481776/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10543052 CPUtime=0.49 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 16305 0 1 0 46 3 0 0 25 0 19 0 833408431 10796085248 15447 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2635763 15447 2208 9 0 2626497 0
[pid=22982/tid=22983] ppid=22980 vsize=10543052 CPUtime=0.28 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 12409 0 1 0 26 2 0 0 19 0 19 0 833408432 10796085248 15447 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505179184 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10543052
[startup+0.700304 s]
/proc/loadavg: 2.10 2.07 1.85 2/476 22982
/proc/meminfo: memFree=22481776/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10552832 CPUtime=1.39 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 44148 0 1 0 132 7 0 0 25 0 19 0 833408431 10806099968 41541 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2638208 41544 2220 9 0 2628942 0
[pid=22982/tid=22983] ppid=22980 vsize=10552832 CPUtime=0.68 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 33928 0 1 0 63 5 0 0 19 0 19 0 833408432 10806099968 41546 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505636832 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 10552832
[startup+1.50111 s]
/proc/loadavg: 2.10 2.07 1.85 3/495 23001
/proc/meminfo: memFree=22208400/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10552832 CPUtime=2.31 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 103595 0 1 0 216 15 0 0 25 0 19 0 833408431 10806099968 99961 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2638208 99964 2223 9 0 2628942 0
[pid=22982/tid=22983] ppid=22980 vsize=10552832 CPUtime=1.47 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 92297 0 1 0 135 12 0 0 18 0 19 0 833408432 10806099968 99966 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505636832 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22982/tid=22985] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22985/stat : 22985 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 99967 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22986] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22986/stat : 22986 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 99969 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22987] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22987/stat : 22987 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 99971 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22988] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22988/stat : 22988 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 99972 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22989] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22989/stat : 22989 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 99974 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22990] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22990/stat : 22990 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 99976 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22991] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22991/stat : 22991 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 99977 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22992] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22992/stat : 22992 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 99978 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22993] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22993/stat : 22993 (java) S 22980 22982 22575 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833408435 10806099968 99980 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 0 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22994] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22994/stat : 22994 (java) S 22980 22982 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833408435 10806099968 99981 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22995] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22995/stat : 22995 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833408435 10806099968 99982 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22996] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22996/stat : 22996 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10806099968 99984 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347716017 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22997] ppid=22980 vsize=10552832 CPUtime=0.46 cores=0,2,4,6
/proc/22982/task/22997/stat : 22997 (java) S 22980 22982 22575 0 -1 4202560 5154 0 0 0 45 1 0 0 15 0 19 0 833408437 10806099968 99985 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22998] ppid=22980 vsize=10552832 CPUtime=0.34 cores=0,2,4,6
/proc/22982/task/22998/stat : 22998 (java) S 22980 22982 22575 0 -1 4202560 4989 0 0 0 34 0 0 0 15 0 19 0 833408437 10806099968 99987 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22999] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22999/stat : 22999 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10806099968 99988 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=23000] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23000/stat : 23000 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833408437 10806099968 99989 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=23001] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23001/stat : 23001 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833408456 10806099968 99990 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10552832
[startup+3.10086 s]
/proc/loadavg: 2.10 2.07 1.85 3/495 23001
/proc/meminfo: memFree=21869508/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10552832 CPUtime=3.95 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 226712 0 1 0 365 30 0 0 25 0 19 0 833408431 10806099968 223077 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2638208 223080 2224 9 0 2628942 0
[pid=22982/tid=22983] ppid=22980 vsize=10552832 CPUtime=3.07 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 215408 0 1 0 280 27 0 0 18 0 19 0 833408432 10806099968 223081 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505636816 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22982/tid=22985] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22985/stat : 22985 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 223082 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22986] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22986/stat : 22986 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 223084 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22987] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22987/stat : 22987 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 223086 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22988] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22988/stat : 22988 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 223087 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22989] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22989/stat : 22989 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 223089 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22990] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22990/stat : 22990 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 223091 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22991] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22991/stat : 22991 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 223092 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22992] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22992/stat : 22992 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 223094 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22993] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22993/stat : 22993 (java) S 22980 22982 22575 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833408435 10806099968 223095 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 0 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22994] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22994/stat : 22994 (java) S 22980 22982 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833408435 10806099968 223097 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22995] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22995/stat : 22995 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833408435 10806099968 223098 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22996] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22996/stat : 22996 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10806099968 223100 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347716017 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22997] ppid=22980 vsize=10552832 CPUtime=0.49 cores=0,2,4,6
/proc/22982/task/22997/stat : 22997 (java) S 22980 22982 22575 0 -1 4202560 5157 0 0 0 48 1 0 0 15 0 19 0 833408437 10806099968 223101 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22998] ppid=22980 vsize=10552832 CPUtime=0.35 cores=0,2,4,6
/proc/22982/task/22998/stat : 22998 (java) S 22980 22982 22575 0 -1 4202560 4992 0 0 0 35 0 0 0 16 0 19 0 833408437 10806099968 223103 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22999] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22999/stat : 22999 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10806099968 223104 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=23000] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23000/stat : 23000 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833408437 10806099968 223105 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=23001] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23001/stat : 23001 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833408456 10806099968 223106 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 10552832
[startup+6.30132 s]
/proc/loadavg: 2.25 2.10 1.86 3/495 23001
/proc/meminfo: memFree=20904148/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10552832 CPUtime=7.29 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 453119 0 1 0 671 58 0 0 25 0 19 0 833408431 10806099968 449473 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2638208 449474 2228 9 0 2628942 0
[pid=22982/tid=22983] ppid=22980 vsize=10552832 CPUtime=6.28 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 441785 0 1 0 572 56 0 0 21 0 19 0 833408432 10806099968 449474 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505571178 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22982/tid=22985] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22985/stat : 22985 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 449475 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22986] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22986/stat : 22986 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 449476 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22987] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22987/stat : 22987 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 449477 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22988] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22988/stat : 22988 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 449479 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22989] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22989/stat : 22989 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 449480 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22990] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22990/stat : 22990 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 449483 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22991] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22991/stat : 22991 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 449485 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22992] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22992/stat : 22992 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408434 10806099968 449486 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22993] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22993/stat : 22993 (java) S 22980 22982 22575 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833408435 10806099968 449489 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 0 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22994] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22994/stat : 22994 (java) S 22980 22982 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833408435 10806099968 449490 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22995] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22995/stat : 22995 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833408435 10806099968 449491 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22996] ppid=22980 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22996/stat : 22996 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10806099968 449493 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347716017 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22997] ppid=22980 vsize=10552832 CPUtime=0.54 cores=0,2,4,6
/proc/22982/task/22997/stat : 22997 (java) S 22980 22982 22575 0 -1 4202560 5164 0 0 0 53 1 0 0 15 0 19 0 833408437 10806099968 449494 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22998] ppid=22980 vsize=10552832 CPUtime=0.45 cores=0,2,4,6
/proc/22982/task/22998/stat : 22998 (java) S 22980 22982 22575 0 -1 4202560 5011 0 0 0 45 0 0 0 15 0 19 0 833408437 10806099968 449496 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/22982/task/22995/stat : 22995 (java) S 22980 22982 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833408435 10803122176 1046453 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22996] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22996/stat : 22996 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10803122176 1046453 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347716017 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22997] ppid=22980 vsize=10549924 CPUtime=0.87 cores=0,2,4,6
/proc/22982/task/22997/stat : 22997 (java) S 22980 22982 22575 0 -1 4202560 5255 0 0 0 86 1 0 0 15 0 19 0 833408437 10803122176 1046453 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22998] ppid=22980 vsize=10549924 CPUtime=0.64 cores=0,2,4,6
/proc/22982/task/22998/stat : 22998 (java) S 22980 22982 22575 0 -1 4202560 5070 0 0 0 64 0 0 0 15 0 19 0 833408437 10803122176 1046453 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22999] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22999/stat : 22999 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10803122176 1046453 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=23000] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23000/stat : 23000 (java) S 22980 22982 22575 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833408437 10803122176 1046453 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=23001] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23001/stat : 23001 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833408456 10803122176 1046453 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1670.77
Current children cumulated vsize (KiB) 10549924
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/495 23187
/proc/meminfo: memFree=18252756/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10549924 CPUtime=1730.97 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 1056283 0 1 0 172959 138 0 0 25 0 19 0 833408431 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2637481 1048222 2257 9 0 2628215 0
[pid=22982/tid=22983] ppid=22980 vsize=10549924 CPUtime=1717.08 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 779598 0 1 0 171613 95 0 0 25 0 19 0 833408432 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505601880 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22982/tid=22985] ppid=22980 vsize=10549924 CPUtime=1.17 cores=0,2,4,6
/proc/22982/task/22985/stat : 22985 (java) S 22980 22982 22575 0 -1 4202560 30294 0 0 0 112 5 0 0 16 0 19 0 833408434 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 0 0 0 0
[pid=22982/tid=22986] ppid=22980 vsize=10549924 CPUtime=1.3 cores=0,2,4,6
/proc/22982/task/22986/stat : 22986 (java) S 22980 22982 22575 0 -1 4202560 28541 0 0 0 126 4 0 0 16 0 19 0 833408434 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 0 0 0 0
[pid=22982/tid=22987] ppid=22980 vsize=10549924 CPUtime=1.37 cores=0,2,4,6
/proc/22982/task/22987/stat : 22987 (java) S 22980 22982 22575 0 -1 4202560 31068 0 0 0 133 4 0 0 16 0 19 0 833408434 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 2 0 0 0
[pid=22982/tid=22988] ppid=22980 vsize=10549924 CPUtime=1.13 cores=0,2,4,6
/proc/22982/task/22988/stat : 22988 (java) S 22980 22982 22575 0 -1 4202560 25669 0 0 0 109 4 0 0 15 0 19 0 833408434 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 0 0 0 0
[pid=22982/tid=22989] ppid=22980 vsize=10549924 CPUtime=1.29 cores=0,2,4,6
/proc/22982/task/22989/stat : 22989 (java) S 22980 22982 22575 0 -1 4202560 40208 0 0 0 124 5 0 0 16 0 19 0 833408434 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22990] ppid=22980 vsize=10549924 CPUtime=1.09 cores=0,2,4,6
/proc/22982/task/22990/stat : 22990 (java) S 22980 22982 22575 0 -1 4202560 30152 0 0 0 104 5 0 0 16 0 19 0 833408434 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 2 0 0 0
[pid=22982/tid=22991] ppid=22980 vsize=10549924 CPUtime=1.49 cores=0,2,4,6
/proc/22982/task/22991/stat : 22991 (java) S 22980 22982 22575 0 -1 4202560 38225 0 0 0 144 5 0 0 16 0 19 0 833408434 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22992] ppid=22980 vsize=10549924 CPUtime=1.34 cores=0,2,4,6
/proc/22982/task/22992/stat : 22992 (java) S 22980 22982 22575 0 -1 4202560 35284 0 0 0 130 4 0 0 16 0 19 0 833408434 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22993] ppid=22980 vsize=10549924 CPUtime=2.08 cores=0,2,4,6
/proc/22982/task/22993/stat : 22993 (java) S 22980 22982 22575 0 -1 4202560 5670 0 0 0 208 0 0 0 15 0 19 0 833408435 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 0 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22994] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22994/stat : 22994 (java) S 22980 22982 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833408435 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22995] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22995/stat : 22995 (java) S 22980 22982 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833408435 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22996] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22996/stat : 22996 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347716017 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22997] ppid=22980 vsize=10549924 CPUtime=0.87 cores=0,2,4,6
/proc/22982/task/22997/stat : 22997 (java) S 22980 22982 22575 0 -1 4202560 5255 0 0 0 86 1 0 0 15 0 19 0 833408437 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22998] ppid=22980 vsize=10549924 CPUtime=0.64 cores=0,2,4,6
/proc/22982/task/22998/stat : 22998 (java) S 22980 22982 22575 0 -1 4202560 5070 0 0 0 64 0 0 0 15 0 19 0 833408437 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22999] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22999/stat : 22999 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=23000] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23000/stat : 23000 (java) S 22980 22982 22575 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833408437 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=23001] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23001/stat : 23001 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833408456 10803122176 1048222 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1730.97
Current children cumulated vsize (KiB) 10549924
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/495 23189
/proc/meminfo: memFree=18216768/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10549924 CPUtime=1791.13 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 1057659 0 1 0 178975 138 0 0 25 0 19 0 833408431 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2637481 1049559 2257 9 0 2628215 0
[pid=22982/tid=22983] ppid=22980 vsize=10549924 CPUtime=1777.02 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 779600 0 1 0 177607 95 0 0 25 0 19 0 833408432 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505601918 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22982/tid=22985] ppid=22980 vsize=10549924 CPUtime=1.19 cores=0,2,4,6
/proc/22982/task/22985/stat : 22985 (java) S 22980 22982 22575 0 -1 4202560 30394 0 0 0 114 5 0 0 16 0 19 0 833408434 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22986] ppid=22980 vsize=10549924 CPUtime=1.33 cores=0,2,4,6
/proc/22982/task/22986/stat : 22986 (java) S 22980 22982 22575 0 -1 4202560 28663 0 0 0 129 4 0 0 15 0 19 0 833408434 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22987] ppid=22980 vsize=10549924 CPUtime=1.4 cores=0,2,4,6
/proc/22982/task/22987/stat : 22987 (java) S 22980 22982 22575 0 -1 4202560 31292 0 0 0 136 4 0 0 16 0 19 0 833408434 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 0 0 0 0
[pid=22982/tid=22988] ppid=22980 vsize=10549924 CPUtime=1.16 cores=0,2,4,6
/proc/22982/task/22988/stat : 22988 (java) S 22980 22982 22575 0 -1 4202560 25790 0 0 0 112 4 0 0 15 0 19 0 833408434 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 0 0 0 0
[pid=22982/tid=22989] ppid=22980 vsize=10549924 CPUtime=1.32 cores=0,2,4,6
/proc/22982/task/22989/stat : 22989 (java) S 22980 22982 22575 0 -1 4202560 40457 0 0 0 127 5 0 0 16 0 19 0 833408434 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22990] ppid=22980 vsize=10549924 CPUtime=1.14 cores=0,2,4,6
/proc/22982/task/22990/stat : 22990 (java) S 22980 22982 22575 0 -1 4202560 30450 0 0 0 109 5 0 0 16 0 19 0 833408434 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 2 0 0 0
[pid=22982/tid=22991] ppid=22980 vsize=10549924 CPUtime=1.49 cores=0,2,4,6
/proc/22982/task/22991/stat : 22991 (java) S 22980 22982 22575 0 -1 4202560 38225 0 0 0 144 5 0 0 15 0 19 0 833408434 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22992] ppid=22980 vsize=10549924 CPUtime=1.36 cores=0,2,4,6
/proc/22982/task/22992/stat : 22992 (java) S 22980 22982 22575 0 -1 4202560 35538 0 0 0 132 4 0 0 15 0 19 0 833408434 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22993] ppid=22980 vsize=10549924 CPUtime=2.08 cores=0,2,4,6
/proc/22982/task/22993/stat : 22993 (java) S 22980 22982 22575 0 -1 4202560 5672 0 0 0 208 0 0 0 15 0 19 0 833408435 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 0 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22994] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22994/stat : 22994 (java) S 22980 22982 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833408435 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22995] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22995/stat : 22995 (java) S 22980 22982 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833408435 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22996] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22996/stat : 22996 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347716017 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22997] ppid=22980 vsize=10549924 CPUtime=0.87 cores=0,2,4,6
/proc/22982/task/22997/stat : 22997 (java) S 22980 22982 22575 0 -1 4202560 5255 0 0 0 86 1 0 0 15 0 19 0 833408437 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22998] ppid=22980 vsize=10549924 CPUtime=0.64 cores=0,2,4,6
/proc/22982/task/22998/stat : 22998 (java) S 22980 22982 22575 0 -1 4202560 5070 0 0 0 64 0 0 0 15 0 19 0 833408437 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22999] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22999/stat : 22999 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=23000] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23000/stat : 23000 (java) S 22980 22982 22575 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833408437 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=23001] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23001/stat : 23001 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833408456 10803122176 1049559 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1791.13
Current children cumulated vsize (KiB) 10549924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/495 23189
/proc/meminfo: memFree=18199164/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=10549924 CPUtime=1800.03 cores=0,2,4,6
/proc/22982/stat : 22982 (java) S 22980 22982 22575 0 -1 4202496 1058501 0 1 0 179865 138 0 0 25 0 19 0 833408431 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 2637481 1050360 2257 9 0 2628215 0
[pid=22982/tid=22983] ppid=22980 vsize=10549924 CPUtime=1785.79 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4202560 779601 0 1 0 178484 95 0 0 25 0 19 0 833408432 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 46912505602016 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22982/tid=22985] ppid=22980 vsize=10549924 CPUtime=1.21 cores=0,2,4,6
/proc/22982/task/22985/stat : 22985 (java) S 22980 22982 22575 0 -1 4202560 30445 0 0 0 116 5 0 0 16 0 19 0 833408434 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 0 0 0 0
[pid=22982/tid=22986] ppid=22980 vsize=10549924 CPUtime=1.34 cores=0,2,4,6
/proc/22982/task/22986/stat : 22986 (java) S 22980 22982 22575 0 -1 4202560 28665 0 0 0 130 4 0 0 16 0 19 0 833408434 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22987] ppid=22980 vsize=10549924 CPUtime=1.43 cores=0,2,4,6
/proc/22982/task/22987/stat : 22987 (java) S 22980 22982 22575 0 -1 4202560 31615 0 0 0 139 4 0 0 16 0 19 0 833408434 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 0 0 0 0
[pid=22982/tid=22988] ppid=22980 vsize=10549924 CPUtime=1.18 cores=0,2,4,6
/proc/22982/task/22988/stat : 22988 (java) S 22980 22982 22575 0 -1 4202560 25792 0 0 0 114 4 0 0 16 0 19 0 833408434 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22989] ppid=22980 vsize=10549924 CPUtime=1.32 cores=0,2,4,6
/proc/22982/task/22989/stat : 22989 (java) S 22980 22982 22575 0 -1 4202560 40457 0 0 0 127 5 0 0 16 0 19 0 833408434 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22990] ppid=22980 vsize=10549924 CPUtime=1.19 cores=0,2,4,6
/proc/22982/task/22990/stat : 22990 (java) S 22980 22982 22575 0 -1 4202560 30911 0 0 0 114 5 0 0 16 0 19 0 833408434 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 2 0 0 0
[pid=22982/tid=22991] ppid=22980 vsize=10549924 CPUtime=1.5 cores=0,2,4,6
/proc/22982/task/22991/stat : 22991 (java) S 22980 22982 22575 0 -1 4202560 38225 0 0 0 145 5 0 0 16 0 19 0 833408434 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22992] ppid=22980 vsize=10549924 CPUtime=1.37 cores=0,2,4,6
/proc/22982/task/22992/stat : 22992 (java) S 22980 22982 22575 0 -1 4202560 35538 0 0 0 133 4 0 0 16 0 19 0 833408434 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 0 0 0 0
[pid=22982/tid=22993] ppid=22980 vsize=10549924 CPUtime=2.08 cores=0,2,4,6
/proc/22982/task/22993/stat : 22993 (java) S 22980 22982 22575 0 -1 4202560 5674 0 0 0 208 0 0 0 15 0 19 0 833408435 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 0 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22994] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22994/stat : 22994 (java) S 22980 22982 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833408435 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22995] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22995/stat : 22995 (java) S 22980 22982 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833408435 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22996] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22996/stat : 22996 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347716017 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22997] ppid=22980 vsize=10549924 CPUtime=0.87 cores=0,2,4,6
/proc/22982/task/22997/stat : 22997 (java) S 22980 22982 22575 0 -1 4202560 5255 0 0 0 86 1 0 0 15 0 19 0 833408437 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=22998] ppid=22980 vsize=10549924 CPUtime=0.64 cores=0,2,4,6
/proc/22982/task/22998/stat : 22998 (java) S 22980 22982 22575 0 -1 4202560 5070 0 0 0 64 0 0 0 15 0 19 0 833408437 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=22999] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/22999/stat : 22999 (java) S 22980 22982 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833408437 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708313 0 4 0 16800975 18446604444527001920 0 0 -1 6 0 0 0
[pid=22982/tid=23000] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23000/stat : 23000 (java) S 22980 22982 22575 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833408437 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
[pid=22982/tid=23001] ppid=22980 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/22982/task/23001/stat : 23001 (java) S 22980 22982 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833408456 10803122176 1050360 33554432000 1073741824 1073778376 140735777876496 18446744073709551615 232347708928 0 4 0 16800975 18446604444527001920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10549924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/495 23189
/proc/meminfo: memFree=18199164/32951124 swapFree=60688864/67111528
[pid=22982] ppid=22980 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/22982/stat : 22982 (java) Z 22980 22982 22575 0 -1 4203548 1058542 0 1 0 179873 152 0 0 17 0 2 0 833408431 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22982/statm: 0 0 0 0 0 0 0
[pid=22982/tid=22983] ppid=22980 vsize=0 CPUtime=1785.97 cores=0,2,4,6
/proc/22982/task/22983/stat : 22983 (java) R 22980 22982 22575 0 -1 4203588 779601 0 1 0 178488 109 0 0 25 0 2 0 833408432 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.33
CPU time (s): 1800.29
CPU user time (s): 1798.74
CPU system time (s): 1.55776
CPU usage (%): 100.5
Max. virtual memory (cumulated for all children) (KiB): 10552832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.55776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1058542
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= 38932
involuntary context switches= 8871
runsolver used 8.89165 second user time and 18.8261 second system time
The end