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-3456913-1307202307/watcher-3456913-1307202307 -o /tmp/evaluation-result-3456913-1307202307/solver-3456913-1307202307 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456913-1307202307.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: 1.11 1.04 0.91 1/409 12353
/proc/meminfo: memFree=26007656/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 1324 0 0 0 0 0 0 0 25 0 2 0 287840115 36679680 1026 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 8955 1035 798 9 0 386 0
[pid=12353/tid=12354] ppid=12351 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 2609 0 1 0 0 0 0 0 25 0 2 0 287840116 10694979584 3425 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.101099 s]
/proc/loadavg: 1.11 1.04 0.91 1/409 12353
/proc/meminfo: memFree=26007656/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10539848 CPUtime=0.1 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 13052 0 1 0 9 1 0 0 25 0 18 0 287840115 10792804352 12727 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2634962 12727 2092 9 0 2625696 0
[pid=12353/tid=12354] ppid=12351 vsize=10539848 CPUtime=0.08 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 11102 0 1 0 7 1 0 0 18 0 18 0 287840116 10792804352 12727 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218880250176 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539848
[startup+0.201133 s]
/proc/loadavg: 1.11 1.04 0.91 1/409 12353
/proc/meminfo: memFree=26007656/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10541288 CPUtime=0.25 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 14016 0 1 0 24 1 0 0 25 0 19 0 287840115 10794278912 13654 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2635322 13655 2186 9 0 2626056 0
[pid=12353/tid=12354] ppid=12351 vsize=10541288 CPUtime=0.18 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 11791 0 1 0 17 1 0 0 19 0 19 0 287840116 10794278912 13655 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10541288
[startup+0.306899 s]
/proc/loadavg: 1.11 1.04 0.91 1/409 12353
/proc/meminfo: memFree=26007656/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10557632 CPUtime=1.24 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 40467 0 1 0 119 5 0 0 25 0 19 0 287840115 10811015168 37593 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2639408 37593 2215 9 0 2630142 0
[pid=12353/tid=12354] ppid=12351 vsize=10557632 CPUtime=0.53 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 28894 0 1 0 50 3 0 0 18 0 19 0 287840116 10811015168 37594 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 10557632
[startup+0.701048 s]
/proc/loadavg: 1.11 1.04 0.91 1/409 12353
/proc/meminfo: memFree=26007656/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10557632 CPUtime=1.65 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 51271 0 1 0 159 6 0 0 25 0 19 0 287840115 10811015168 48397 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2639408 48399 2219 9 0 2630142 0
[pid=12353/tid=12354] ppid=12351 vsize=10557632 CPUtime=0.67 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 39657 0 1 0 63 4 0 0 18 0 19 0 287840116 10811015168 48400 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505587030 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10557632
[startup+1.50091 s]
/proc/loadavg: 1.26 1.07 0.93 2/428 12372
/proc/meminfo: memFree=25561052/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10557632 CPUtime=2.77 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 136880 0 1 0 262 15 0 0 25 0 19 0 287840115 10811015168 134005 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2639408 134007 2225 9 0 2630142 0
[pid=12353/tid=12354] ppid=12351 vsize=10557632 CPUtime=1.47 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 125226 0 1 0 134 13 0 0 18 0 19 0 287840116 10811015168 134008 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505540074 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12353/tid=12356] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12356/stat : 12356 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 134009 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12357] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12357/stat : 12357 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 134010 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12358] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12358/stat : 12358 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 134011 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12359] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12359/stat : 12359 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 134013 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12360] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12360/stat : 12360 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 134014 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12361] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12361/stat : 12361 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 134015 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12362] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12362/stat : 12362 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 134016 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12363] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12363/stat : 12363 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 134017 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12364] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12364/stat : 12364 (java) S 12351 12353 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 287840119 10811015168 134018 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12365] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12365/stat : 12365 (java) S 12351 12353 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 287840119 10811015168 134019 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12366] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12366/stat : 12366 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 287840119 10811015168 134020 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12367] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12367/stat : 12367 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 134022 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12368] ppid=12351 vsize=10557632 CPUtime=0.61 cores=0,2,4,6
/proc/12353/task/12368/stat : 12368 (java) S 12351 12353 12126 0 -1 4202560 5873 0 0 0 60 1 0 0 15 0 19 0 287840121 10811015168 134023 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12369] ppid=12351 vsize=10557632 CPUtime=0.67 cores=0,2,4,6
/proc/12353/task/12369/stat : 12369 (java) S 12351 12353 12126 0 -1 4202560 4624 0 0 0 67 0 0 0 15 0 19 0 287840121 10811015168 134024 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12370] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12370/stat : 12370 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 134025 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12371] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12371/stat : 12371 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 287840121 10811015168 134027 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12372] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12372/stat : 12372 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 287840132 10811015168 134028 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 10557632
[startup+3.10163 s]
/proc/loadavg: 1.26 1.07 0.93 2/428 12372
/proc/meminfo: memFree=25238652/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10557632 CPUtime=4.39 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 242236 0 1 0 412 27 0 0 25 0 19 0 287840115 10811015168 239360 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2639408 239364 2225 9 0 2630142 0
[pid=12353/tid=12354] ppid=12351 vsize=10557632 CPUtime=3.07 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 230585 0 1 0 282 25 0 0 19 0 19 0 287840116 10811015168 239366 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505540074 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12353/tid=12356] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12356/stat : 12356 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 239369 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12357] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12357/stat : 12357 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 239372 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12358] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12358/stat : 12358 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 239374 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12359] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12359/stat : 12359 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 239377 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12360] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12360/stat : 12360 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 239380 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12361] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12361/stat : 12361 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 239383 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12362] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12362/stat : 12362 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 239387 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12363] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12363/stat : 12363 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 239391 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12364] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12364/stat : 12364 (java) S 12351 12353 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 287840119 10811015168 239393 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12365] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12365/stat : 12365 (java) S 12351 12353 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 287840119 10811015168 239396 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12366] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12366/stat : 12366 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 287840119 10811015168 239398 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12367] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12367/stat : 12367 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 239400 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12368] ppid=12351 vsize=10557632 CPUtime=0.61 cores=0,2,4,6
/proc/12353/task/12368/stat : 12368 (java) S 12351 12353 12126 0 -1 4202560 5873 0 0 0 60 1 0 0 16 0 19 0 287840121 10811015168 239404 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12369] ppid=12351 vsize=10557632 CPUtime=0.68 cores=0,2,4,6
/proc/12353/task/12369/stat : 12369 (java) S 12351 12353 12126 0 -1 4202560 4624 0 0 0 68 0 0 0 15 0 19 0 287840121 10811015168 239406 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12370] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12370/stat : 12370 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 239408 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12371] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12371/stat : 12371 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 287840121 10811015168 239411 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12372] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12372/stat : 12372 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 287840132 10811015168 239414 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10557632
[startup+6.30105 s]
/proc/loadavg: 1.26 1.07 0.93 2/428 12372
/proc/meminfo: memFree=24468868/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10557632 CPUtime=7.59 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 406769 0 1 0 715 44 0 0 25 0 19 0 287840115 10811015168 403555 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2639408 403558 2226 9 0 2630142 0
[pid=12353/tid=12354] ppid=12351 vsize=10557632 CPUtime=6.28 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 395116 0 1 0 586 42 0 0 21 0 19 0 287840116 10811015168 403559 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12353/tid=12356] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12356/stat : 12356 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 403563 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12357] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12357/stat : 12357 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 403565 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12358] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12358/stat : 12358 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 403568 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12359] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12359/stat : 12359 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 403571 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12360] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12360/stat : 12360 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 403572 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12361] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12361/stat : 12361 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 403575 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12362] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12362/stat : 12362 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 403577 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12363] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12363/stat : 12363 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840118 10811015168 403581 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12364] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12364/stat : 12364 (java) S 12351 12353 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 287840119 10811015168 403583 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12365] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12365/stat : 12365 (java) S 12351 12353 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 287840119 10811015168 403585 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12366] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12366/stat : 12366 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 287840119 10811015168 403588 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12367] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12367/stat : 12367 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 403590 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12368] ppid=12351 vsize=10557632 CPUtime=0.61 cores=0,2,4,6
/proc/12353/task/12368/stat : 12368 (java) S 12351 12353 12126 0 -1 4202560 5873 0 0 0 60 1 0 0 15 0 19 0 287840121 10811015168 403593 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12369] ppid=12351 vsize=10557632 CPUtime=0.68 cores=0,2,4,6
/proc/12353/task/12369/stat : 12369 (java) S 12351 12353 12126 0 -1 4202560 4624 0 0 0 68 0 0 0 15 0 19 0 287840121 10811015168 403596 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/12353/task/12366/stat : 12366 (java) S 12351 12353 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12367] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12367/stat : 12367 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12368] ppid=12351 vsize=10557632 CPUtime=0.63 cores=0,2,4,6
/proc/12353/task/12368/stat : 12368 (java) S 12351 12353 12126 0 -1 4202560 5881 0 0 0 62 1 0 0 15 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12369] ppid=12351 vsize=10557632 CPUtime=0.69 cores=0,2,4,6
/proc/12353/task/12369/stat : 12369 (java) S 12351 12353 12126 0 -1 4202560 4624 0 0 0 69 0 0 0 16 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12370] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12370/stat : 12370 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12371] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12371/stat : 12371 (java) S 12351 12353 12126 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12372] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12372/stat : 12372 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 287840132 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1664.26
Current children cumulated vsize (KiB) 10557632
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/428 12430
/proc/meminfo: memFree=22422592/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10557632 CPUtime=1724.25 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 900689 0 1 0 172317 108 0 0 25 0 19 0 287840115 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2639408 895747 2239 9 0 2630142 0
[pid=12353/tid=12354] ppid=12351 vsize=10557632 CPUtime=1722.07 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 726246 0 1 0 172131 76 0 0 25 0 19 0 287840116 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505574606 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12353/tid=12356] ppid=12351 vsize=10557632 CPUtime=0.12 cores=0,2,4,6
/proc/12353/task/12356/stat : 12356 (java) S 12351 12353 12126 0 -1 4202560 31823 0 0 0 7 5 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12357] ppid=12351 vsize=10557632 CPUtime=0.06 cores=0,2,4,6
/proc/12353/task/12357/stat : 12357 (java) S 12351 12353 12126 0 -1 4202560 14168 0 0 0 3 3 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12358] ppid=12351 vsize=10557632 CPUtime=0.12 cores=0,2,4,6
/proc/12353/task/12358/stat : 12358 (java) S 12351 12353 12126 0 -1 4202560 29214 0 0 0 7 5 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12359] ppid=12351 vsize=10557632 CPUtime=0.03 cores=0,2,4,6
/proc/12353/task/12359/stat : 12359 (java) S 12351 12353 12126 0 -1 4202560 7901 0 0 0 2 1 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12360] ppid=12351 vsize=10557632 CPUtime=0.17 cores=0,2,4,6
/proc/12353/task/12360/stat : 12360 (java) S 12351 12353 12126 0 -1 4202560 29364 0 0 0 13 4 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12361] ppid=12351 vsize=10557632 CPUtime=0.11 cores=0,2,4,6
/proc/12353/task/12361/stat : 12361 (java) S 12351 12353 12126 0 -1 4202560 22103 0 0 0 7 4 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12362] ppid=12351 vsize=10557632 CPUtime=0.06 cores=0,2,4,6
/proc/12353/task/12362/stat : 12362 (java) S 12351 12353 12126 0 -1 4202560 8895 0 0 0 5 1 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12363] ppid=12351 vsize=10557632 CPUtime=0.09 cores=0,2,4,6
/proc/12353/task/12363/stat : 12363 (java) S 12351 12353 12126 0 -1 4202560 19189 0 0 0 7 2 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12364] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12364/stat : 12364 (java) S 12351 12353 12126 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12365] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12365/stat : 12365 (java) S 12351 12353 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12366] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12366/stat : 12366 (java) S 12351 12353 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12367] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12367/stat : 12367 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12368] ppid=12351 vsize=10557632 CPUtime=0.63 cores=0,2,4,6
/proc/12353/task/12368/stat : 12368 (java) S 12351 12353 12126 0 -1 4202560 5881 0 0 0 62 1 0 0 15 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12369] ppid=12351 vsize=10557632 CPUtime=0.69 cores=0,2,4,6
/proc/12353/task/12369/stat : 12369 (java) S 12351 12353 12126 0 -1 4202560 4624 0 0 0 69 0 0 0 16 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12370] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12370/stat : 12370 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12371] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12371/stat : 12371 (java) S 12351 12353 12126 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12372] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12372/stat : 12372 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 287840132 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.25
Current children cumulated vsize (KiB) 10557632
[startup+1782.32 s]
/proc/loadavg: 1.00 1.00 0.95 2/428 12432
/proc/meminfo: memFree=22422204/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10557632 CPUtime=1784.26 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 900693 0 1 0 178318 108 0 0 25 0 19 0 287840115 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2639408 895747 2239 9 0 2630142 0
[pid=12353/tid=12354] ppid=12351 vsize=10557632 CPUtime=1782.08 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 726246 0 1 0 178132 76 0 0 25 0 19 0 287840116 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505574596 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12353/tid=12356] ppid=12351 vsize=10557632 CPUtime=0.12 cores=0,2,4,6
/proc/12353/task/12356/stat : 12356 (java) S 12351 12353 12126 0 -1 4202560 31823 0 0 0 7 5 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12357] ppid=12351 vsize=10557632 CPUtime=0.06 cores=0,2,4,6
/proc/12353/task/12357/stat : 12357 (java) S 12351 12353 12126 0 -1 4202560 14168 0 0 0 3 3 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12358] ppid=12351 vsize=10557632 CPUtime=0.12 cores=0,2,4,6
/proc/12353/task/12358/stat : 12358 (java) S 12351 12353 12126 0 -1 4202560 29214 0 0 0 7 5 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12359] ppid=12351 vsize=10557632 CPUtime=0.03 cores=0,2,4,6
/proc/12353/task/12359/stat : 12359 (java) S 12351 12353 12126 0 -1 4202560 7901 0 0 0 2 1 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12360] ppid=12351 vsize=10557632 CPUtime=0.17 cores=0,2,4,6
/proc/12353/task/12360/stat : 12360 (java) S 12351 12353 12126 0 -1 4202560 29364 0 0 0 13 4 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12361] ppid=12351 vsize=10557632 CPUtime=0.11 cores=0,2,4,6
/proc/12353/task/12361/stat : 12361 (java) S 12351 12353 12126 0 -1 4202560 22103 0 0 0 7 4 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12362] ppid=12351 vsize=10557632 CPUtime=0.06 cores=0,2,4,6
/proc/12353/task/12362/stat : 12362 (java) S 12351 12353 12126 0 -1 4202560 8895 0 0 0 5 1 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12363] ppid=12351 vsize=10557632 CPUtime=0.09 cores=0,2,4,6
/proc/12353/task/12363/stat : 12363 (java) S 12351 12353 12126 0 -1 4202560 19189 0 0 0 7 2 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12364] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12364/stat : 12364 (java) S 12351 12353 12126 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12365] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12365/stat : 12365 (java) S 12351 12353 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12366] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12366/stat : 12366 (java) S 12351 12353 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12367] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12367/stat : 12367 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12368] ppid=12351 vsize=10557632 CPUtime=0.63 cores=0,2,4,6
/proc/12353/task/12368/stat : 12368 (java) S 12351 12353 12126 0 -1 4202560 5881 0 0 0 62 1 0 0 15 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12369] ppid=12351 vsize=10557632 CPUtime=0.69 cores=0,2,4,6
/proc/12353/task/12369/stat : 12369 (java) S 12351 12353 12126 0 -1 4202560 4624 0 0 0 69 0 0 0 16 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12370] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12370/stat : 12370 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12371] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12371/stat : 12371 (java) S 12351 12353 12126 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12372] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12372/stat : 12372 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 287840132 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.26
Current children cumulated vsize (KiB) 10557632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/428 12432
/proc/meminfo: memFree=22422452/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=10557632 CPUtime=1800.06 cores=0,2,4,6
/proc/12353/stat : 12353 (java) S 12351 12353 12126 0 -1 4202496 900693 0 1 0 179898 108 0 0 25 0 19 0 287840115 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 2639408 895747 2239 9 0 2630142 0
[pid=12353/tid=12354] ppid=12351 vsize=10557632 CPUtime=1797.88 cores=0,2,4,6
/proc/12353/task/12354/stat : 12354 (java) R 12351 12353 12126 0 -1 4202560 726246 0 1 0 179712 76 0 0 25 0 19 0 287840116 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 46912505574529 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12353/tid=12356] ppid=12351 vsize=10557632 CPUtime=0.12 cores=0,2,4,6
/proc/12353/task/12356/stat : 12356 (java) S 12351 12353 12126 0 -1 4202560 31823 0 0 0 7 5 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12357] ppid=12351 vsize=10557632 CPUtime=0.06 cores=0,2,4,6
/proc/12353/task/12357/stat : 12357 (java) S 12351 12353 12126 0 -1 4202560 14168 0 0 0 3 3 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12358] ppid=12351 vsize=10557632 CPUtime=0.12 cores=0,2,4,6
/proc/12353/task/12358/stat : 12358 (java) S 12351 12353 12126 0 -1 4202560 29214 0 0 0 7 5 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12359] ppid=12351 vsize=10557632 CPUtime=0.03 cores=0,2,4,6
/proc/12353/task/12359/stat : 12359 (java) S 12351 12353 12126 0 -1 4202560 7901 0 0 0 2 1 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12360] ppid=12351 vsize=10557632 CPUtime=0.17 cores=0,2,4,6
/proc/12353/task/12360/stat : 12360 (java) S 12351 12353 12126 0 -1 4202560 29364 0 0 0 13 4 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12361] ppid=12351 vsize=10557632 CPUtime=0.11 cores=0,2,4,6
/proc/12353/task/12361/stat : 12361 (java) S 12351 12353 12126 0 -1 4202560 22103 0 0 0 7 4 0 0 15 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=12353/tid=12362] ppid=12351 vsize=10557632 CPUtime=0.06 cores=0,2,4,6
/proc/12353/task/12362/stat : 12362 (java) S 12351 12353 12126 0 -1 4202560 8895 0 0 0 5 1 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12363] ppid=12351 vsize=10557632 CPUtime=0.09 cores=0,2,4,6
/proc/12353/task/12363/stat : 12363 (java) S 12351 12353 12126 0 -1 4202560 19189 0 0 0 7 2 0 0 16 0 19 0 287840118 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12364] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12364/stat : 12364 (java) S 12351 12353 12126 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12365] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12365/stat : 12365 (java) S 12351 12353 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12366] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12366/stat : 12366 (java) S 12351 12353 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 287840119 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12367] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12367/stat : 12367 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12368] ppid=12351 vsize=10557632 CPUtime=0.63 cores=0,2,4,6
/proc/12353/task/12368/stat : 12368 (java) S 12351 12353 12126 0 -1 4202560 5881 0 0 0 62 1 0 0 15 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12369] ppid=12351 vsize=10557632 CPUtime=0.69 cores=0,2,4,6
/proc/12353/task/12369/stat : 12369 (java) S 12351 12353 12126 0 -1 4202560 4624 0 0 0 69 0 0 0 16 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=12353/tid=12370] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12370/stat : 12370 (java) S 12351 12353 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=12353/tid=12371] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12371/stat : 12371 (java) S 12351 12353 12126 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 287840121 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=12353/tid=12372] ppid=12351 vsize=10557632 CPUtime=0 cores=0,2,4,6
/proc/12353/task/12372/stat : 12372 (java) S 12351 12353 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 287840132 10811015168 895747 33554432000 1073741824 1073778376 140736504395744 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10557632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/428 12432
/proc/meminfo: memFree=22422452/32950928 swapFree=52006644/67111528
[pid=12353] ppid=12351 vsize=0 CPUtime=1800.35 cores=0,2,4,6
/proc/12353/stat : 12353 (java) Z 12351 12353 12126 0 -1 4203548 900724 0 1 0 179912 123 0 0 17 0 2 0 287840115 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12353/statm: 0 0 0 0 0 0 0
[pid=12353/tid=12361] ppid=12351 vsize=0 CPUtime=0.19 cores=0,2,4,6
/proc/12353/task/12361/stat : 12361 (java) R 12351 12353 12126 0 -1 4203588 22103 0 0 0 7 12 0 0 16 0 2 0 287840118 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.35
CPU time (s): 1800.4
CPU user time (s): 1799.13
CPU system time (s): 1.27681
CPU usage (%): 100.114
Max. virtual memory (cumulated for all children) (KiB): 10557632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.2768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 900724
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= 36934
involuntary context switches= 3111
runsolver used 7.8828 second user time and 15.9736 second system time
The end