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-3456350-1307224861/watcher-3456350-1307224861 -o /tmp/evaluation-result-3456350-1307224861/solver-3456350-1307224861 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456350-1307224861.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: 1.92 1.99 1.99 2/492 7973
/proc/meminfo: memFree=16652428/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 834085726 31268864 963 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 7634 963 736 9 0 385 0
[pid=7973/tid=7974] ppid=7971 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) S 7971 7973 7022 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 834085726 36646912 1018 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274473987654 0 0 0 16784584 17136307087358296063 0 0 -1 5 0 0 0
[startup+0.0911339 s]
/proc/loadavg: 1.92 1.99 1.99 2/492 7973
/proc/meminfo: memFree=16652428/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 834085726 36646912 1018 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 8947 1018 782 9 0 386 0
[pid=7973/tid=7974] ppid=7971 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) S 7971 7973 7022 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 834085726 36646912 1018 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274473987654 0 0 0 16784584 17136307087358296063 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35788
[startup+0.101129 s]
/proc/loadavg: 1.92 1.99 1.99 2/492 7973
/proc/meminfo: memFree=16652428/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 834085726 36646912 1018 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 8947 1018 782 9 0 386 0
[pid=7973/tid=7974] ppid=7971 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) S 7971 7973 7022 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 834085726 36646912 1018 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274473987654 0 0 0 16784584 17136307087358296063 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35788
[startup+0.301028 s]
/proc/loadavg: 1.92 1.99 1.99 2/492 7973
/proc/meminfo: memFree=16652428/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 11451 0 1 0 3 1 0 0 25 0 13 0 834085726 10718838784 11147 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 2616904 11147 1684 9 0 2607652 0
[pid=7973/tid=7974] ppid=7971 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) R 7971 7973 7022 0 -1 4202560 10304 0 1 0 3 1 0 0 25 0 13 0 834085726 10718838784 11148 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 46912505164395 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.700962 s]
/proc/loadavg: 1.92 1.99 1.99 2/492 7973
/proc/meminfo: memFree=16652428/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=10557456 CPUtime=0.85 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 22662 0 1 0 82 3 0 0 25 0 19 0 834085726 10810834944 20055 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 2639364 20055 2221 9 0 2630098 0
[pid=7973/tid=7974] ppid=7971 vsize=10557456 CPUtime=0.44 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) R 7971 7973 7022 0 -1 4202560 13563 0 1 0 42 2 0 0 25 0 19 0 834085726 10810834944 20055 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 46912505624369 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10557456
[startup+1.50082 s]
/proc/loadavg: 1.92 1.99 1.99 5/510 8000
/proc/meminfo: memFree=16516080/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=10558648 CPUtime=2.28 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 90083 0 1 0 216 12 0 0 25 0 19 0 834085726 10812055552 85474 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 2639662 85474 2224 9 0 2630396 0
[pid=7973/tid=7974] ppid=7971 vsize=10558648 CPUtime=1.23 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) R 7971 7973 7022 0 -1 4202560 76851 0 1 0 114 9 0 0 18 0 19 0 834085726 10812055552 85475 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7973/tid=7976] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7976/stat : 7976 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834085753 10812055552 85475 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7977] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7977/stat : 7977 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 85475 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7978] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7978/stat : 7978 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 85476 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7979] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7979/stat : 7979 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 85476 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7980] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7980/stat : 7980 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 85476 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7981] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7981/stat : 7981 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 85476 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7982] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7982/stat : 7982 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 85477 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7983] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7983/stat : 7983 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 85477 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7984] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7984/stat : 7984 (java) S 7971 7973 7022 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834085754 10812055552 85477 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 0 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7985] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7985/stat : 7985 (java) S 7971 7973 7022 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834085754 10812055552 85478 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7986] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7986/stat : 7986 (java) S 7971 7973 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834085754 10812055552 85479 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7987] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7987/stat : 7987 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10812055552 85479 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485791153 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7988] ppid=7971 vsize=10558648 CPUtime=0.51 cores=1,3,5,7
/proc/7973/task/7988/stat : 7988 (java) S 7971 7973 7022 0 -1 4202560 6211 0 0 0 51 0 0 0 22 0 19 0 834085757 10812055552 85479 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7989] ppid=7971 vsize=10558648 CPUtime=0.51 cores=1,3,5,7
/proc/7973/task/7989/stat : 7989 (java) S 7971 7973 7022 0 -1 4202560 5861 0 0 0 50 1 0 0 24 0 19 0 834085757 10812055552 85479 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7990] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7990/stat : 7990 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10812055552 85479 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7991] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7991/stat : 7991 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834085757 10812055552 85479 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=8000] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/8000/stat : 8000 (java) S 7971 7973 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834085776 10812055552 85479 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10558648
[startup+3.10154 s]
/proc/loadavg: 1.92 1.99 1.99 3/510 8000
/proc/meminfo: memFree=16004208/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=10558648 CPUtime=4.04 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 290779 0 1 0 370 34 0 0 25 0 19 0 834085726 10812055552 285292 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 2639662 285296 2225 9 0 2630396 0
[pid=7973/tid=7974] ppid=7971 vsize=10558648 CPUtime=2.83 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) R 7971 7973 7022 0 -1 4202560 276656 0 1 0 252 31 0 0 20 0 19 0 834085726 10812055552 285299 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 46912505624383 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7973/tid=7976] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7976/stat : 7976 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834085753 10812055552 285302 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7977] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7977/stat : 7977 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 285304 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7978] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7978/stat : 7978 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 285306 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7979] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7979/stat : 7979 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 285309 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7980] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7980/stat : 7980 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 285311 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7981] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7981/stat : 7981 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 285314 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7982] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7982/stat : 7982 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 285317 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7983] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7983/stat : 7983 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085753 10812055552 285320 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7984] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7984/stat : 7984 (java) S 7971 7973 7022 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834085754 10812055552 285322 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 0 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7985] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7985/stat : 7985 (java) S 7971 7973 7022 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834085754 10812055552 285325 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7986] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7986/stat : 7986 (java) S 7971 7973 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834085754 10812055552 285328 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7987] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7987/stat : 7987 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10812055552 285331 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485791153 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7988] ppid=7971 vsize=10558648 CPUtime=0.6 cores=1,3,5,7
/proc/7973/task/7988/stat : 7988 (java) S 7971 7973 7022 0 -1 4202560 6225 0 0 0 60 0 0 0 15 0 19 0 834085757 10812055552 285334 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7989] ppid=7971 vsize=10558648 CPUtime=0.58 cores=1,3,5,7
/proc/7973/task/7989/stat : 7989 (java) S 7971 7973 7022 0 -1 4202560 6745 0 0 0 57 1 0 0 15 0 19 0 834085757 10812055552 285336 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7990] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7990/stat : 7990 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10812055552 285339 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7991] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7991/stat : 7991 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834085757 10812055552 285341 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=8000] ppid=7971 vsize=10558648 CPUtime=0 cores=1,3,5,7
/proc/7973/task/8000/stat : 8000 (java) S 7971 7973 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834085776 10812055552 285343 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 10558648
[startup+6.30098 s]
/proc/loadavg: 2.01 2.01 2.00 3/510 8000
/proc/meminfo: memFree=14303548/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=10555564 CPUtime=7.36 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 667057 0 1 0 661 75 0 0 25 0 19 0 834085726 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 2638891 660852 2241 9 0 2629625 0
[pid=7973/tid=7974] ppid=7971 vsize=10555564 CPUtime=6.03 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) R 7971 7973 7022 0 -1 4202560 651079 0 1 0 530 73 0 0 21 0 19 0 834085726 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 46912505617253 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7973/tid=7976] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7976/stat : 7976 (java) S 7971 7973 7022 0 -1 4202560 712 0 0 0 0 0 0 0 18 0 19 0 834085753 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7977] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7977/stat : 7977 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834085753 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7978] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7978/stat : 7978 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834085753 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7979] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7979/stat : 7979 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834085753 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7980] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7980/stat : 7980 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834085753 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7981] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7981/stat : 7981 (java) S 7971 7973 7022 0 -1 4202560 409 0 0 0 0 0 0 0 18 0 19 0 834085753 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7982] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7982/stat : 7982 (java) S 7971 7973 7022 0 -1 4202560 512 0 0 0 0 0 0 0 18 0 19 0 834085753 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7983] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7983/stat : 7983 (java) S 7971 7973 7022 0 -1 4202560 178 0 0 0 0 0 0 0 18 0 19 0 834085753 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7984] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7984/stat : 7984 (java) S 7971 7973 7022 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 834085754 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 0 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7985] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7985/stat : 7985 (java) S 7971 7973 7022 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834085754 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7986] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7986/stat : 7986 (java) S 7971 7973 7022 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834085754 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7987] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7987/stat : 7987 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485791153 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7988] ppid=7971 vsize=10555564 CPUtime=0.69 cores=1,3,5,7
/proc/7973/task/7988/stat : 7988 (java) S 7971 7973 7022 0 -1 4202560 6254 0 0 0 69 0 0 0 15 0 19 0 834085757 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7989] ppid=7971 vsize=10555564 CPUtime=0.6 cores=1,3,5,7
/proc/7973/task/7989/stat : 7989 (java) S 7971 7973 7022 0 -1 4202560 6746 0 0 0 59 1 0 0 15 0 19 0 834085757 10808897536 660852 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=7973/tid=7990] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7990/stat : 7990 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10808897536 1117035 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7991] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7991/stat : 7991 (java) S 7971 7973 7022 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834085757 10808897536 1117035 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=8000] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/8000/stat : 8000 (java) S 7971 7973 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834085776 10808897536 1117035 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.58
Current children cumulated vsize (KiB) 10555564
[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/510 8097
/proc/meminfo: memFree=12239200/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=10555564 CPUtime=1727.91 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 1142408 0 1 0 172659 132 0 0 25 0 19 0 834085726 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 2638891 1122673 2245 9 0 2629625 0
[pid=7973/tid=7974] ppid=7971 vsize=10555564 CPUtime=1719.79 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) R 7971 7973 7022 0 -1 4202560 832648 0 1 0 171887 92 0 0 25 0 19 0 834085726 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 46912505631225 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7973/tid=7976] ppid=7971 vsize=10555564 CPUtime=0.71 cores=1,3,5,7
/proc/7973/task/7976/stat : 7976 (java) S 7971 7973 7022 0 -1 4202560 34930 0 0 0 67 4 0 0 15 0 19 0 834085753 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7977] ppid=7971 vsize=10555564 CPUtime=0.79 cores=1,3,5,7
/proc/7973/task/7977/stat : 7977 (java) S 7971 7973 7022 0 -1 4202560 32751 0 0 0 75 4 0 0 16 0 19 0 834085753 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7978] ppid=7971 vsize=10555564 CPUtime=0.78 cores=1,3,5,7
/proc/7973/task/7978/stat : 7978 (java) S 7971 7973 7022 0 -1 4202560 43323 0 0 0 73 5 0 0 16 0 19 0 834085753 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7979] ppid=7971 vsize=10555564 CPUtime=0.86 cores=1,3,5,7
/proc/7973/task/7979/stat : 7979 (java) S 7971 7973 7022 0 -1 4202560 37770 0 0 0 82 4 0 0 16 0 19 0 834085753 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7980] ppid=7971 vsize=10555564 CPUtime=0.79 cores=1,3,5,7
/proc/7973/task/7980/stat : 7980 (java) S 7971 7973 7022 0 -1 4202560 28954 0 0 0 76 3 0 0 16 0 19 0 834085753 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7981] ppid=7971 vsize=10555564 CPUtime=0.73 cores=1,3,5,7
/proc/7973/task/7981/stat : 7981 (java) S 7971 7973 7022 0 -1 4202560 38876 0 0 0 69 4 0 0 15 0 19 0 834085753 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7982] ppid=7971 vsize=10555564 CPUtime=0.78 cores=1,3,5,7
/proc/7973/task/7982/stat : 7982 (java) S 7971 7973 7022 0 -1 4202560 38745 0 0 0 74 4 0 0 15 0 19 0 834085753 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7983] ppid=7971 vsize=10555564 CPUtime=0.93 cores=1,3,5,7
/proc/7973/task/7983/stat : 7983 (java) S 7971 7973 7022 0 -1 4202560 39898 0 0 0 89 4 0 0 16 0 19 0 834085753 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7984] ppid=7971 vsize=10555564 CPUtime=0.01 cores=1,3,5,7
/proc/7973/task/7984/stat : 7984 (java) S 7971 7973 7022 0 -1 4202560 86 0 0 0 1 0 0 0 15 0 19 0 834085754 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 0 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7985] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7985/stat : 7985 (java) S 7971 7973 7022 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834085754 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7986] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7986/stat : 7986 (java) S 7971 7973 7022 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834085754 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7987] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7987/stat : 7987 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485791153 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7988] ppid=7971 vsize=10555564 CPUtime=0.86 cores=1,3,5,7
/proc/7973/task/7988/stat : 7988 (java) S 7971 7973 7022 0 -1 4202560 6280 0 0 0 86 0 0 0 15 0 19 0 834085757 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7989] ppid=7971 vsize=10555564 CPUtime=0.76 cores=1,3,5,7
/proc/7973/task/7989/stat : 7989 (java) S 7971 7973 7022 0 -1 4202560 6896 0 0 0 75 1 0 0 15 0 19 0 834085757 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7990] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7990/stat : 7990 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7991] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7991/stat : 7991 (java) S 7971 7973 7022 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834085757 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=8000] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/8000/stat : 8000 (java) S 7971 7973 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834085776 10808897536 1122673 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.91
Current children cumulated vsize (KiB) 10555564
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/510 8099
/proc/meminfo: memFree=12189084/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=10555564 CPUtime=1788.19 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 1152826 0 1 0 178685 134 0 0 25 0 19 0 834085726 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 2638891 1132387 2245 9 0 2629625 0
[pid=7973/tid=7974] ppid=7971 vsize=10555564 CPUtime=1779.66 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) R 7971 7973 7022 0 -1 4202560 832656 0 1 0 177874 92 0 0 25 0 19 0 834085726 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 46912505655873 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7973/tid=7976] ppid=7971 vsize=10555564 CPUtime=0.75 cores=1,3,5,7
/proc/7973/task/7976/stat : 7976 (java) S 7971 7973 7022 0 -1 4202560 35631 0 0 0 70 5 0 0 15 0 19 0 834085753 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7977] ppid=7971 vsize=10555564 CPUtime=0.87 cores=1,3,5,7
/proc/7973/task/7977/stat : 7977 (java) S 7971 7973 7022 0 -1 4202560 35997 0 0 0 83 4 0 0 16 0 19 0 834085753 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7978] ppid=7971 vsize=10555564 CPUtime=0.8 cores=1,3,5,7
/proc/7973/task/7978/stat : 7978 (java) S 7971 7973 7022 0 -1 4202560 43782 0 0 0 75 5 0 0 15 0 19 0 834085753 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7979] ppid=7971 vsize=10555564 CPUtime=0.91 cores=1,3,5,7
/proc/7973/task/7979/stat : 7979 (java) S 7971 7973 7022 0 -1 4202560 39006 0 0 0 87 4 0 0 16 0 19 0 834085753 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7980] ppid=7971 vsize=10555564 CPUtime=0.85 cores=1,3,5,7
/proc/7973/task/7980/stat : 7980 (java) S 7971 7973 7022 0 -1 4202560 31159 0 0 0 82 3 0 0 16 0 19 0 834085753 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7981] ppid=7971 vsize=10555564 CPUtime=0.76 cores=1,3,5,7
/proc/7973/task/7981/stat : 7981 (java) S 7971 7973 7022 0 -1 4202560 39953 0 0 0 72 4 0 0 15 0 19 0 834085753 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7982] ppid=7971 vsize=10555564 CPUtime=0.82 cores=1,3,5,7
/proc/7973/task/7982/stat : 7982 (java) S 7971 7973 7022 0 -1 4202560 40063 0 0 0 78 4 0 0 15 0 19 0 834085753 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7983] ppid=7971 vsize=10555564 CPUtime=0.99 cores=1,3,5,7
/proc/7973/task/7983/stat : 7983 (java) S 7971 7973 7022 0 -1 4202560 40058 0 0 0 95 4 0 0 16 0 19 0 834085753 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7984] ppid=7971 vsize=10555564 CPUtime=0.01 cores=1,3,5,7
/proc/7973/task/7984/stat : 7984 (java) S 7971 7973 7022 0 -1 4202560 90 0 0 0 1 0 0 0 15 0 19 0 834085754 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 0 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7985] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7985/stat : 7985 (java) S 7971 7973 7022 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834085754 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7986] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7986/stat : 7986 (java) S 7971 7973 7022 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834085754 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7987] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7987/stat : 7987 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485791153 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7988] ppid=7971 vsize=10555564 CPUtime=0.86 cores=1,3,5,7
/proc/7973/task/7988/stat : 7988 (java) S 7971 7973 7022 0 -1 4202560 6280 0 0 0 86 0 0 0 15 0 19 0 834085757 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7989] ppid=7971 vsize=10555564 CPUtime=0.76 cores=1,3,5,7
/proc/7973/task/7989/stat : 7989 (java) S 7971 7973 7022 0 -1 4202560 6896 0 0 0 75 1 0 0 15 0 19 0 834085757 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7990] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7990/stat : 7990 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7991] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7991/stat : 7991 (java) S 7971 7973 7022 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834085757 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=8000] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/8000/stat : 8000 (java) S 7971 7973 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834085776 10808897536 1132387 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.19
Current children cumulated vsize (KiB) 10555564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.12 s]
/proc/loadavg: 2.01 2.05 2.01 3/510 8099
/proc/meminfo: memFree=12181136/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=10555564 CPUtime=1800.04 cores=1,3,5,7
/proc/7973/stat : 7973 (java) S 7971 7973 7022 0 -1 4202496 1154412 0 1 0 179870 134 0 0 25 0 19 0 834085726 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 2638891 1133910 2245 9 0 2629625 0
[pid=7973/tid=7974] ppid=7971 vsize=10555564 CPUtime=1791.47 cores=1,3,5,7
/proc/7973/task/7974/stat : 7974 (java) R 7971 7973 7022 0 -1 4202560 832657 0 1 0 179055 92 0 0 25 0 19 0 834085726 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 46912505655873 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7973/tid=7976] ppid=7971 vsize=10555564 CPUtime=0.75 cores=1,3,5,7
/proc/7973/task/7976/stat : 7976 (java) S 7971 7973 7022 0 -1 4202560 35631 0 0 0 70 5 0 0 15 0 19 0 834085753 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7977] ppid=7971 vsize=10555564 CPUtime=0.87 cores=1,3,5,7
/proc/7973/task/7977/stat : 7977 (java) S 7971 7973 7022 0 -1 4202560 35997 0 0 0 83 4 0 0 16 0 19 0 834085753 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7978] ppid=7971 vsize=10555564 CPUtime=0.82 cores=1,3,5,7
/proc/7973/task/7978/stat : 7978 (java) S 7971 7973 7022 0 -1 4202560 44770 0 0 0 77 5 0 0 16 0 19 0 834085753 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7979] ppid=7971 vsize=10555564 CPUtime=0.91 cores=1,3,5,7
/proc/7973/task/7979/stat : 7979 (java) S 7971 7973 7022 0 -1 4202560 39006 0 0 0 87 4 0 0 15 0 19 0 834085753 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7980] ppid=7971 vsize=10555564 CPUtime=0.85 cores=1,3,5,7
/proc/7973/task/7980/stat : 7980 (java) S 7971 7973 7022 0 -1 4202560 31159 0 0 0 82 3 0 0 16 0 19 0 834085753 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7981] ppid=7971 vsize=10555564 CPUtime=0.79 cores=1,3,5,7
/proc/7973/task/7981/stat : 7981 (java) S 7971 7973 7022 0 -1 4202560 40540 0 0 0 74 5 0 0 16 0 19 0 834085753 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7982] ppid=7971 vsize=10555564 CPUtime=0.82 cores=1,3,5,7
/proc/7973/task/7982/stat : 7982 (java) S 7971 7973 7022 0 -1 4202560 40063 0 0 0 78 4 0 0 15 0 19 0 834085753 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7983] ppid=7971 vsize=10555564 CPUtime=1 cores=1,3,5,7
/proc/7973/task/7983/stat : 7983 (java) S 7971 7973 7022 0 -1 4202560 40068 0 0 0 96 4 0 0 16 0 19 0 834085753 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
[pid=7973/tid=7984] ppid=7971 vsize=10555564 CPUtime=0.01 cores=1,3,5,7
/proc/7973/task/7984/stat : 7984 (java) S 7971 7973 7022 0 -1 4202560 90 0 0 0 1 0 0 0 15 0 19 0 834085754 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 0 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7985] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7985/stat : 7985 (java) S 7971 7973 7022 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834085754 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7986] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7986/stat : 7986 (java) S 7971 7973 7022 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834085754 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7987] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7987/stat : 7987 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485791153 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7988] ppid=7971 vsize=10555564 CPUtime=0.86 cores=1,3,5,7
/proc/7973/task/7988/stat : 7988 (java) S 7971 7973 7022 0 -1 4202560 6280 0 0 0 86 0 0 0 15 0 19 0 834085757 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 1 0 0 0
[pid=7973/tid=7989] ppid=7971 vsize=10555564 CPUtime=0.76 cores=1,3,5,7
/proc/7973/task/7989/stat : 7989 (java) S 7971 7973 7022 0 -1 4202560 6896 0 0 0 75 1 0 0 15 0 19 0 834085757 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 3 0 0 0
[pid=7973/tid=7990] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7990/stat : 7990 (java) S 7971 7973 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834085757 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485783449 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=7991] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/7991/stat : 7991 (java) S 7971 7973 7022 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834085757 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 5 0 0 0
[pid=7973/tid=8000] ppid=7971 vsize=10555564 CPUtime=0 cores=1,3,5,7
/proc/7973/task/8000/stat : 8000 (java) S 7971 7973 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834085776 10808897536 1133910 33554432000 1073741824 1073778376 140737475552368 18446744073709551615 274485784064 0 4 0 16800975 18446604461197517952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10555564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.22 s]
/proc/loadavg: 2.01 2.05 2.01 3/510 8099
/proc/meminfo: memFree=12181136/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/7973/stat : 7973 (java) Z 7971 7973 7022 0 -1 4203548 1154442 0 1 0 179874 141 0 0 17 0 2 0 834085726 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1794.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/510 8099
/proc/meminfo: memFree=12181136/32950928 swapFree=61858088/67111528
[pid=7973] ppid=7971 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/7973/stat : 7973 (java) Z 7971 7973 7022 0 -1 4203548 1154442 0 1 0 179874 149 0 0 17 0 2 0 834085726 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7973/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.34
CPU time (s): 1800.27
CPU user time (s): 1798.74
CPU system time (s): 1.53077
CPU usage (%): 100.331
Max. virtual memory (cumulated for all children) (KiB): 10558648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.53077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1154442
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= 41038
involuntary context switches= 8279
runsolver used 7.96379 second user time and 19.748 second system time
The end