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-3457016-1307215867/watcher-3457016-1307215867 -o /tmp/evaluation-result-3457016-1307215867/solver-3457016-1307215867 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457016-1307215867.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.01 0.02 0.00 2/431 3873
/proc/meminfo: memFree=20391504/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 2203 0 1 0 0 0 0 0 22 0 2 0 833184566 10681323520 1905 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2607745 1919 906 9 0 2598901 0
[pid=3873/tid=3874] ppid=3871 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 5233 0 1 0 0 0 0 0 23 0 2 0 833184567 10694979584 6048 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0460739 s]
/proc/loadavg: 0.01 0.02 0.00 2/431 3873
/proc/meminfo: memFree=20391504/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 11266 0 1 0 2 1 0 0 22 0 13 0 833184566 10718699520 10963 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2616870 10965 1673 9 0 2607618 0
[pid=3873/tid=3874] ppid=3871 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 10122 0 1 0 2 1 0 0 25 0 13 0 833184567 10718699520 10965 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 47078233934787 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.101049 s]
/proc/loadavg: 0.01 0.02 0.00 2/431 3873
/proc/meminfo: memFree=20391504/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10474128 CPUtime=0.09 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 12708 0 1 0 7 2 0 0 22 0 18 0 833184566 10725507072 12405 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2618532 12406 2082 9 0 2609266 0
[pid=3873/tid=3874] ppid=3871 vsize=10474128 CPUtime=0.07 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 10953 0 1 0 5 2 0 0 21 0 18 0 833184567 10725507072 12406 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389128011 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10474128
[startup+0.301723 s]
/proc/loadavg: 0.01 0.02 0.00 2/431 3873
/proc/meminfo: memFree=20391504/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10541704 CPUtime=0.41 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 15177 0 1 0 39 2 0 0 22 0 18 0 833184566 10794704896 14605 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2635426 14606 2198 9 0 2626160 0
[pid=3873/tid=3874] ppid=3871 vsize=10541704 CPUtime=0.25 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 12401 0 1 0 23 2 0 0 21 0 18 0 833184567 10794704896 14606 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 46912505587019 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 10541704
[startup+0.723938 s]
/proc/loadavg: 0.01 0.02 0.00 2/431 3873
/proc/meminfo: memFree=20391504/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10554848 CPUtime=1.58 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 39236 0 1 0 153 5 0 0 22 0 19 0 833184566 10808164352 35116 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2638712 35123 2221 9 0 2629446 0
[pid=3873/tid=3874] ppid=3871 vsize=10554848 CPUtime=0.67 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 27115 0 1 0 63 4 0 0 23 0 19 0 833184567 10808164352 35126 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 46912505654694 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10554848
[startup+1.50081 s]
/proc/loadavg: 0.01 0.02 0.00 3/473 3920
/proc/meminfo: memFree=19898708/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10554848 CPUtime=2.56 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 121357 0 1 0 241 15 0 0 22 0 19 0 833184566 10808164352 117236 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2638712 117240 2225 9 0 2629446 0
[pid=3873/tid=3874] ppid=3871 vsize=10554848 CPUtime=1.45 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 109200 0 1 0 132 13 0 0 25 0 19 0 833184567 10808164352 117242 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 46912505654580 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3873/tid=3876] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3876/stat : 3876 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833184569 10808164352 117244 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3877] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3877/stat : 3877 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 117245 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3878] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3878/stat : 3878 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 117247 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3879] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3879/stat : 3879 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 117249 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3880] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3880/stat : 3880 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 117250 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3881] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3881/stat : 3881 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 117251 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3882] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3882/stat : 3882 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 117253 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3883] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3883/stat : 3883 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 117255 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3884] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3884/stat : 3884 (java) S 3871 3873 3845 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833184570 10808164352 117257 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3885] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3885/stat : 3885 (java) S 3871 3873 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833184570 10808164352 117259 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3886] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3886/stat : 3886 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833184570 10808164352 117261 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3887] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3887/stat : 3887 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833184573 10808164352 117263 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3888] ppid=3871 vsize=10554848 CPUtime=0.54 cores=1,3,5,7
/proc/3873/task/3888/stat : 3888 (java) S 3871 3873 3845 0 -1 4202560 5152 0 0 0 54 0 0 0 15 0 19 0 833184573 10808164352 117266 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3889] ppid=3871 vsize=10554848 CPUtime=0.54 cores=1,3,5,7
/proc/3873/task/3889/stat : 3889 (java) S 3871 3873 3845 0 -1 4202560 5852 0 0 0 54 0 0 0 15 0 19 0 833184573 10808164352 117268 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3890] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3890/stat : 3890 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833184573 10808164352 117270 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3891] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3891/stat : 3891 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833184573 10808164352 117271 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3919] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3919/stat : 3919 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833184599 10808164352 117274 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 10554848
[startup+3.10151 s]
/proc/loadavg: 0.17 0.05 0.01 3/473 3920
/proc/meminfo: memFree=19013348/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10554848 CPUtime=4.27 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 285365 0 1 0 394 33 0 0 22 0 19 0 833184566 10808164352 281244 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2638712 281248 2225 9 0 2629446 0
[pid=3873/tid=3874] ppid=3871 vsize=10554848 CPUtime=3.05 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 273095 0 1 0 273 32 0 0 25 0 19 0 833184567 10808164352 281250 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 46912505717301 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3873/tid=3876] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3876/stat : 3876 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833184569 10808164352 281253 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3877] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3877/stat : 3877 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 281256 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3878] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3878/stat : 3878 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 281259 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3879] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3879/stat : 3879 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 281261 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3880] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3880/stat : 3880 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 281264 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3881] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3881/stat : 3881 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 281267 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3882] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3882/stat : 3882 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 281269 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3883] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3883/stat : 3883 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10808164352 281272 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3884] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3884/stat : 3884 (java) S 3871 3873 3845 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833184570 10808164352 281275 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3885] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3885/stat : 3885 (java) S 3871 3873 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833184570 10808164352 281277 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3886] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3886/stat : 3886 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833184570 10808164352 281280 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3887] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3887/stat : 3887 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833184573 10808164352 281282 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3888] ppid=3871 vsize=10554848 CPUtime=0.61 cores=1,3,5,7
/proc/3873/task/3888/stat : 3888 (java) S 3871 3873 3845 0 -1 4202560 5164 0 0 0 61 0 0 0 15 0 19 0 833184573 10808164352 281285 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3889] ppid=3871 vsize=10554848 CPUtime=0.58 cores=1,3,5,7
/proc/3873/task/3889/stat : 3889 (java) S 3871 3873 3845 0 -1 4202560 5953 0 0 0 58 0 0 0 16 0 19 0 833184573 10808164352 281287 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3890] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3890/stat : 3890 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833184573 10808164352 281290 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3891] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3891/stat : 3891 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833184573 10808164352 281293 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3919] ppid=3871 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3919/stat : 3919 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833184599 10808164352 281295 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10554848
[startup+6.30091 s]
/proc/loadavg: 0.17 0.05 0.01 3/473 3920
/proc/meminfo: memFree=16459196/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10551976 CPUtime=7.52 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 586580 0 1 0 685 67 0 0 22 0 19 0 833184566 10805223424 581741 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2637994 581745 2226 9 0 2628728 0
[pid=3873/tid=3874] ppid=3871 vsize=10551976 CPUtime=6.25 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 574305 0 1 0 560 65 0 0 25 0 19 0 833184567 10805223424 581746 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 46912505654752 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3873/tid=3876] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3876/stat : 3876 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833184569 10805223424 581748 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3877] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3877/stat : 3877 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10805223424 581750 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3878] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3878/stat : 3878 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10805223424 581752 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3879] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3879/stat : 3879 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10805223424 581754 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3880] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3880/stat : 3880 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10805223424 581755 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3881] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3881/stat : 3881 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10805223424 581757 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3882] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3882/stat : 3882 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10805223424 581759 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3883] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3883/stat : 3883 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833184569 10805223424 581761 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3884] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3884/stat : 3884 (java) S 3871 3873 3845 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833184570 10805223424 581763 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3885] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3885/stat : 3885 (java) S 3871 3873 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833184570 10805223424 581764 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3886] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3886/stat : 3886 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833184570 10805223424 581766 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3887] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3887/stat : 3887 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833184573 10805223424 581768 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3888] ppid=3871 vsize=10551976 CPUtime=0.62 cores=1,3,5,7
/proc/3873/task/3888/stat : 3888 (java) S 3871 3873 3845 0 -1 4202560 5164 0 0 0 62 0 0 0 16 0 19 0 833184573 10805223424 581770 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3889] ppid=3871 vsize=10551976 CPUtime=0.61 cores=1,3,5,7
/proc/3873/task/3889/stat : 3889 (java) S 3871 3873 3845 0 -1 4202560 5956 0 0 0 61 0 0 0 15 0 19 0 833184573 10805223424 581772 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/3873/task/3885/stat : 3885 (java) S 3871 3873 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833184570 10805223424 918997 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3886] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3886/stat : 3886 (java) S 3871 3873 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833184570 10805223424 918997 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3887] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3887/stat : 3887 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833184573 10805223424 918997 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3888] ppid=3871 vsize=10551976 CPUtime=0.67 cores=1,3,5,7
/proc/3873/task/3888/stat : 3888 (java) S 3871 3873 3845 0 -1 4202560 5178 0 0 0 67 0 0 0 16 0 19 0 833184573 10805223424 918997 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3889] ppid=3871 vsize=10551976 CPUtime=0.83 cores=1,3,5,7
/proc/3873/task/3889/stat : 3889 (java) S 3871 3873 3845 0 -1 4202560 6001 0 0 0 83 0 0 0 15 0 19 0 833184573 10805223424 918997 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3890] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3890/stat : 3890 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833184573 10805223424 918997 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3891] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3891/stat : 3891 (java) S 3871 3873 3845 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833184573 10805223424 918997 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3919] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3919/stat : 3919 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833184599 10805223424 918997 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1666.71
Current children cumulated vsize (KiB) 10551976
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 1.70 3/473 3966
/proc/meminfo: memFree=13038568/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10551976 CPUtime=1726.82 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 925101 0 1 0 172576 106 0 0 22 0 19 0 833184566 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2637994 919020 2256 9 0 2628728 0
[pid=3873/tid=3874] ppid=3871 vsize=10551976 CPUtime=1719.69 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 836960 0 1 0 171875 94 0 0 25 0 19 0 833184567 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 46912505824688 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3873/tid=3876] ppid=3871 vsize=10551976 CPUtime=0.6 cores=1,3,5,7
/proc/3873/task/3876/stat : 3876 (java) S 3871 3873 3845 0 -1 4202560 7203 0 0 0 59 1 0 0 16 0 19 0 833184569 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3877] ppid=3871 vsize=10551976 CPUtime=0.53 cores=1,3,5,7
/proc/3873/task/3877/stat : 3877 (java) S 3871 3873 3845 0 -1 4202560 7845 0 0 0 53 0 0 0 15 0 19 0 833184569 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3878] ppid=3871 vsize=10551976 CPUtime=0.64 cores=1,3,5,7
/proc/3873/task/3878/stat : 3878 (java) S 3871 3873 3845 0 -1 4202560 10080 0 0 0 64 0 0 0 15 0 19 0 833184569 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3879] ppid=3871 vsize=10551976 CPUtime=0.53 cores=1,3,5,7
/proc/3873/task/3879/stat : 3879 (java) S 3871 3873 3845 0 -1 4202560 8533 0 0 0 52 1 0 0 15 0 19 0 833184569 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3880] ppid=3871 vsize=10551976 CPUtime=0.64 cores=1,3,5,7
/proc/3873/task/3880/stat : 3880 (java) S 3871 3873 3845 0 -1 4202560 7349 0 0 0 63 1 0 0 16 0 19 0 833184569 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3881] ppid=3871 vsize=10551976 CPUtime=0.5 cores=1,3,5,7
/proc/3873/task/3881/stat : 3881 (java) S 3871 3873 3845 0 -1 4202560 9085 0 0 0 50 0 0 0 16 0 19 0 833184569 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3882] ppid=3871 vsize=10551976 CPUtime=0.48 cores=1,3,5,7
/proc/3873/task/3882/stat : 3882 (java) S 3871 3873 3845 0 -1 4202560 6632 0 0 0 48 0 0 0 15 0 19 0 833184569 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3883] ppid=3871 vsize=10551976 CPUtime=0.59 cores=1,3,5,7
/proc/3873/task/3883/stat : 3883 (java) S 3871 3873 3845 0 -1 4202560 10415 0 0 0 58 1 0 0 15 0 19 0 833184569 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3884] ppid=3871 vsize=10551976 CPUtime=0.99 cores=1,3,5,7
/proc/3873/task/3884/stat : 3884 (java) S 3871 3873 3845 0 -1 4202560 8570 0 0 0 98 1 0 0 15 0 19 0 833184570 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3885] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3885/stat : 3885 (java) S 3871 3873 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833184570 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3886] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3886/stat : 3886 (java) S 3871 3873 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833184570 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3887] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3887/stat : 3887 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833184573 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3888] ppid=3871 vsize=10551976 CPUtime=0.67 cores=1,3,5,7
/proc/3873/task/3888/stat : 3888 (java) S 3871 3873 3845 0 -1 4202560 5178 0 0 0 67 0 0 0 16 0 19 0 833184573 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3889] ppid=3871 vsize=10551976 CPUtime=0.83 cores=1,3,5,7
/proc/3873/task/3889/stat : 3889 (java) S 3871 3873 3845 0 -1 4202560 6001 0 0 0 83 0 0 0 15 0 19 0 833184573 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3890] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3890/stat : 3890 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833184573 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3891] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3891/stat : 3891 (java) S 3871 3873 3845 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833184573 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3919] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3919/stat : 3919 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833184599 10805223424 919020 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1726.82
Current children cumulated vsize (KiB) 10551976
[startup+1782.3 s]
/proc/loadavg: 2.12 2.08 1.74 3/473 3968
/proc/meminfo: memFree=13033824/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10551976 CPUtime=1786.93 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 925143 0 1 0 178587 106 0 0 22 0 19 0 833184566 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2637994 919052 2256 9 0 2628728 0
[pid=3873/tid=3874] ppid=3871 vsize=10551976 CPUtime=1779.62 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 836964 0 1 0 177868 94 0 0 25 0 19 0 833184567 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 46912505824419 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3873/tid=3876] ppid=3871 vsize=10551976 CPUtime=0.63 cores=1,3,5,7
/proc/3873/task/3876/stat : 3876 (java) S 3871 3873 3845 0 -1 4202560 7212 0 0 0 62 1 0 0 16 0 19 0 833184569 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3877] ppid=3871 vsize=10551976 CPUtime=0.56 cores=1,3,5,7
/proc/3873/task/3877/stat : 3877 (java) S 3871 3873 3845 0 -1 4202560 7851 0 0 0 56 0 0 0 16 0 19 0 833184569 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3878] ppid=3871 vsize=10551976 CPUtime=0.65 cores=1,3,5,7
/proc/3873/task/3878/stat : 3878 (java) S 3871 3873 3845 0 -1 4202560 10080 0 0 0 65 0 0 0 15 0 19 0 833184569 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3879] ppid=3871 vsize=10551976 CPUtime=0.55 cores=1,3,5,7
/proc/3873/task/3879/stat : 3879 (java) S 3871 3873 3845 0 -1 4202560 8533 0 0 0 54 1 0 0 15 0 19 0 833184569 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3880] ppid=3871 vsize=10551976 CPUtime=0.65 cores=1,3,5,7
/proc/3873/task/3880/stat : 3880 (java) S 3871 3873 3845 0 -1 4202560 7353 0 0 0 64 1 0 0 16 0 19 0 833184569 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3881] ppid=3871 vsize=10551976 CPUtime=0.52 cores=1,3,5,7
/proc/3873/task/3881/stat : 3881 (java) S 3871 3873 3845 0 -1 4202560 9086 0 0 0 52 0 0 0 15 0 19 0 833184569 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3882] ppid=3871 vsize=10551976 CPUtime=0.52 cores=1,3,5,7
/proc/3873/task/3882/stat : 3882 (java) S 3871 3873 3845 0 -1 4202560 6637 0 0 0 52 0 0 0 15 0 19 0 833184569 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3883] ppid=3871 vsize=10551976 CPUtime=0.6 cores=1,3,5,7
/proc/3873/task/3883/stat : 3883 (java) S 3871 3873 3845 0 -1 4202560 10422 0 0 0 59 1 0 0 15 0 19 0 833184569 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3884] ppid=3871 vsize=10551976 CPUtime=0.99 cores=1,3,5,7
/proc/3873/task/3884/stat : 3884 (java) S 3871 3873 3845 0 -1 4202560 8574 0 0 0 98 1 0 0 15 0 19 0 833184570 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3885] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3885/stat : 3885 (java) S 3871 3873 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833184570 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3886] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3886/stat : 3886 (java) S 3871 3873 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833184570 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3887] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3887/stat : 3887 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833184573 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3888] ppid=3871 vsize=10551976 CPUtime=0.67 cores=1,3,5,7
/proc/3873/task/3888/stat : 3888 (java) S 3871 3873 3845 0 -1 4202560 5178 0 0 0 67 0 0 0 16 0 19 0 833184573 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3889] ppid=3871 vsize=10551976 CPUtime=0.83 cores=1,3,5,7
/proc/3873/task/3889/stat : 3889 (java) S 3871 3873 3845 0 -1 4202560 6001 0 0 0 83 0 0 0 15 0 19 0 833184573 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3890] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3890/stat : 3890 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833184573 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3891] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3891/stat : 3891 (java) S 3871 3873 3845 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833184573 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3919] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3919/stat : 3919 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833184599 10805223424 919052 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1786.93
Current children cumulated vsize (KiB) 10551976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.18 2.09 1.74 3/473 3977
/proc/meminfo: memFree=13031168/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=10551976 CPUtime=1800.07 cores=1,3,5,7
/proc/3873/stat : 3873 (java) S 3871 3873 3845 0 -1 4202496 925155 0 1 0 179901 106 0 0 22 0 19 0 833184566 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 2637994 919059 2256 9 0 2628728 0
[pid=3873/tid=3874] ppid=3871 vsize=10551976 CPUtime=1792.73 cores=1,3,5,7
/proc/3873/task/3874/stat : 3874 (java) R 3871 3873 3845 0 -1 4202560 836965 0 1 0 179179 94 0 0 25 0 19 0 833184567 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 46912505717649 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3873/tid=3876] ppid=3871 vsize=10551976 CPUtime=0.63 cores=1,3,5,7
/proc/3873/task/3876/stat : 3876 (java) S 3871 3873 3845 0 -1 4202560 7212 0 0 0 62 1 0 0 16 0 19 0 833184569 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3877] ppid=3871 vsize=10551976 CPUtime=0.58 cores=1,3,5,7
/proc/3873/task/3877/stat : 3877 (java) S 3871 3873 3845 0 -1 4202560 7854 0 0 0 58 0 0 0 16 0 19 0 833184569 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3878] ppid=3871 vsize=10551976 CPUtime=0.66 cores=1,3,5,7
/proc/3873/task/3878/stat : 3878 (java) S 3871 3873 3845 0 -1 4202560 10080 0 0 0 66 0 0 0 16 0 19 0 833184569 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3879] ppid=3871 vsize=10551976 CPUtime=0.55 cores=1,3,5,7
/proc/3873/task/3879/stat : 3879 (java) S 3871 3873 3845 0 -1 4202560 8533 0 0 0 54 1 0 0 15 0 19 0 833184569 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3880] ppid=3871 vsize=10551976 CPUtime=0.65 cores=1,3,5,7
/proc/3873/task/3880/stat : 3880 (java) S 3871 3873 3845 0 -1 4202560 7353 0 0 0 64 1 0 0 15 0 19 0 833184569 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3881] ppid=3871 vsize=10551976 CPUtime=0.54 cores=1,3,5,7
/proc/3873/task/3881/stat : 3881 (java) S 3871 3873 3845 0 -1 4202560 9090 0 0 0 54 0 0 0 16 0 19 0 833184569 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3882] ppid=3871 vsize=10551976 CPUtime=0.52 cores=1,3,5,7
/proc/3873/task/3882/stat : 3882 (java) S 3871 3873 3845 0 -1 4202560 6637 0 0 0 52 0 0 0 15 0 19 0 833184569 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=3873/tid=3883] ppid=3871 vsize=10551976 CPUtime=0.6 cores=1,3,5,7
/proc/3873/task/3883/stat : 3883 (java) S 3871 3873 3845 0 -1 4202560 10422 0 0 0 59 1 0 0 15 0 19 0 833184569 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3884] ppid=3871 vsize=10551976 CPUtime=0.99 cores=1,3,5,7
/proc/3873/task/3884/stat : 3884 (java) S 3871 3873 3845 0 -1 4202560 8576 0 0 0 98 1 0 0 15 0 19 0 833184570 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3885] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3885/stat : 3885 (java) S 3871 3873 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833184570 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3886] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3886/stat : 3886 (java) S 3871 3873 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833184570 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3887] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3887/stat : 3887 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833184573 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3888] ppid=3871 vsize=10551976 CPUtime=0.67 cores=1,3,5,7
/proc/3873/task/3888/stat : 3888 (java) S 3871 3873 3845 0 -1 4202560 5178 0 0 0 67 0 0 0 16 0 19 0 833184573 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=3873/tid=3889] ppid=3871 vsize=10551976 CPUtime=0.83 cores=1,3,5,7
/proc/3873/task/3889/stat : 3889 (java) S 3871 3873 3845 0 -1 4202560 6001 0 0 0 83 0 0 0 15 0 19 0 833184573 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3890] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3890/stat : 3890 (java) S 3871 3873 3845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833184573 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=3873/tid=3891] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3891/stat : 3891 (java) S 3871 3873 3845 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833184573 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=3873/tid=3919] ppid=3871 vsize=10551976 CPUtime=0 cores=1,3,5,7
/proc/3873/task/3919/stat : 3919 (java) S 3871 3873 3845 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833184599 10805223424 919059 33554432000 1073741824 1073778376 140737329594736 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10551976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.52 s]
/proc/loadavg: 2.18 2.09 1.74 3/473 3977
/proc/meminfo: memFree=13031168/32951124 swapFree=60787360/67111528
[pid=3873] ppid=3871 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/3873/stat : 3873 (java) Z 3871 3873 3845 0 -1 4203548 925193 0 1 0 179907 113 0 0 17 0 2 0 833184566 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3873/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.59
CPU time (s): 1800.28
CPU user time (s): 1799.07
CPU system time (s): 1.20382
CPU usage (%): 100.261
Max. virtual memory (cumulated for all children) (KiB): 10554848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.20382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925193
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= 40119
involuntary context switches= 8623
runsolver used 7.8998 second user time and 18.4052 second system time
The end