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-3456617-1307641226/watcher-3456617-1307641226 -o /tmp/evaluation-result-3456617-1307641226/solver-3456617-1307641226 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456617-1307641226.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 3/192 24529
/proc/meminfo: memFree=28170692/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/24529/stat : 24529 (java) R 24527 24529 23633 0 -1 4202496 876 0 0 0 0 0 0 0 25 0 1 0 954353166 23580672 621 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252453103381 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24529/statm: 5757 635 469 9 0 124 0
[startup+0.0505809 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 24529
/proc/meminfo: memFree=28170692/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 11374 0 1 0 2 1 0 0 25 0 13 0 954353166 10718699520 11072 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2616870 11074 1681 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100501 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 24529
/proc/meminfo: memFree=28170692/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10540252 CPUtime=0.1 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 13059 0 1 0 8 2 0 0 25 0 18 0 954353166 10793218048 12736 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2635063 12739 2092 9 0 2625797 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540252
[startup+0.300545 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 24529
/proc/meminfo: memFree=28170692/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10543096 CPUtime=0.47 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 21042 0 1 0 44 3 0 0 25 0 18 0 954353166 10796130304 20365 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2635774 20369 2199 9 0 2626508 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543096
[startup+0.700464 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 24529
/proc/meminfo: memFree=28170692/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10543436 CPUtime=1.04 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 49272 0 1 0 97 7 0 0 25 0 18 0 954353166 10796478464 48378 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2635859 48378 2204 9 0 2626593 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10543436
[startup+1.50132 s]
/proc/loadavg: 2.00 2.00 2.00 3/210 24547
/proc/meminfo: memFree=27871608/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10543436 CPUtime=1.83 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 114540 0 1 0 169 14 0 0 25 0 18 0 954353166 10796478464 113645 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2635859 113648 2204 9 0 2626593 0
[pid=24529/tid=24531] ppid=24527 vsize=10543436 CPUtime=1.48 cores=0,2,4,6
/proc/24529/task/24531/stat : 24531 (java) R 24527 24529 23633 0 -1 4202560 110963 0 1 0 134 14 0 0 19 0 18 0 954353166 10796478464 113650 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 46912505575435 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24529/tid=24532] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24532/stat : 24532 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353168 10796478464 113652 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24533] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24533/stat : 24533 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353168 10796478464 113654 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24534] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24534/stat : 24534 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353168 10796478464 113656 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24535] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24535/stat : 24535 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353168 10796478464 113658 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24536] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24536/stat : 24536 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353168 10796478464 113661 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24537] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24537/stat : 24537 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353168 10796478464 113663 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24538] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24538/stat : 24538 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353168 10796478464 113665 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24539] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24539/stat : 24539 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353168 10796478464 113667 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24540] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24540/stat : 24540 (java) S 24527 24529 23633 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954353169 10796478464 113669 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24541] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24541/stat : 24541 (java) S 24527 24529 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 954353170 10796478464 113671 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24542] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24542/stat : 24542 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 954353170 10796478464 113673 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24543] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24543/stat : 24543 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353172 10796478464 113675 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24544] ppid=24527 vsize=10543436 CPUtime=0.18 cores=0,2,4,6
/proc/24529/task/24544/stat : 24544 (java) S 24527 24529 23633 0 -1 4202560 1047 0 0 0 18 0 0 0 23 0 18 0 954353172 10796478464 113677 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24545] ppid=24527 vsize=10543436 CPUtime=0.16 cores=0,2,4,6
/proc/24529/task/24545/stat : 24545 (java) S 24527 24529 23633 0 -1 4202560 1387 0 0 0 16 0 0 0 15 0 18 0 954353172 10796478464 113679 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24546] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24546/stat : 24546 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954353172 10796478464 113681 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24547] ppid=24527 vsize=10543436 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24547/stat : 24547 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954353172 10796478464 113683 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10543436
[startup+3.10104 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24548
/proc/meminfo: memFree=27626948/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10544888 CPUtime=3.95 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 191543 0 1 0 373 22 0 0 25 0 19 0 954353166 10797965312 188823 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2636222 188828 2225 9 0 2626956 0
[pid=24529/tid=24531] ppid=24527 vsize=10544888 CPUtime=3.08 cores=0,2,4,6
/proc/24529/task/24531/stat : 24531 (java) R 24527 24529 23633 0 -1 4202560 185314 0 1 0 287 21 0 0 18 0 19 0 954353166 10797965312 188833 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 46912505616829 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24529/tid=24532] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24532/stat : 24532 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797965312 188839 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24533] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24533/stat : 24533 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797965312 188844 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24534] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24534/stat : 24534 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797965312 188844 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24535] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24535/stat : 24535 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797965312 188848 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24536] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24536/stat : 24536 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797965312 188854 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24537] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24537/stat : 24537 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797965312 188859 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24538] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24538/stat : 24538 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797965312 188865 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24539] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24539/stat : 24539 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797965312 188865 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24540] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24540/stat : 24540 (java) S 24527 24529 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954353169 10797965312 188868 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
[pid=24529/tid=24541] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24541/stat : 24541 (java) S 24527 24529 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954353170 10797965312 188874 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24542] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24542/stat : 24542 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954353170 10797965312 188879 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24543] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24543/stat : 24543 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10797965312 188885 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24544] ppid=24527 vsize=10544888 CPUtime=0.45 cores=0,2,4,6
/proc/24529/task/24544/stat : 24544 (java) S 24527 24529 23633 0 -1 4202560 2953 0 0 0 45 0 0 0 15 0 19 0 954353172 10797965312 188886 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24545] ppid=24527 vsize=10544888 CPUtime=0.4 cores=0,2,4,6
/proc/24529/task/24545/stat : 24545 (java) S 24527 24529 23633 0 -1 4202560 2128 0 0 0 40 0 0 0 15 0 19 0 954353172 10797965312 188888 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24546] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24546/stat : 24546 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10797965312 188894 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24547] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24547/stat : 24547 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954353172 10797965312 188900 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
[pid=24529/tid=24548] ppid=24527 vsize=10544888 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24548/stat : 24548 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954353355 10797965312 188905 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 10544888
[startup+6.30143 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24548
/proc/meminfo: memFree=26516520/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10544124 CPUtime=7.36 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 464011 0 1 0 685 51 0 0 25 0 19 0 954353166 10797182976 460951 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2636031 460952 2227 9 0 2626765 0
[pid=24529/tid=24531] ppid=24527 vsize=10544124 CPUtime=6.28 cores=0,2,4,6
/proc/24529/task/24531/stat : 24531 (java) R 24527 24529 23633 0 -1 4202560 457580 0 1 0 578 50 0 0 18 0 19 0 954353166 10797182976 460952 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 46912505616874 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24529/tid=24532] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24532/stat : 24532 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797182976 460953 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24533] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24533/stat : 24533 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797182976 460953 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24534] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24534/stat : 24534 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797182976 460954 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24535] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24535/stat : 24535 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797182976 460954 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24536] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24536/stat : 24536 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797182976 460955 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24537] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24537/stat : 24537 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797182976 460955 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24538] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24538/stat : 24538 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797182976 460955 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24539] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24539/stat : 24539 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353168 10797182976 460956 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24540] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24540/stat : 24540 (java) S 24527 24529 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954353169 10797182976 460956 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
[pid=24529/tid=24541] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24541/stat : 24541 (java) S 24527 24529 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954353170 10797182976 460956 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24542] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24542/stat : 24542 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954353170 10797182976 460957 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24543] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24543/stat : 24543 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10797182976 460957 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24544] ppid=24527 vsize=10544124 CPUtime=0.61 cores=0,2,4,6
/proc/24529/task/24544/stat : 24544 (java) S 24527 24529 23633 0 -1 4202560 3137 0 0 0 61 0 0 0 15 0 19 0 954353172 10797182976 460958 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24545] ppid=24527 vsize=10544124 CPUtime=0.45 cores=0,2,4,6
/proc/24529/task/24545/stat : 24545 (java) S 24527 24529 23633 0 -1 4202560 2136 0 0 0 45 0 0 0 15 0 19 0 954353172 10797182976 460958 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24546] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24546/stat : 24546 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10797182976 460958 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24547] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24547/stat : 24547 (java) S 24527 24529 23633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954353172 10797182976 460959 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
[pid=24529/tid=24548] ppid=24527 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24548/stat : 24548 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954353355 10797182976 460959 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 10544124
[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24548
/proc/meminfo: memFree=25442488/32951124 swapFree=67062556/67111528
################
# More data... #
################
/proc/24529/task/24542/stat : 24542 (java) S 24527 24529 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954353170 10801180672 948378 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24543] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24543/stat : 24543 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10801180672 948378 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24544] ppid=24527 vsize=10548028 CPUtime=0.78 cores=0,2,4,6
/proc/24529/task/24544/stat : 24544 (java) S 24527 24529 23633 0 -1 4202560 5542 0 0 0 78 0 0 0 16 0 19 0 954353172 10801180672 948378 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24545] ppid=24527 vsize=10548028 CPUtime=0.56 cores=0,2,4,6
/proc/24529/task/24545/stat : 24545 (java) S 24527 24529 23633 0 -1 4202560 3181 0 0 0 56 0 0 0 15 0 19 0 954353172 10801180672 948378 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24546] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24546/stat : 24546 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10801180672 948378 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24547] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24547/stat : 24547 (java) S 24527 24529 23633 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 954353172 10801180672 948378 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24548] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24548/stat : 24548 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954353355 10801180672 948378 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.17
Current children cumulated vsize (KiB) 10548028
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/211 24662
/proc/meminfo: memFree=24606092/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10548028 CPUtime=1727.2 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 956787 0 1 0 172606 114 0 0 25 0 19 0 954353166 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2637007 949133 2242 9 0 2627741 0
[pid=24529/tid=24531] ppid=24527 vsize=10548028 CPUtime=1721 cores=0,2,4,6
/proc/24529/task/24531/stat : 24531 (java) R 24527 24529 23633 0 -1 4202560 752383 0 1 0 172019 81 0 0 25 0 19 0 954353166 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 46912505654476 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24529/tid=24532] ppid=24527 vsize=10548028 CPUtime=0.5 cores=0,2,4,6
/proc/24529/task/24532/stat : 24532 (java) S 24527 24529 23633 0 -1 4202560 24160 0 0 0 46 4 0 0 16 0 19 0 954353168 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24533] ppid=24527 vsize=10548028 CPUtime=0.59 cores=0,2,4,6
/proc/24529/task/24533/stat : 24533 (java) S 24527 24529 23633 0 -1 4202560 27317 0 0 0 56 3 0 0 15 0 19 0 954353168 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24534] ppid=24527 vsize=10548028 CPUtime=0.67 cores=0,2,4,6
/proc/24529/task/24534/stat : 24534 (java) S 24527 24529 23633 0 -1 4202560 28388 0 0 0 63 4 0 0 15 0 19 0 954353168 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24535] ppid=24527 vsize=10548028 CPUtime=0.64 cores=0,2,4,6
/proc/24529/task/24535/stat : 24535 (java) S 24527 24529 23633 0 -1 4202560 32448 0 0 0 60 4 0 0 15 0 19 0 954353168 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24536] ppid=24527 vsize=10548028 CPUtime=0.67 cores=0,2,4,6
/proc/24529/task/24536/stat : 24536 (java) S 24527 24529 23633 0 -1 4202560 26213 0 0 0 64 3 0 0 16 0 19 0 954353168 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24537] ppid=24527 vsize=10548028 CPUtime=0.38 cores=0,2,4,6
/proc/24529/task/24537/stat : 24537 (java) S 24527 24529 23633 0 -1 4202560 9056 0 0 0 37 1 0 0 15 0 19 0 954353168 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24538] ppid=24527 vsize=10548028 CPUtime=0.57 cores=0,2,4,6
/proc/24529/task/24538/stat : 24538 (java) S 24527 24529 23633 0 -1 4202560 17961 0 0 0 54 3 0 0 16 0 19 0 954353168 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24539] ppid=24527 vsize=10548028 CPUtime=0.7 cores=0,2,4,6
/proc/24529/task/24539/stat : 24539 (java) S 24527 24529 23633 0 -1 4202560 28796 0 0 0 65 5 0 0 16 0 19 0 954353168 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
[pid=24529/tid=24540] ppid=24527 vsize=10548028 CPUtime=0.03 cores=0,2,4,6
/proc/24529/task/24540/stat : 24540 (java) S 24527 24529 23633 0 -1 4202560 95 0 0 0 2 1 0 0 15 0 19 0 954353169 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24541] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24541/stat : 24541 (java) S 24527 24529 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954353170 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24542] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24542/stat : 24542 (java) S 24527 24529 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954353170 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24543] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24543/stat : 24543 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24544] ppid=24527 vsize=10548028 CPUtime=0.78 cores=0,2,4,6
/proc/24529/task/24544/stat : 24544 (java) S 24527 24529 23633 0 -1 4202560 5542 0 0 0 78 0 0 0 16 0 19 0 954353172 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24545] ppid=24527 vsize=10548028 CPUtime=0.56 cores=0,2,4,6
/proc/24529/task/24545/stat : 24545 (java) S 24527 24529 23633 0 -1 4202560 3181 0 0 0 56 0 0 0 15 0 19 0 954353172 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24546] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24546/stat : 24546 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24547] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24547/stat : 24547 (java) S 24527 24529 23633 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954353172 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24548] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24548/stat : 24548 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954353355 10801180672 949133 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.2
Current children cumulated vsize (KiB) 10548028
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 24663
/proc/meminfo: memFree=24601092/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10548028 CPUtime=1787.24 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 957996 0 1 0 178610 114 0 0 25 0 19 0 954353166 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2637007 950313 2242 9 0 2627741 0
[pid=24529/tid=24531] ppid=24527 vsize=10548028 CPUtime=1780.98 cores=0,2,4,6
/proc/24529/task/24531/stat : 24531 (java) R 24527 24529 23633 0 -1 4202560 752387 0 1 0 178017 81 0 0 25 0 19 0 954353166 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 46912505856249 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24529/tid=24532] ppid=24527 vsize=10548028 CPUtime=0.51 cores=0,2,4,6
/proc/24529/task/24532/stat : 24532 (java) S 24527 24529 23633 0 -1 4202560 24330 0 0 0 47 4 0 0 16 0 19 0 954353168 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24533] ppid=24527 vsize=10548028 CPUtime=0.6 cores=0,2,4,6
/proc/24529/task/24533/stat : 24533 (java) S 24527 24529 23633 0 -1 4202560 27435 0 0 0 57 3 0 0 16 0 19 0 954353168 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
[pid=24529/tid=24534] ppid=24527 vsize=10548028 CPUtime=0.68 cores=0,2,4,6
/proc/24529/task/24534/stat : 24534 (java) S 24527 24529 23633 0 -1 4202560 28458 0 0 0 64 4 0 0 16 0 19 0 954353168 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24535] ppid=24527 vsize=10548028 CPUtime=0.64 cores=0,2,4,6
/proc/24529/task/24535/stat : 24535 (java) S 24527 24529 23633 0 -1 4202560 32542 0 0 0 60 4 0 0 15 0 19 0 954353168 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24536] ppid=24527 vsize=10548028 CPUtime=0.68 cores=0,2,4,6
/proc/24529/task/24536/stat : 24536 (java) S 24527 24529 23633 0 -1 4202560 26336 0 0 0 65 3 0 0 15 0 19 0 954353168 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24537] ppid=24527 vsize=10548028 CPUtime=0.38 cores=0,2,4,6
/proc/24529/task/24537/stat : 24537 (java) S 24527 24529 23633 0 -1 4202560 9128 0 0 0 37 1 0 0 15 0 19 0 954353168 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24538] ppid=24527 vsize=10548028 CPUtime=0.58 cores=0,2,4,6
/proc/24529/task/24538/stat : 24538 (java) S 24527 24529 23633 0 -1 4202560 18511 0 0 0 55 3 0 0 16 0 19 0 954353168 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24539] ppid=24527 vsize=10548028 CPUtime=0.7 cores=0,2,4,6
/proc/24529/task/24539/stat : 24539 (java) S 24527 24529 23633 0 -1 4202560 28796 0 0 0 65 5 0 0 15 0 19 0 954353168 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
[pid=24529/tid=24540] ppid=24527 vsize=10548028 CPUtime=0.03 cores=0,2,4,6
/proc/24529/task/24540/stat : 24540 (java) S 24527 24529 23633 0 -1 4202560 99 0 0 0 2 1 0 0 15 0 19 0 954353169 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24541] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24541/stat : 24541 (java) S 24527 24529 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954353170 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24542] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24542/stat : 24542 (java) S 24527 24529 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954353170 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24543] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24543/stat : 24543 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24544] ppid=24527 vsize=10548028 CPUtime=0.78 cores=0,2,4,6
/proc/24529/task/24544/stat : 24544 (java) S 24527 24529 23633 0 -1 4202560 5542 0 0 0 78 0 0 0 16 0 19 0 954353172 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24545] ppid=24527 vsize=10548028 CPUtime=0.56 cores=0,2,4,6
/proc/24529/task/24545/stat : 24545 (java) S 24527 24529 23633 0 -1 4202560 3181 0 0 0 56 0 0 0 15 0 19 0 954353172 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24546] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24546/stat : 24546 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24547] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24547/stat : 24547 (java) S 24527 24529 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954353172 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24548] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24548/stat : 24548 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954353355 10801180672 950313 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.24
Current children cumulated vsize (KiB) 10548028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 24663
/proc/meminfo: memFree=24599096/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=10548028 CPUtime=1800.06 cores=0,2,4,6
/proc/24529/stat : 24529 (java) S 24527 24529 23633 0 -1 4202496 958515 0 1 0 179892 114 0 0 25 0 19 0 954353166 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 2637007 950827 2242 9 0 2627741 0
[pid=24529/tid=24531] ppid=24527 vsize=10548028 CPUtime=1793.79 cores=0,2,4,6
/proc/24529/task/24531/stat : 24531 (java) R 24527 24529 23633 0 -1 4202560 752388 0 1 0 179298 81 0 0 25 0 19 0 954353166 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 46912505589835 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24529/tid=24532] ppid=24527 vsize=10548028 CPUtime=0.51 cores=0,2,4,6
/proc/24529/task/24532/stat : 24532 (java) S 24527 24529 23633 0 -1 4202560 24330 0 0 0 47 4 0 0 15 0 19 0 954353168 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24533] ppid=24527 vsize=10548028 CPUtime=0.6 cores=0,2,4,6
/proc/24529/task/24533/stat : 24533 (java) S 24527 24529 23633 0 -1 4202560 27437 0 0 0 57 3 0 0 15 0 19 0 954353168 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24534] ppid=24527 vsize=10548028 CPUtime=0.68 cores=0,2,4,6
/proc/24529/task/24534/stat : 24534 (java) S 24527 24529 23633 0 -1 4202560 28766 0 0 0 64 4 0 0 15 0 19 0 954353168 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24535] ppid=24527 vsize=10548028 CPUtime=0.64 cores=0,2,4,6
/proc/24529/task/24535/stat : 24535 (java) S 24527 24529 23633 0 -1 4202560 32542 0 0 0 60 4 0 0 15 0 19 0 954353168 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24536] ppid=24527 vsize=10548028 CPUtime=0.68 cores=0,2,4,6
/proc/24529/task/24536/stat : 24536 (java) S 24527 24529 23633 0 -1 4202560 26336 0 0 0 65 3 0 0 15 0 19 0 954353168 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24537] ppid=24527 vsize=10548028 CPUtime=0.38 cores=0,2,4,6
/proc/24529/task/24537/stat : 24537 (java) S 24527 24529 23633 0 -1 4202560 9146 0 0 0 37 1 0 0 15 0 19 0 954353168 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24538] ppid=24527 vsize=10548028 CPUtime=0.59 cores=0,2,4,6
/proc/24529/task/24538/stat : 24538 (java) S 24527 24529 23633 0 -1 4202560 18582 0 0 0 56 3 0 0 16 0 19 0 954353168 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24539] ppid=24527 vsize=10548028 CPUtime=0.7 cores=0,2,4,6
/proc/24529/task/24539/stat : 24539 (java) S 24527 24529 23633 0 -1 4202560 28915 0 0 0 65 5 0 0 16 0 19 0 954353168 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
[pid=24529/tid=24540] ppid=24527 vsize=10548028 CPUtime=0.03 cores=0,2,4,6
/proc/24529/task/24540/stat : 24540 (java) S 24527 24529 23633 0 -1 4202560 99 0 0 0 2 1 0 0 15 0 19 0 954353169 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24541] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24541/stat : 24541 (java) S 24527 24529 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954353170 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24542] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24542/stat : 24542 (java) S 24527 24529 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954353170 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24543] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24543/stat : 24543 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24544] ppid=24527 vsize=10548028 CPUtime=0.78 cores=0,2,4,6
/proc/24529/task/24544/stat : 24544 (java) S 24527 24529 23633 0 -1 4202560 5542 0 0 0 78 0 0 0 16 0 19 0 954353172 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24545] ppid=24527 vsize=10548028 CPUtime=0.56 cores=0,2,4,6
/proc/24529/task/24545/stat : 24545 (java) S 24527 24529 23633 0 -1 4202560 3181 0 0 0 56 0 0 0 15 0 19 0 954353172 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=24529/tid=24546] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24546/stat : 24546 (java) S 24527 24529 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954353172 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 4 0 0 0
[pid=24529/tid=24547] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24547/stat : 24547 (java) S 24527 24529 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954353172 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=24529/tid=24548] ppid=24527 vsize=10548028 CPUtime=0 cores=0,2,4,6
/proc/24529/task/24548/stat : 24548 (java) S 24527 24529 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954353355 10801180672 950827 33554432000 1073741824 1073778376 140733592101392 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10548028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.22 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 24663
/proc/meminfo: memFree=24599096/32951124 swapFree=67062556/67111528
[pid=24529] ppid=24527 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/24529/stat : 24529 (java) Z 24527 24529 23633 0 -1 4203548 958543 0 1 0 179893 124 0 0 17 0 2 0 954353166 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24529/statm: 0 0 0 0 0 0 0
[pid=24529/tid=24531] ppid=24527 vsize=0 CPUtime=1793.89 cores=0,2,4,6
/proc/24529/task/24531/stat : 24531 (java) R 24527 24529 23633 0 -1 4203588 752388 0 1 0 179299 90 0 0 25 0 2 0 954353166 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.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.27
CPU time (s): 1800.23
CPU user time (s): 1798.94
CPU system time (s): 1.2928
CPU usage (%): 100.276
Max. virtual memory (cumulated for all children) (KiB): 10548788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.2928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958543
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= 39485
involuntary context switches= 4250
runsolver used 3.2855 second user time and 6.52401 second system time
The end