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-3456676-1307218181/watcher-3456676-1307218181 -o /tmp/evaluation-result-3456676-1307218181/solver-3456676-1307218181 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456676-1307218181.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.05 1.84 2/507 3900
/proc/meminfo: memFree=23522856/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 833416584 31260672 957 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 7632 957 730 9 0 383 0
[pid=3900/tid=3901] ppid=3898 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 4864 0 1 0 0 0 0 0 25 0 2 0 833416585 10694979584 5680 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0883051 s]
/proc/loadavg: 2.12 2.05 1.84 2/507 3900
/proc/meminfo: memFree=23522856/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10473364 CPUtime=0.08 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 12330 0 1 0 7 1 0 0 25 0 18 0 833416584 10724724736 12027 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2618341 12040 1934 9 0 2609075 0
[pid=3900/tid=3901] ppid=3898 vsize=10473364 CPUtime=0.07 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 10920 0 1 0 6 1 0 0 25 0 18 0 833416585 10724724736 12043 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216476639 0 2147483391 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10473364
[startup+0.106105 s]
/proc/loadavg: 2.12 2.05 1.84 2/507 3900
/proc/meminfo: memFree=23522856/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10540000 CPUtime=0.1 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 13052 0 1 0 9 1 0 0 25 0 18 0 833416584 10792960000 12749 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2635000 12749 2093 9 0 2625734 0
[pid=3900/tid=3901] ppid=3898 vsize=10540000 CPUtime=0.09 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 11151 0 1 0 8 1 0 0 25 0 18 0 833416585 10792960000 12749 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540000
[startup+0.301011 s]
/proc/loadavg: 2.12 2.05 1.84 2/507 3900
/proc/meminfo: memFree=23522856/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10544512 CPUtime=0.48 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 16452 0 1 0 46 2 0 0 25 0 19 0 833416584 10797580288 15428 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2636128 15429 2208 9 0 2626862 0
[pid=3900/tid=3901] ppid=3898 vsize=10544512 CPUtime=0.28 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 12407 0 1 0 27 1 0 0 25 0 19 0 833416585 10797580288 15429 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505538579 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10544512
[startup+0.701012 s]
/proc/loadavg: 2.12 2.05 1.84 2/507 3900
/proc/meminfo: memFree=23522856/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10552776 CPUtime=1.38 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 44418 0 1 0 132 6 0 0 25 0 19 0 833416584 10806042624 40077 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2638194 40081 2219 9 0 2628928 0
[pid=3900/tid=3901] ppid=3898 vsize=10552776 CPUtime=0.67 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 32751 0 1 0 63 4 0 0 25 0 19 0 833416585 10806042624 40084 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505563121 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10552776
[startup+1.50087 s]
/proc/loadavg: 2.12 2.05 1.84 3/526 3919
/proc/meminfo: memFree=23283704/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10552776 CPUtime=2.25 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 101325 0 1 0 211 14 0 0 25 0 19 0 833416584 10806042624 96983 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2638194 96989 2221 9 0 2628928 0
[pid=3900/tid=3901] ppid=3898 vsize=10552776 CPUtime=1.48 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 89646 0 1 0 136 12 0 0 25 0 19 0 833416585 10806042624 96991 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505629480 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3900/tid=3903] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3903/stat : 3903 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 96994 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3904] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3904/stat : 3904 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 96997 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3905] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3905/stat : 3905 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 97000 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3906] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3906/stat : 3906 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 97003 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3907] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3907/stat : 3907 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 97006 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3908] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3908/stat : 3908 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 97010 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3909] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3909/stat : 3909 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 97013 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3910] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3910/stat : 3910 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 97016 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3911] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3911/stat : 3911 (java) S 3898 3900 3581 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833416588 10806042624 97019 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 0 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3912] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3912/stat : 3912 (java) S 3898 3900 3581 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833416589 10806042624 97022 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3913] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3913/stat : 3913 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416589 10806042624 97025 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3914] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3914/stat : 3914 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10806042624 97028 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216470961 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3915] ppid=3898 vsize=10552776 CPUtime=0.38 cores=0,2,4,6
/proc/3900/task/3915/stat : 3915 (java) S 3898 3900 3581 0 -1 4202560 5898 0 0 0 38 0 0 0 17 0 19 0 833416591 10806042624 97031 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3916] ppid=3898 vsize=10552776 CPUtime=0.37 cores=0,2,4,6
/proc/3900/task/3916/stat : 3916 (java) S 3898 3900 3581 0 -1 4202560 4628 0 0 0 36 1 0 0 15 0 19 0 833416591 10806042624 97033 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3917] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3917/stat : 3917 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10806042624 97036 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3918] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3918/stat : 3918 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833416591 10806042624 97039 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3919] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3919/stat : 3919 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416610 10806042624 97042 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10552776
[startup+3.1016 s]
/proc/loadavg: 2.12 2.05 1.84 3/526 3919
/proc/meminfo: memFree=22972340/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10552776 CPUtime=3.98 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 213236 0 1 0 370 28 0 0 25 0 19 0 833416584 10806042624 208892 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2638194 208894 2224 9 0 2628928 0
[pid=3900/tid=3901] ppid=3898 vsize=10552776 CPUtime=3.08 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 201516 0 1 0 283 25 0 0 18 0 19 0 833416585 10806042624 208895 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505629491 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3900/tid=3903] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3903/stat : 3903 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 208897 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3904] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3904/stat : 3904 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 208899 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3905] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3905/stat : 3905 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 208900 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3906] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3906/stat : 3906 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 208902 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3907] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3907/stat : 3907 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 208903 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3908] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3908/stat : 3908 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 208904 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3909] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3909/stat : 3909 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 208906 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3910] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3910/stat : 3910 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10806042624 208908 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3911] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3911/stat : 3911 (java) S 3898 3900 3581 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833416588 10806042624 208909 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 0 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3912] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3912/stat : 3912 (java) S 3898 3900 3581 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833416589 10806042624 208910 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3913] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3913/stat : 3913 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416589 10806042624 208912 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3914] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3914/stat : 3914 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10806042624 208913 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216470961 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3915] ppid=3898 vsize=10552776 CPUtime=0.47 cores=0,2,4,6
/proc/3900/task/3915/stat : 3915 (java) S 3898 3900 3581 0 -1 4202560 5932 0 0 0 47 0 0 0 15 0 19 0 833416591 10806042624 208914 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3916] ppid=3898 vsize=10552776 CPUtime=0.41 cores=0,2,4,6
/proc/3900/task/3916/stat : 3916 (java) S 3898 3900 3581 0 -1 4202560 4631 0 0 0 40 1 0 0 15 0 19 0 833416591 10806042624 208916 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3917] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3917/stat : 3917 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10806042624 208917 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3918] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3918/stat : 3918 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833416591 10806042624 208918 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3919] ppid=3898 vsize=10552776 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3919/stat : 3919 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416610 10806042624 208919 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10552776
[startup+6.30107 s]
/proc/loadavg: 2.11 2.05 1.84 3/526 3919
/proc/meminfo: memFree=22083256/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10549984 CPUtime=7.27 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 424728 0 1 0 674 53 0 0 25 0 19 0 833416584 10803183616 419715 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2637496 419718 2228 9 0 2628230 0
[pid=3900/tid=3901] ppid=3898 vsize=10549984 CPUtime=6.28 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 412996 0 1 0 578 50 0 0 21 0 19 0 833416585 10803183616 419719 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505629480 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3900/tid=3903] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3903/stat : 3903 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10803183616 419720 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3904] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3904/stat : 3904 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10803183616 419722 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3905] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3905/stat : 3905 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10803183616 419723 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3906] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3906/stat : 3906 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10803183616 419725 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3907] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3907/stat : 3907 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10803183616 419726 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3908] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3908/stat : 3908 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10803183616 419727 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3909] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3909/stat : 3909 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10803183616 419729 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3910] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3910/stat : 3910 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416587 10803183616 419730 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3911] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3911/stat : 3911 (java) S 3898 3900 3581 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833416588 10803183616 419732 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 0 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3912] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3912/stat : 3912 (java) S 3898 3900 3581 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833416589 10803183616 419733 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3913] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3913/stat : 3913 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416589 10803183616 419735 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3914] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3914/stat : 3914 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 419736 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216470961 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3915] ppid=3898 vsize=10549984 CPUtime=0.5 cores=0,2,4,6
/proc/3900/task/3915/stat : 3915 (java) S 3898 3900 3581 0 -1 4202560 5934 0 0 0 50 0 0 0 15 0 19 0 833416591 10803183616 419737 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3916] ppid=3898 vsize=10549984 CPUtime=0.46 cores=0,2,4,6
/proc/3900/task/3916/stat : 3916 (java) S 3898 3900 3581 0 -1 4202560 4641 0 0 0 45 1 0 0 15 0 19 0 833416591 10803183616 419738 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/3900/task/3913/stat : 3913 (java) S 3898 3900 3581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833416589 10803183616 1085388 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3914] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3914/stat : 3914 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 1085388 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216470961 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3915] ppid=3898 vsize=10549984 CPUtime=0.7 cores=0,2,4,6
/proc/3900/task/3915/stat : 3915 (java) S 3898 3900 3581 0 -1 4202560 5979 0 0 0 69 1 0 0 15 0 19 0 833416591 10803183616 1085388 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3916] ppid=3898 vsize=10549984 CPUtime=0.74 cores=0,2,4,6
/proc/3900/task/3916/stat : 3916 (java) S 3898 3900 3581 0 -1 4202560 4704 0 0 0 73 1 0 0 15 0 19 0 833416591 10803183616 1085388 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3917] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3917/stat : 3917 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 1085388 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3918] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3918/stat : 3918 (java) S 3898 3900 3581 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833416591 10803183616 1085388 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3919] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3919/stat : 3919 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416610 10803183616 1085388 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1670.15
Current children cumulated vsize (KiB) 10549984
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/526 4013
/proc/meminfo: memFree=17816080/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10549984 CPUtime=1730.4 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 1102100 0 1 0 172886 154 0 0 25 0 19 0 833416584 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2637496 1087500 2257 9 0 2628230 0
[pid=3900/tid=3901] ppid=3898 vsize=10549984 CPUtime=1717.51 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 790282 0 1 0 171653 98 0 0 25 0 19 0 833416585 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505587731 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3900/tid=3903] ppid=3898 vsize=10549984 CPUtime=1.34 cores=0,2,4,6
/proc/3900/task/3903/stat : 3903 (java) S 3898 3900 3581 0 -1 4202560 47731 0 0 0 127 7 0 0 15 0 19 0 833416587 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3904] ppid=3898 vsize=10549984 CPUtime=1.47 cores=0,2,4,6
/proc/3900/task/3904/stat : 3904 (java) S 3898 3900 3581 0 -1 4202560 46990 0 0 0 140 7 0 0 16 0 19 0 833416587 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3905] ppid=3898 vsize=10549984 CPUtime=1.06 cores=0,2,4,6
/proc/3900/task/3905/stat : 3905 (java) S 3898 3900 3581 0 -1 4202560 31594 0 0 0 101 5 0 0 15 0 19 0 833416587 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 4 0 0 0
[pid=3900/tid=3906] ppid=3898 vsize=10549984 CPUtime=1.22 cores=0,2,4,6
/proc/3900/task/3906/stat : 3906 (java) S 3898 3900 3581 0 -1 4202560 41358 0 0 0 116 6 0 0 16 0 19 0 833416587 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3907] ppid=3898 vsize=10549984 CPUtime=1.06 cores=0,2,4,6
/proc/3900/task/3907/stat : 3907 (java) S 3898 3900 3581 0 -1 4202560 26755 0 0 0 101 5 0 0 16 0 19 0 833416587 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3908] ppid=3898 vsize=10549984 CPUtime=1.16 cores=0,2,4,6
/proc/3900/task/3908/stat : 3908 (java) S 3898 3900 3581 0 -1 4202560 34998 0 0 0 111 5 0 0 15 0 19 0 833416587 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3909] ppid=3898 vsize=10549984 CPUtime=1.08 cores=0,2,4,6
/proc/3900/task/3909/stat : 3909 (java) S 3898 3900 3581 0 -1 4202560 34359 0 0 0 102 6 0 0 15 0 19 0 833416587 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 4 0 0 0
[pid=3900/tid=3910] ppid=3898 vsize=10549984 CPUtime=1.14 cores=0,2,4,6
/proc/3900/task/3910/stat : 3910 (java) S 3898 3900 3581 0 -1 4202560 33211 0 0 0 108 6 0 0 16 0 19 0 833416587 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3911] ppid=3898 vsize=10549984 CPUtime=1.8 cores=0,2,4,6
/proc/3900/task/3911/stat : 3911 (java) S 3898 3900 3581 0 -1 4202560 2889 0 0 0 179 1 0 0 15 0 19 0 833416588 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 0 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3912] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3912/stat : 3912 (java) S 3898 3900 3581 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833416589 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3913] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3913/stat : 3913 (java) S 3898 3900 3581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833416589 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3914] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3914/stat : 3914 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216470961 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3915] ppid=3898 vsize=10549984 CPUtime=0.7 cores=0,2,4,6
/proc/3900/task/3915/stat : 3915 (java) S 3898 3900 3581 0 -1 4202560 5980 0 0 0 69 1 0 0 15 0 19 0 833416591 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3916] ppid=3898 vsize=10549984 CPUtime=0.74 cores=0,2,4,6
/proc/3900/task/3916/stat : 3916 (java) S 3898 3900 3581 0 -1 4202560 4704 0 0 0 73 1 0 0 15 0 19 0 833416591 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3917] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3917/stat : 3917 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3918] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3918/stat : 3918 (java) S 3898 3900 3581 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833416591 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3919] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3919/stat : 3919 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416610 10803183616 1087500 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.4
Current children cumulated vsize (KiB) 10549984
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/526 4014
/proc/meminfo: memFree=17794112/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10549984 CPUtime=1790.78 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 1107495 0 1 0 178923 155 0 0 25 0 19 0 833416584 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2637496 1092785 2257 9 0 2628230 0
[pid=3900/tid=3901] ppid=3898 vsize=10549984 CPUtime=1777.37 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 790288 0 1 0 177639 98 0 0 25 0 19 0 833416585 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505599970 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3900/tid=3903] ppid=3898 vsize=10549984 CPUtime=1.37 cores=0,2,4,6
/proc/3900/task/3903/stat : 3903 (java) S 3898 3900 3581 0 -1 4202560 48576 0 0 0 130 7 0 0 15 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3904] ppid=3898 vsize=10549984 CPUtime=1.54 cores=0,2,4,6
/proc/3900/task/3904/stat : 3904 (java) S 3898 3900 3581 0 -1 4202560 47819 0 0 0 147 7 0 0 15 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3905] ppid=3898 vsize=10549984 CPUtime=1.13 cores=0,2,4,6
/proc/3900/task/3905/stat : 3905 (java) S 3898 3900 3581 0 -1 4202560 32211 0 0 0 108 5 0 0 16 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 4 0 0 0
[pid=3900/tid=3906] ppid=3898 vsize=10549984 CPUtime=1.34 cores=0,2,4,6
/proc/3900/task/3906/stat : 3906 (java) S 3898 3900 3581 0 -1 4202560 42489 0 0 0 127 7 0 0 16 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3907] ppid=3898 vsize=10549984 CPUtime=1.15 cores=0,2,4,6
/proc/3900/task/3907/stat : 3907 (java) S 3898 3900 3581 0 -1 4202560 27977 0 0 0 110 5 0 0 16 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3908] ppid=3898 vsize=10549984 CPUtime=1.24 cores=0,2,4,6
/proc/3900/task/3908/stat : 3908 (java) S 3898 3900 3581 0 -1 4202560 35254 0 0 0 119 5 0 0 16 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3909] ppid=3898 vsize=10549984 CPUtime=1.08 cores=0,2,4,6
/proc/3900/task/3909/stat : 3909 (java) S 3898 3900 3581 0 -1 4202560 34367 0 0 0 102 6 0 0 15 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 4 0 0 0
[pid=3900/tid=3910] ppid=3898 vsize=10549984 CPUtime=1.2 cores=0,2,4,6
/proc/3900/task/3910/stat : 3910 (java) S 3898 3900 3581 0 -1 4202560 33683 0 0 0 114 6 0 0 15 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 4 0 0 0
[pid=3900/tid=3911] ppid=3898 vsize=10549984 CPUtime=1.8 cores=0,2,4,6
/proc/3900/task/3911/stat : 3911 (java) S 3898 3900 3581 0 -1 4202560 2893 0 0 0 179 1 0 0 15 0 19 0 833416588 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 0 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3912] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3912/stat : 3912 (java) S 3898 3900 3581 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833416589 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3913] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3913/stat : 3913 (java) S 3898 3900 3581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833416589 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3914] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3914/stat : 3914 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216470961 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3915] ppid=3898 vsize=10549984 CPUtime=0.7 cores=0,2,4,6
/proc/3900/task/3915/stat : 3915 (java) S 3898 3900 3581 0 -1 4202560 5981 0 0 0 69 1 0 0 16 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3916] ppid=3898 vsize=10549984 CPUtime=0.74 cores=0,2,4,6
/proc/3900/task/3916/stat : 3916 (java) S 3898 3900 3581 0 -1 4202560 4704 0 0 0 73 1 0 0 16 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3917] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3917/stat : 3917 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3918] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3918/stat : 3918 (java) S 3898 3900 3581 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3919] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3919/stat : 3919 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416610 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.78
Current children cumulated vsize (KiB) 10549984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.6 s]
/proc/loadavg: 2.02 2.04 2.00 3/526 4015
/proc/meminfo: memFree=17794112/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=10549984 CPUtime=1800.09 cores=0,2,4,6
/proc/3900/stat : 3900 (java) S 3898 3900 3581 0 -1 4202496 1107495 0 1 0 179854 155 0 0 25 0 19 0 833416584 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 2637496 1092785 2257 9 0 2628230 0
[pid=3900/tid=3901] ppid=3898 vsize=10549984 CPUtime=1786.69 cores=0,2,4,6
/proc/3900/task/3901/stat : 3901 (java) R 3898 3900 3581 0 -1 4202560 790288 0 1 0 178571 98 0 0 25 0 19 0 833416585 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 46912505599904 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3900/tid=3903] ppid=3898 vsize=10549984 CPUtime=1.37 cores=0,2,4,6
/proc/3900/task/3903/stat : 3903 (java) S 3898 3900 3581 0 -1 4202560 48576 0 0 0 130 7 0 0 15 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3904] ppid=3898 vsize=10549984 CPUtime=1.54 cores=0,2,4,6
/proc/3900/task/3904/stat : 3904 (java) S 3898 3900 3581 0 -1 4202560 47819 0 0 0 147 7 0 0 15 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3905] ppid=3898 vsize=10549984 CPUtime=1.13 cores=0,2,4,6
/proc/3900/task/3905/stat : 3905 (java) S 3898 3900 3581 0 -1 4202560 32211 0 0 0 108 5 0 0 16 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 4 0 0 0
[pid=3900/tid=3906] ppid=3898 vsize=10549984 CPUtime=1.34 cores=0,2,4,6
/proc/3900/task/3906/stat : 3906 (java) S 3898 3900 3581 0 -1 4202560 42489 0 0 0 127 7 0 0 16 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3907] ppid=3898 vsize=10549984 CPUtime=1.15 cores=0,2,4,6
/proc/3900/task/3907/stat : 3907 (java) S 3898 3900 3581 0 -1 4202560 27977 0 0 0 110 5 0 0 16 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3908] ppid=3898 vsize=10549984 CPUtime=1.24 cores=0,2,4,6
/proc/3900/task/3908/stat : 3908 (java) S 3898 3900 3581 0 -1 4202560 35254 0 0 0 119 5 0 0 16 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3909] ppid=3898 vsize=10549984 CPUtime=1.08 cores=0,2,4,6
/proc/3900/task/3909/stat : 3909 (java) S 3898 3900 3581 0 -1 4202560 34367 0 0 0 102 6 0 0 15 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 4 0 0 0
[pid=3900/tid=3910] ppid=3898 vsize=10549984 CPUtime=1.2 cores=0,2,4,6
/proc/3900/task/3910/stat : 3910 (java) S 3898 3900 3581 0 -1 4202560 33683 0 0 0 114 6 0 0 15 0 19 0 833416587 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 4 0 0 0
[pid=3900/tid=3911] ppid=3898 vsize=10549984 CPUtime=1.8 cores=0,2,4,6
/proc/3900/task/3911/stat : 3911 (java) S 3898 3900 3581 0 -1 4202560 2893 0 0 0 179 1 0 0 15 0 19 0 833416588 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 0 0 16800975 18446604444563631040 0 0 -1 0 0 0 0
[pid=3900/tid=3912] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3912/stat : 3912 (java) S 3898 3900 3581 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833416589 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3913] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3913/stat : 3913 (java) S 3898 3900 3581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833416589 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3914] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3914/stat : 3914 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216470961 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3915] ppid=3898 vsize=10549984 CPUtime=0.7 cores=0,2,4,6
/proc/3900/task/3915/stat : 3915 (java) S 3898 3900 3581 0 -1 4202560 5981 0 0 0 69 1 0 0 16 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3916] ppid=3898 vsize=10549984 CPUtime=0.74 cores=0,2,4,6
/proc/3900/task/3916/stat : 3916 (java) S 3898 3900 3581 0 -1 4202560 4704 0 0 0 73 1 0 0 16 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3917] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3917/stat : 3917 (java) S 3898 3900 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463257 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
[pid=3900/tid=3918] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3918/stat : 3918 (java) S 3898 3900 3581 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833416591 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 2 0 0 0
[pid=3900/tid=3919] ppid=3898 vsize=10549984 CPUtime=0 cores=0,2,4,6
/proc/3900/task/3919/stat : 3919 (java) S 3898 3900 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833416610 10803183616 1092785 33554432000 1073741824 1073778376 140736549392944 18446744073709551615 210216463872 0 4 0 16800975 18446604444563631040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10549984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.8 s]
/proc/loadavg: 2.02 2.04 2.00 3/510 4018
/proc/meminfo: memFree=21271732/32951124 swapFree=63649284/67111528
[pid=3900] ppid=3898 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/3900/stat : 3900 (java) Z 3898 3900 3581 0 -1 4203548 1107535 0 1 0 179862 170 0 0 17 0 2 0 833416584 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3900/statm: 0 0 0 0 0 0 0
[pid=3900/tid=3910] ppid=3898 vsize=0 CPUtime=1.36 cores=0,2,4,6
/proc/3900/task/3910/stat : 3910 (java) R 3898 3900 3581 0 -1 4203588 33683 0 0 0 114 22 0 0 16 0 2 0 833416587 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.84
CPU time (s): 1800.36
CPU user time (s): 1798.62
CPU system time (s): 1.73474
CPU usage (%): 100.475
Max. virtual memory (cumulated for all children) (KiB): 10552776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.73474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1107535
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= 39300
involuntary context switches= 18883
runsolver used 9.71952 second user time and 19.658 second system time
The end