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-3456650-1307222674/watcher-3456650-1307222674 -o /tmp/evaluation-result-3456650-1307222674/solver-3456650-1307222674 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456650-1307222674.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.00 2.00 2.00 2/452 12219
/proc/meminfo: memFree=8885332/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=26140 CPUtime=0 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 1155 0 0 0 0 0 0 0 25 0 2 0 833867069 26767360 890 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 6522 891 676 9 0 381 0
[pid=12219/tid=12220] ppid=12217 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 3726 0 1 0 0 0 0 0 25 0 2 0 833867070 10694979584 4542 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.055934 s]
/proc/loadavg: 2.00 2.00 2.00 2/452 12219
/proc/meminfo: memFree=8885332/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10533152 CPUtime=0.04 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 11487 0 1 0 3 1 0 0 25 0 13 0 833867069 10785947648 11183 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2633288 11183 1685 9 0 2624036 0
[pid=12219/tid=12220] ppid=12217 vsize=10533152 CPUtime=0.04 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 10338 0 1 0 3 1 0 0 25 0 13 0 833867070 10785947648 11183 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 47472865278494 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533152
[startup+0.100937 s]
/proc/loadavg: 2.00 2.00 2.00 2/452 12219
/proc/meminfo: memFree=8885332/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10540132 CPUtime=0.1 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 13045 0 1 0 9 1 0 0 25 0 18 0 833867069 10793095168 12723 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2635033 12725 2093 9 0 2625767 0
[pid=12219/tid=12220] ppid=12217 vsize=10540132 CPUtime=0.08 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 11103 0 1 0 7 1 0 0 18 0 18 0 833867070 10793095168 12725 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 47472865765894 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540132
[startup+0.306842 s]
/proc/loadavg: 2.00 2.00 2.00 2/452 12219
/proc/meminfo: memFree=8885332/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10552704 CPUtime=0.6 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 22034 0 1 0 57 3 0 0 25 0 18 0 833867069 10805968896 19918 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2638176 19919 2202 9 0 2628910 0
[pid=12219/tid=12220] ppid=12217 vsize=10552704 CPUtime=0.29 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 13501 0 1 0 28 1 0 0 18 0 18 0 833867070 10805968896 19919 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 46912505586827 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10552704
[startup+0.700801 s]
/proc/loadavg: 2.00 2.00 2.00 2/452 12219
/proc/meminfo: memFree=8885332/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10548372 CPUtime=1.23 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 52441 0 1 0 117 6 0 0 25 0 18 0 833867069 10801532928 49283 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2637093 49286 2213 9 0 2627827 0
[pid=12219/tid=12220] ppid=12217 vsize=10548372 CPUtime=0.68 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 43467 0 1 0 64 4 0 0 18 0 18 0 833867070 10801532928 49289 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 46912505534070 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10548372
[startup+1.50067 s]
/proc/loadavg: 2.00 2.00 2.00 5/470 12237
/proc/meminfo: memFree=8579660/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10548372 CPUtime=2.32 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 134952 0 1 0 216 16 0 0 25 0 18 0 833867069 10801532928 129870 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2637093 129875 2217 9 0 2627827 0
[pid=12219/tid=12220] ppid=12217 vsize=10548372 CPUtime=1.47 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 123935 0 1 0 133 14 0 0 20 0 18 0 833867070 10801532928 129877 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12219/tid=12222] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12222/stat : 12222 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867072 10801532928 129877 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12223] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12223/stat : 12223 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867072 10801532928 129880 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12224] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12224/stat : 12224 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867072 10801532928 129882 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12225] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12225/stat : 12225 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867072 10801532928 129885 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12226] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12226/stat : 12226 (java) S 12217 12219 11532 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 833867072 10801532928 129888 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12227] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12227/stat : 12227 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867072 10801532928 129891 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12228] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12228/stat : 12228 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867072 10801532928 129893 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12229] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12229/stat : 12229 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867072 10801532928 129896 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12230] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12230/stat : 12230 (java) S 12217 12219 11532 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833867073 10801532928 129899 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 0 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12231] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12231/stat : 12231 (java) S 12217 12219 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833867073 10801532928 129902 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12232] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12232/stat : 12232 (java) S 12217 12219 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833867073 10801532928 129904 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12233] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12233/stat : 12233 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867075 10801532928 129907 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676631985 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12234] ppid=12217 vsize=10548372 CPUtime=0.44 cores=0,2,4,6
/proc/12219/task/12234/stat : 12234 (java) S 12217 12219 11532 0 -1 4202560 4971 0 0 0 44 0 0 0 15 0 18 0 833867075 10801532928 129909 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12235] ppid=12217 vsize=10548372 CPUtime=0.38 cores=0,2,4,6
/proc/12219/task/12235/stat : 12235 (java) S 12217 12219 11532 0 -1 4202560 4901 0 0 0 37 1 0 0 16 0 18 0 833867075 10801532928 129912 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12236] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12236/stat : 12236 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833867075 10801532928 129915 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12237] ppid=12217 vsize=10548372 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12237/stat : 12237 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833867075 10801532928 129918 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10548372
[startup+3.10135 s]
/proc/loadavg: 2.00 2.00 2.00 3/471 12238
/proc/meminfo: memFree=8220176/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10549400 CPUtime=4.24 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 223335 0 1 0 397 27 0 0 25 0 19 0 833867069 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2637350 215757 2234 9 0 2628084 0
[pid=12219/tid=12220] ppid=12217 vsize=10549400 CPUtime=3.07 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 209497 0 1 0 283 24 0 0 18 0 19 0 833867070 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 46912505972604 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=12219/tid=12222] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12222/stat : 12222 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12223] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12223/stat : 12223 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12224] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12224/stat : 12224 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12225] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12225/stat : 12225 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12226] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12226/stat : 12226 (java) S 12217 12219 11532 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12227] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12227/stat : 12227 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12228] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12228/stat : 12228 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12229] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12229/stat : 12229 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12230] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12230/stat : 12230 (java) S 12217 12219 11532 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833867073 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 0 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12231] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12231/stat : 12231 (java) S 12217 12219 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833867073 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12232] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12232/stat : 12232 (java) S 12217 12219 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833867073 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12233] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12233/stat : 12233 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676631985 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12234] ppid=12217 vsize=10549400 CPUtime=0.51 cores=0,2,4,6
/proc/12219/task/12234/stat : 12234 (java) S 12217 12219 11532 0 -1 4202560 4985 0 0 0 51 0 0 0 15 0 19 0 833867075 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12235] ppid=12217 vsize=10549400 CPUtime=0.64 cores=0,2,4,6
/proc/12219/task/12235/stat : 12235 (java) S 12217 12219 11532 0 -1 4202560 7691 0 0 0 62 2 0 0 15 0 19 0 833867075 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12236] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12236/stat : 12236 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12237] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12237/stat : 12237 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833867075 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12238] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12238/stat : 12238 (java) S 12217 12219 11532 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833867252 10802585600 215757 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 10549400
[startup+6.30081 s]
/proc/loadavg: 2.08 2.02 2.01 3/471 12238
/proc/meminfo: memFree=7628812/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10549400 CPUtime=7.81 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 361723 0 1 0 738 43 0 0 25 0 19 0 833867069 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2637350 353629 2239 9 0 2628084 0
[pid=12219/tid=12220] ppid=12217 vsize=10549400 CPUtime=6.24 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 346599 0 1 0 586 38 0 0 25 0 19 0 833867070 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 46912505922837 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=12219/tid=12222] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12222/stat : 12222 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12223] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12223/stat : 12223 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12224] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12224/stat : 12224 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12225] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12225/stat : 12225 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12226] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12226/stat : 12226 (java) S 12217 12219 11532 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12227] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12227/stat : 12227 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12228] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12228/stat : 12228 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12229] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12229/stat : 12229 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867072 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12230] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12230/stat : 12230 (java) R 12217 12219 11532 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833867073 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 47472869073590 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=12219/tid=12231] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12231/stat : 12231 (java) S 12217 12219 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833867073 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12232] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12232/stat : 12232 (java) S 12217 12219 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833867073 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12233] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12233/stat : 12233 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676631985 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12234] ppid=12217 vsize=10549400 CPUtime=0.67 cores=0,2,4,6
/proc/12219/task/12234/stat : 12234 (java) S 12217 12219 11532 0 -1 4202560 5008 0 0 0 67 0 0 0 15 0 19 0 833867075 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12235] ppid=12217 vsize=10549400 CPUtime=0.85 cores=0,2,4,6
/proc/12219/task/12235/stat : 12235 (java) S 12217 12219 11532 0 -1 4202560 8953 0 0 0 83 2 0 0 16 0 19 0 833867075 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12236] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12236/stat : 12236 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 353629 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/12219/task/12232/stat : 12232 (java) S 12217 12219 11532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833867073 10802585600 927966 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12233] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12233/stat : 12233 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 927966 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676631985 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12234] ppid=12217 vsize=10549400 CPUtime=0.77 cores=0,2,4,6
/proc/12219/task/12234/stat : 12234 (java) S 12217 12219 11532 0 -1 4202560 5029 0 0 0 77 0 0 0 16 0 19 0 833867075 10802585600 927966 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12235] ppid=12217 vsize=10549400 CPUtime=1.05 cores=0,2,4,6
/proc/12219/task/12235/stat : 12235 (java) S 12217 12219 11532 0 -1 4202560 9484 0 0 0 103 2 0 0 15 0 19 0 833867075 10802585600 927966 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12236] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12236/stat : 12236 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 927966 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12237] ppid=12217 vsize=10549400 CPUtime=0.01 cores=0,2,4,6
/proc/12219/task/12237/stat : 12237 (java) S 12217 12219 11532 0 -1 4202560 96 0 0 0 0 1 0 0 15 0 19 0 833867075 10802585600 927966 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12238] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12238/stat : 12238 (java) S 12217 12219 11532 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833867252 10802585600 927966 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1669.53
Current children cumulated vsize (KiB) 10549400
[startup+1722.3 s]
/proc/loadavg: 2.08 2.09 2.03 3/471 12332
/proc/meminfo: memFree=4792248/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10549400 CPUtime=1729.75 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 938898 0 1 0 172849 126 0 0 25 0 19 0 833867069 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2637350 928741 2268 9 0 2628084 0
[pid=12219/tid=12220] ppid=12217 vsize=10549400 CPUtime=1717.51 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 780913 0 1 0 171655 96 0 0 25 0 19 0 833867070 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 46912505566238 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12219/tid=12222] ppid=12217 vsize=10549400 CPUtime=1.06 cores=0,2,4,6
/proc/12219/task/12222/stat : 12222 (java) S 12217 12219 11532 0 -1 4202560 22594 0 0 0 103 3 0 0 16 0 19 0 833867072 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12223] ppid=12217 vsize=10549400 CPUtime=0.94 cores=0,2,4,6
/proc/12219/task/12223/stat : 12223 (java) S 12217 12219 11532 0 -1 4202560 13637 0 0 0 91 3 0 0 16 0 19 0 833867072 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12224] ppid=12217 vsize=10549400 CPUtime=0.97 cores=0,2,4,6
/proc/12219/task/12224/stat : 12224 (java) S 12217 12219 11532 0 -1 4202560 18638 0 0 0 94 3 0 0 16 0 19 0 833867072 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12225] ppid=12217 vsize=10549400 CPUtime=0.89 cores=0,2,4,6
/proc/12219/task/12225/stat : 12225 (java) S 12217 12219 11532 0 -1 4202560 7168 0 0 0 89 0 0 0 15 0 19 0 833867072 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12226] ppid=12217 vsize=10549400 CPUtime=0.93 cores=0,2,4,6
/proc/12219/task/12226/stat : 12226 (java) S 12217 12219 11532 0 -1 4202560 11713 0 0 0 91 2 0 0 15 0 19 0 833867072 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12227] ppid=12217 vsize=10549400 CPUtime=1.14 cores=0,2,4,6
/proc/12219/task/12227/stat : 12227 (java) S 12217 12219 11532 0 -1 4202560 19812 0 0 0 112 2 0 0 16 0 19 0 833867072 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12228] ppid=12217 vsize=10549400 CPUtime=1.1 cores=0,2,4,6
/proc/12219/task/12228/stat : 12228 (java) S 12217 12219 11532 0 -1 4202560 17850 0 0 0 108 2 0 0 16 0 19 0 833867072 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12229] ppid=12217 vsize=10549400 CPUtime=1.18 cores=0,2,4,6
/proc/12219/task/12229/stat : 12229 (java) S 12217 12219 11532 0 -1 4202560 23043 0 0 0 115 3 0 0 16 0 19 0 833867072 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12230] ppid=12217 vsize=10549400 CPUtime=2.07 cores=0,2,4,6
/proc/12219/task/12230/stat : 12230 (java) S 12217 12219 11532 0 -1 4202560 7766 0 0 0 205 2 0 0 15 0 19 0 833867073 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 0 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12231] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12231/stat : 12231 (java) S 12217 12219 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833867073 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12232] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12232/stat : 12232 (java) S 12217 12219 11532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833867073 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12233] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12233/stat : 12233 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676631985 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12234] ppid=12217 vsize=10549400 CPUtime=0.77 cores=0,2,4,6
/proc/12219/task/12234/stat : 12234 (java) S 12217 12219 11532 0 -1 4202560 5029 0 0 0 77 0 0 0 16 0 19 0 833867075 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12235] ppid=12217 vsize=10549400 CPUtime=1.05 cores=0,2,4,6
/proc/12219/task/12235/stat : 12235 (java) S 12217 12219 11532 0 -1 4202560 9484 0 0 0 103 2 0 0 15 0 19 0 833867075 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12236] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12236/stat : 12236 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12237] ppid=12217 vsize=10549400 CPUtime=0.01 cores=0,2,4,6
/proc/12219/task/12237/stat : 12237 (java) S 12217 12219 11532 0 -1 4202560 100 0 0 0 0 1 0 0 15 0 19 0 833867075 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12238] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12238/stat : 12238 (java) S 12217 12219 11532 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833867252 10802585600 928741 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1729.75
Current children cumulated vsize (KiB) 10549400
[startup+1782.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/471 12333
/proc/meminfo: memFree=4787504/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10549400 CPUtime=1789.89 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 939259 0 1 0 178863 126 0 0 25 0 19 0 833867069 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2637350 929093 2268 9 0 2628084 0
[pid=12219/tid=12220] ppid=12217 vsize=10549400 CPUtime=1777.45 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 780915 0 1 0 177649 96 0 0 25 0 19 0 833867070 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 46912505972744 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12219/tid=12222] ppid=12217 vsize=10549400 CPUtime=1.09 cores=0,2,4,6
/proc/12219/task/12222/stat : 12222 (java) S 12217 12219 11532 0 -1 4202560 22605 0 0 0 106 3 0 0 16 0 19 0 833867072 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12223] ppid=12217 vsize=10549400 CPUtime=0.97 cores=0,2,4,6
/proc/12219/task/12223/stat : 12223 (java) S 12217 12219 11532 0 -1 4202560 13674 0 0 0 94 3 0 0 15 0 19 0 833867072 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12224] ppid=12217 vsize=10549400 CPUtime=0.98 cores=0,2,4,6
/proc/12219/task/12224/stat : 12224 (java) S 12217 12219 11532 0 -1 4202560 18639 0 0 0 95 3 0 0 15 0 19 0 833867072 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12225] ppid=12217 vsize=10549400 CPUtime=0.94 cores=0,2,4,6
/proc/12219/task/12225/stat : 12225 (java) S 12217 12219 11532 0 -1 4202560 7310 0 0 0 94 0 0 0 16 0 19 0 833867072 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12226] ppid=12217 vsize=10549400 CPUtime=0.96 cores=0,2,4,6
/proc/12219/task/12226/stat : 12226 (java) S 12217 12219 11532 0 -1 4202560 11849 0 0 0 94 2 0 0 16 0 19 0 833867072 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12227] ppid=12217 vsize=10549400 CPUtime=1.17 cores=0,2,4,6
/proc/12219/task/12227/stat : 12227 (java) S 12217 12219 11532 0 -1 4202560 19832 0 0 0 115 2 0 0 15 0 19 0 833867072 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12228] ppid=12217 vsize=10549400 CPUtime=1.13 cores=0,2,4,6
/proc/12219/task/12228/stat : 12228 (java) S 12217 12219 11532 0 -1 4202560 17856 0 0 0 111 2 0 0 16 0 19 0 833867072 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12229] ppid=12217 vsize=10549400 CPUtime=1.18 cores=0,2,4,6
/proc/12219/task/12229/stat : 12229 (java) S 12217 12219 11532 0 -1 4202560 23043 0 0 0 115 3 0 0 15 0 19 0 833867072 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 6 0 0 0
[pid=12219/tid=12230] ppid=12217 vsize=10549400 CPUtime=2.07 cores=0,2,4,6
/proc/12219/task/12230/stat : 12230 (java) S 12217 12219 11532 0 -1 4202560 7768 0 0 0 205 2 0 0 15 0 19 0 833867073 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 0 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12231] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12231/stat : 12231 (java) S 12217 12219 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833867073 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12232] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12232/stat : 12232 (java) S 12217 12219 11532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833867073 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12233] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12233/stat : 12233 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676631985 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12234] ppid=12217 vsize=10549400 CPUtime=0.77 cores=0,2,4,6
/proc/12219/task/12234/stat : 12234 (java) S 12217 12219 11532 0 -1 4202560 5029 0 0 0 77 0 0 0 16 0 19 0 833867075 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12235] ppid=12217 vsize=10549400 CPUtime=1.05 cores=0,2,4,6
/proc/12219/task/12235/stat : 12235 (java) S 12217 12219 11532 0 -1 4202560 9484 0 0 0 103 2 0 0 15 0 19 0 833867075 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12236] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12236/stat : 12236 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12237] ppid=12217 vsize=10549400 CPUtime=0.01 cores=0,2,4,6
/proc/12219/task/12237/stat : 12237 (java) S 12217 12219 11532 0 -1 4202560 104 0 0 0 0 1 0 0 15 0 19 0 833867075 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12238] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12238/stat : 12238 (java) S 12217 12219 11532 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833867252 10802585600 929093 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1789.89
Current children cumulated vsize (KiB) 10549400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.4 s]
/proc/loadavg: 2.02 2.07 2.02 3/471 12334
/proc/meminfo: memFree=4786768/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=10549400 CPUtime=1800.07 cores=0,2,4,6
/proc/12219/stat : 12219 (java) S 12217 12219 11532 0 -1 4202496 939598 0 1 0 179881 126 0 0 25 0 19 0 833867069 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 2637350 929428 2268 9 0 2628084 0
[pid=12219/tid=12220] ppid=12217 vsize=10549400 CPUtime=1787.53 cores=0,2,4,6
/proc/12219/task/12220/stat : 12220 (java) R 12217 12219 11532 0 -1 4202560 780916 0 1 0 178657 96 0 0 25 0 19 0 833867070 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 46912506277669 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12219/tid=12222] ppid=12217 vsize=10549400 CPUtime=1.1 cores=0,2,4,6
/proc/12219/task/12222/stat : 12222 (java) S 12217 12219 11532 0 -1 4202560 22619 0 0 0 107 3 0 0 16 0 19 0 833867072 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12223] ppid=12217 vsize=10549400 CPUtime=0.97 cores=0,2,4,6
/proc/12219/task/12223/stat : 12223 (java) S 12217 12219 11532 0 -1 4202560 13674 0 0 0 94 3 0 0 15 0 19 0 833867072 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12224] ppid=12217 vsize=10549400 CPUtime=0.98 cores=0,2,4,6
/proc/12219/task/12224/stat : 12224 (java) S 12217 12219 11532 0 -1 4202560 18639 0 0 0 95 3 0 0 15 0 19 0 833867072 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12225] ppid=12217 vsize=10549400 CPUtime=0.94 cores=0,2,4,6
/proc/12219/task/12225/stat : 12225 (java) S 12217 12219 11532 0 -1 4202560 7310 0 0 0 94 0 0 0 15 0 19 0 833867072 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12226] ppid=12217 vsize=10549400 CPUtime=0.99 cores=0,2,4,6
/proc/12219/task/12226/stat : 12226 (java) S 12217 12219 11532 0 -1 4202560 11946 0 0 0 97 2 0 0 16 0 19 0 833867072 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12227] ppid=12217 vsize=10549400 CPUtime=1.2 cores=0,2,4,6
/proc/12219/task/12227/stat : 12227 (java) S 12217 12219 11532 0 -1 4202560 19976 0 0 0 118 2 0 0 16 0 19 0 833867072 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12228] ppid=12217 vsize=10549400 CPUtime=1.13 cores=0,2,4,6
/proc/12219/task/12228/stat : 12228 (java) S 12217 12219 11532 0 -1 4202560 17856 0 0 0 111 2 0 0 15 0 19 0 833867072 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12229] ppid=12217 vsize=10549400 CPUtime=1.21 cores=0,2,4,6
/proc/12219/task/12229/stat : 12229 (java) S 12217 12219 11532 0 -1 4202560 23124 0 0 0 117 4 0 0 16 0 19 0 833867072 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12230] ppid=12217 vsize=10549400 CPUtime=2.07 cores=0,2,4,6
/proc/12219/task/12230/stat : 12230 (java) S 12217 12219 11532 0 -1 4202560 7770 0 0 0 205 2 0 0 15 0 19 0 833867073 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 0 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12231] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12231/stat : 12231 (java) S 12217 12219 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833867073 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12232] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12232/stat : 12232 (java) S 12217 12219 11532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833867073 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12233] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12233/stat : 12233 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676631985 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12234] ppid=12217 vsize=10549400 CPUtime=0.77 cores=0,2,4,6
/proc/12219/task/12234/stat : 12234 (java) S 12217 12219 11532 0 -1 4202560 5029 0 0 0 77 0 0 0 16 0 19 0 833867075 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
[pid=12219/tid=12235] ppid=12217 vsize=10549400 CPUtime=1.05 cores=0,2,4,6
/proc/12219/task/12235/stat : 12235 (java) S 12217 12219 11532 0 -1 4202560 9484 0 0 0 103 2 0 0 15 0 19 0 833867075 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 2 0 0 0
[pid=12219/tid=12236] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12236/stat : 12236 (java) S 12217 12219 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833867075 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624281 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12237] ppid=12217 vsize=10549400 CPUtime=0.01 cores=0,2,4,6
/proc/12219/task/12237/stat : 12237 (java) S 12217 12219 11532 0 -1 4202560 104 0 0 0 0 1 0 0 15 0 19 0 833867075 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 4 0 0 0
[pid=12219/tid=12238] ppid=12217 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/12219/task/12238/stat : 12238 (java) S 12217 12219 11532 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833867252 10802585600 929428 33554432000 1073741824 1073778376 140736028933888 18446744073709551615 274676624896 0 4 0 16800975 18446604443440572224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10549400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.52 s]
/proc/loadavg: 2.02 2.07 2.02 3/471 12334
/proc/meminfo: memFree=4786768/32951132 swapFree=67093840/67111528
[pid=12219] ppid=12217 vsize=0 CPUtime=1800.21 cores=0,2,4,6
/proc/12219/stat : 12219 (java) Z 12217 12219 11532 0 -1 4203548 939629 0 1 0 179888 133 0 0 17 0 2 0 833867069 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12219/statm: 0 0 0 0 0 0 0
[pid=12219/tid=12236] ppid=12217 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/12219/task/12236/stat : 12236 (java) R 12217 12219 11532 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 833867075 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.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.59
CPU time (s): 1800.29
CPU user time (s): 1798.89
CPU system time (s): 1.40179
CPU usage (%): 100.43
Max. virtual memory (cumulated for all children) (KiB): 10552844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.40179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 939629
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= 39011
involuntary context switches= 12936
runsolver used 8.63169 second user time and 17.8653 second system time
The end