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-3457476-1307221270/watcher-3457476-1307221270 -o /tmp/evaluation-result-3457476-1307221270/solver-3457476-1307221270 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457476-1307221270.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.03 2.00 2/572 18921
/proc/meminfo: memFree=20830492/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 4541 0 1 0 0 0 0 0 25 0 2 0 833724051 10694979584 4243 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2611079 4258 917 9 0 2602235 0
[pid=18921/tid=18922] ppid=18918 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 6211 0 1 0 0 0 0 0 25 0 2 0 833724052 10694979584 7027 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.122192 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 18921
/proc/meminfo: memFree=20830492/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10605152 CPUtime=0.13 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 13326 0 1 0 11 2 0 0 25 0 18 0 833724051 10859675648 12993 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2651288 12993 2134 9 0 2642022 0
[pid=18921/tid=18922] ppid=18918 vsize=10605152 CPUtime=0.1 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 11354 0 1 0 9 1 0 0 18 0 18 0 833724052 10859675648 12993 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10605152
[startup+0.201131 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 18921
/proc/meminfo: memFree=20830492/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10606912 CPUtime=0.26 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 14076 0 1 0 24 2 0 0 25 0 19 0 833724051 10861477888 13723 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2651728 13723 2180 9 0 2642462 0
[pid=18921/tid=18922] ppid=18918 vsize=10606912 CPUtime=0.18 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 11777 0 1 0 17 1 0 0 19 0 19 0 833724052 10861477888 13723 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505217828 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10606912
[startup+0.301122 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 18921
/proc/meminfo: memFree=20830492/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10606648 CPUtime=0.42 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 14787 0 1 0 40 2 0 0 25 0 19 0 833724051 10861207552 14266 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2651662 14266 2205 9 0 2642396 0
[pid=18921/tid=18922] ppid=18918 vsize=10606648 CPUtime=0.27 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 12244 0 1 0 26 1 0 0 19 0 19 0 833724052 10861207552 14266 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505565968 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10606648
[startup+0.701092 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 18921
/proc/meminfo: memFree=20830492/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10611356 CPUtime=1.46 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 45718 0 1 0 140 6 0 0 25 0 19 0 833724051 10866028544 41469 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2652839 41476 2220 9 0 2643573 0
[pid=18921/tid=18922] ppid=18918 vsize=10611356 CPUtime=0.67 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 32927 0 1 0 64 3 0 0 18 0 19 0 833724052 10866028544 41479 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505744714 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10611356
[startup+1.50095 s]
/proc/loadavg: 2.00 2.03 2.00 3/591 18943
/proc/meminfo: memFree=20472608/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10614472 CPUtime=2.47 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 148095 0 1 0 232 15 0 0 25 0 19 0 833724051 10869219328 142633 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2653618 142638 2223 9 0 2644352 0
[pid=18921/tid=18922] ppid=18918 vsize=10614472 CPUtime=1.47 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 133802 0 1 0 135 12 0 0 19 0 19 0 833724052 10869219328 142642 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505574719 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18921/tid=18924] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18924/stat : 18924 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10869219328 142645 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18925] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18925/stat : 18925 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10869219328 142648 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18926] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18926/stat : 18926 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10869219328 142651 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18927] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18927/stat : 18927 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10869219328 142654 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18928] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18928/stat : 18928 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10869219328 142658 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18929] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18929/stat : 18929 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10869219328 142661 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18930] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18930/stat : 18930 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10869219328 142664 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18932] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18932/stat : 18932 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10869219328 142667 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18933] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18933/stat : 18933 (java) S 18918 18921 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833724055 10869219328 142670 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 0 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18934] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18934/stat : 18934 (java) S 18918 18921 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833724055 10869219328 142673 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18935] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18935/stat : 18935 (java) S 18918 18921 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833724055 10869219328 142676 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18937] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18937/stat : 18937 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10869219328 142679 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488518577 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18938] ppid=18918 vsize=10614472 CPUtime=0.55 cores=0,2,4,6
/proc/18921/task/18938/stat : 18938 (java) S 18918 18921 18279 0 -1 4202560 9561 0 0 0 53 2 0 0 15 0 19 0 833724057 10869219328 142682 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18939] ppid=18918 vsize=10614472 CPUtime=0.43 cores=0,2,4,6
/proc/18921/task/18939/stat : 18939 (java) S 18918 18921 18279 0 -1 4202560 3581 0 0 0 43 0 0 0 19 0 19 0 833724057 10869219328 142685 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18940] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18940/stat : 18940 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10869219328 142688 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18942] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18942/stat : 18942 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833724057 10869219328 142691 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18943] ppid=18918 vsize=10614472 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18943/stat : 18943 (java) S 18918 18921 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724071 10869219328 142693 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 10614472
[startup+3.10164 s]
/proc/loadavg: 2.00 2.03 2.00 3/591 18943
/proc/meminfo: memFree=19933584/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10616780 CPUtime=4.2 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 341766 0 1 0 385 35 0 0 25 0 19 0 833724051 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2654195 336303 2223 9 0 2644929 0
[pid=18921/tid=18922] ppid=18918 vsize=10616780 CPUtime=3.08 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 327001 0 1 0 276 32 0 0 19 0 19 0 833724052 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505574762 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18921/tid=18924] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18924/stat : 18924 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18925] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18925/stat : 18925 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18926] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18926/stat : 18926 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18927] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18927/stat : 18927 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18928] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18928/stat : 18928 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18929] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18929/stat : 18929 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18930] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18930/stat : 18930 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18932] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18932/stat : 18932 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724054 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18933] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18933/stat : 18933 (java) S 18918 18921 18279 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833724055 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 0 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18934] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18934/stat : 18934 (java) S 18918 18921 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833724055 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18935] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18935/stat : 18935 (java) S 18918 18921 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833724055 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18937] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18937/stat : 18937 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488518577 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18938] ppid=18918 vsize=10616780 CPUtime=0.57 cores=0,2,4,6
/proc/18921/task/18938/stat : 18938 (java) S 18918 18921 18279 0 -1 4202560 9563 0 0 0 55 2 0 0 15 0 19 0 833724057 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18939] ppid=18918 vsize=10616780 CPUtime=0.53 cores=0,2,4,6
/proc/18921/task/18939/stat : 18939 (java) S 18918 18921 18279 0 -1 4202560 4042 0 0 0 53 0 0 0 15 0 19 0 833724057 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18940] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18940/stat : 18940 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18942] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18942/stat : 18942 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833724057 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18943] ppid=18918 vsize=10616780 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18943/stat : 18943 (java) S 18918 18921 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724071 10871582720 336303 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 10616780
[startup+6.30103 s]
/proc/loadavg: 2.32 2.10 2.02 3/591 18943
/proc/meminfo: memFree=18478816/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10617196 CPUtime=7.57 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 669743 0 1 0 688 69 0 0 25 0 19 0 833724051 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2654299 664255 2241 9 0 2645033 0
[pid=18921/tid=18922] ppid=18918 vsize=10617196 CPUtime=6.25 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 651117 0 1 0 560 65 0 0 20 0 19 0 833724052 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505574719 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18921/tid=18924] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18924/stat : 18924 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833724054 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18925] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18925/stat : 18925 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833724054 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18926] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18926/stat : 18926 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833724054 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18927] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18927/stat : 18927 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833724054 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18928] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18928/stat : 18928 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833724054 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18929] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18929/stat : 18929 (java) S 18918 18921 18279 0 -1 4202560 313 0 0 0 0 0 0 0 18 0 19 0 833724054 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18930] ppid=18918 vsize=10617196 CPUtime=0.01 cores=0,2,4,6
/proc/18921/task/18930/stat : 18930 (java) S 18918 18921 18279 0 -1 4202560 1735 0 0 0 1 0 0 0 18 0 19 0 833724054 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18932] ppid=18918 vsize=10617196 CPUtime=0.01 cores=0,2,4,6
/proc/18921/task/18932/stat : 18932 (java) S 18918 18921 18279 0 -1 4202560 1555 0 0 0 1 0 0 0 18 0 19 0 833724054 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18933] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18933/stat : 18933 (java) S 18918 18921 18279 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 833724055 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 0 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18934] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18934/stat : 18934 (java) S 18918 18921 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18935] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18935/stat : 18935 (java) S 18918 18921 18279 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18937] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18937/stat : 18937 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488518577 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18938] ppid=18918 vsize=10617196 CPUtime=0.62 cores=0,2,4,6
/proc/18921/task/18938/stat : 18938 (java) S 18918 18921 18279 0 -1 4202560 9568 0 0 0 60 2 0 0 15 0 19 0 833724057 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18939] ppid=18918 vsize=10617196 CPUtime=0.63 cores=0,2,4,6
/proc/18921/task/18939/stat : 18939 (java) S 18918 18921 18279 0 -1 4202560 4288 0 0 0 63 0 0 0 15 0 19 0 833724057 10872008704 664255 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/18921/task/18934/stat : 18934 (java) S 18918 18921 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 1060949 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18935] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18935/stat : 18935 (java) S 18918 18921 18279 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 1060949 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18937] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18937/stat : 18937 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 1060949 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488518577 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18938] ppid=18918 vsize=10617196 CPUtime=0.75 cores=0,2,4,6
/proc/18921/task/18938/stat : 18938 (java) S 18918 18921 18279 0 -1 4202560 9598 0 0 0 73 2 0 0 15 0 19 0 833724057 10872008704 1060949 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18939] ppid=18918 vsize=10617196 CPUtime=0.97 cores=0,2,4,6
/proc/18921/task/18939/stat : 18939 (java) S 18918 18921 18279 0 -1 4202560 4323 0 0 0 97 0 0 0 15 0 19 0 833724057 10872008704 1060949 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18940] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18940/stat : 18940 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 1060949 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18942] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18942/stat : 18942 (java) S 18918 18921 18279 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833724057 10872008704 1060949 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18943] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18943/stat : 18943 (java) S 18918 18921 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724071 10872008704 1060949 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1670.69
Current children cumulated vsize (KiB) 10617196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/591 19047
/proc/meminfo: memFree=16924956/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10617196 CPUtime=1730.95 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 1073912 0 1 0 172966 129 0 0 25 0 19 0 833724051 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2654299 1063406 2257 9 0 2645033 0
[pid=18921/tid=18922] ppid=18918 vsize=10617196 CPUtime=1717.07 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 799671 0 1 0 171626 81 0 0 25 0 19 0 833724052 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505987635 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18921/tid=18924] ppid=18918 vsize=10617196 CPUtime=1.39 cores=0,2,4,6
/proc/18921/task/18924/stat : 18924 (java) S 18918 18921 18279 0 -1 4202560 44687 0 0 0 132 7 0 0 16 0 19 0 833724054 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18925] ppid=18918 vsize=10617196 CPUtime=1.26 cores=0,2,4,6
/proc/18921/task/18925/stat : 18925 (java) S 18918 18921 18279 0 -1 4202560 28098 0 0 0 123 3 0 0 16 0 19 0 833724054 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18926] ppid=18918 vsize=10617196 CPUtime=1.31 cores=0,2,4,6
/proc/18921/task/18926/stat : 18926 (java) S 18918 18921 18279 0 -1 4202560 33669 0 0 0 125 6 0 0 16 0 19 0 833724054 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18927] ppid=18918 vsize=10617196 CPUtime=1.32 cores=0,2,4,6
/proc/18921/task/18927/stat : 18927 (java) S 18918 18921 18279 0 -1 4202560 29009 0 0 0 128 4 0 0 15 0 19 0 833724054 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18928] ppid=18918 vsize=10617196 CPUtime=1.28 cores=0,2,4,6
/proc/18921/task/18928/stat : 18928 (java) S 18918 18921 18279 0 -1 4202560 39351 0 0 0 122 6 0 0 15 0 19 0 833724054 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18929] ppid=18918 vsize=10617196 CPUtime=1.22 cores=0,2,4,6
/proc/18921/task/18929/stat : 18929 (java) S 18918 18921 18279 0 -1 4202560 34436 0 0 0 117 5 0 0 15 0 19 0 833724054 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18930] ppid=18918 vsize=10617196 CPUtime=1.27 cores=0,2,4,6
/proc/18921/task/18930/stat : 18930 (java) S 18918 18921 18279 0 -1 4202560 24809 0 0 0 123 4 0 0 16 0 19 0 833724054 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18932] ppid=18918 vsize=10617196 CPUtime=1.09 cores=0,2,4,6
/proc/18921/task/18932/stat : 18932 (java) S 18918 18921 18279 0 -1 4202560 22918 0 0 0 105 4 0 0 16 0 19 0 833724054 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18933] ppid=18918 vsize=10617196 CPUtime=1.89 cores=0,2,4,6
/proc/18921/task/18933/stat : 18933 (java) S 18918 18921 18279 0 -1 4202560 2093 0 0 0 188 1 0 0 15 0 19 0 833724055 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 0 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18934] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18934/stat : 18934 (java) S 18918 18921 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18935] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18935/stat : 18935 (java) S 18918 18921 18279 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18937] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18937/stat : 18937 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488518577 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18938] ppid=18918 vsize=10617196 CPUtime=0.75 cores=0,2,4,6
/proc/18921/task/18938/stat : 18938 (java) S 18918 18921 18279 0 -1 4202560 9598 0 0 0 73 2 0 0 15 0 19 0 833724057 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18939] ppid=18918 vsize=10617196 CPUtime=0.97 cores=0,2,4,6
/proc/18921/task/18939/stat : 18939 (java) S 18918 18921 18279 0 -1 4202560 4323 0 0 0 97 0 0 0 15 0 19 0 833724057 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18940] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18940/stat : 18940 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18942] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18942/stat : 18942 (java) S 18918 18921 18279 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833724057 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18943] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18943/stat : 18943 (java) S 18918 18921 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724071 10872008704 1063406 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.95
Current children cumulated vsize (KiB) 10617196
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/591 19048
/proc/meminfo: memFree=16903848/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10617196 CPUtime=1791.15 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 1076150 0 1 0 178985 130 0 0 25 0 19 0 833724051 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2654299 1065607 2257 9 0 2645033 0
[pid=18921/tid=18922] ppid=18918 vsize=10617196 CPUtime=1776.99 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 799674 0 1 0 177618 81 0 0 25 0 19 0 833724052 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505786946 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18921/tid=18924] ppid=18918 vsize=10617196 CPUtime=1.46 cores=0,2,4,6
/proc/18921/task/18924/stat : 18924 (java) S 18918 18921 18279 0 -1 4202560 45458 0 0 0 139 7 0 0 16 0 19 0 833724054 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18925] ppid=18918 vsize=10617196 CPUtime=1.26 cores=0,2,4,6
/proc/18921/task/18925/stat : 18925 (java) S 18918 18921 18279 0 -1 4202560 28098 0 0 0 123 3 0 0 15 0 19 0 833724054 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18926] ppid=18918 vsize=10617196 CPUtime=1.35 cores=0,2,4,6
/proc/18921/task/18926/stat : 18926 (java) S 18918 18921 18279 0 -1 4202560 33920 0 0 0 129 6 0 0 15 0 19 0 833724054 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18927] ppid=18918 vsize=10617196 CPUtime=1.35 cores=0,2,4,6
/proc/18921/task/18927/stat : 18927 (java) S 18918 18921 18279 0 -1 4202560 29205 0 0 0 131 4 0 0 16 0 19 0 833724054 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18928] ppid=18918 vsize=10617196 CPUtime=1.31 cores=0,2,4,6
/proc/18921/task/18928/stat : 18928 (java) S 18918 18921 18279 0 -1 4202560 39836 0 0 0 125 6 0 0 16 0 19 0 833724054 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18929] ppid=18918 vsize=10617196 CPUtime=1.27 cores=0,2,4,6
/proc/18921/task/18929/stat : 18929 (java) S 18918 18921 18279 0 -1 4202560 34802 0 0 0 122 5 0 0 16 0 19 0 833724054 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18930] ppid=18918 vsize=10617196 CPUtime=1.28 cores=0,2,4,6
/proc/18921/task/18930/stat : 18930 (java) S 18918 18921 18279 0 -1 4202560 24809 0 0 0 124 4 0 0 15 0 19 0 833724054 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18932] ppid=18918 vsize=10617196 CPUtime=1.12 cores=0,2,4,6
/proc/18921/task/18932/stat : 18932 (java) S 18918 18921 18279 0 -1 4202560 23076 0 0 0 108 4 0 0 15 0 19 0 833724054 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18933] ppid=18918 vsize=10617196 CPUtime=1.89 cores=0,2,4,6
/proc/18921/task/18933/stat : 18933 (java) S 18918 18921 18279 0 -1 4202560 2097 0 0 0 188 1 0 0 15 0 19 0 833724055 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 0 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18934] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18934/stat : 18934 (java) S 18918 18921 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18935] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18935/stat : 18935 (java) S 18918 18921 18279 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18937] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18937/stat : 18937 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488518577 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18938] ppid=18918 vsize=10617196 CPUtime=0.75 cores=0,2,4,6
/proc/18921/task/18938/stat : 18938 (java) S 18918 18921 18279 0 -1 4202560 9598 0 0 0 73 2 0 0 15 0 19 0 833724057 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18939] ppid=18918 vsize=10617196 CPUtime=0.97 cores=0,2,4,6
/proc/18921/task/18939/stat : 18939 (java) S 18918 18921 18279 0 -1 4202560 4323 0 0 0 97 0 0 0 15 0 19 0 833724057 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18940] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18940/stat : 18940 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18942] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18942/stat : 18942 (java) S 18918 18921 18279 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833724057 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18943] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18943/stat : 18943 (java) S 18918 18921 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724071 10872008704 1065607 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1791.15
Current children cumulated vsize (KiB) 10617196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/591 19048
/proc/meminfo: memFree=16901612/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=10617196 CPUtime=1800.03 cores=0,2,4,6
/proc/18921/stat : 18921 (java) S 18918 18921 18279 0 -1 4202496 1076872 0 1 0 179873 130 0 0 25 0 19 0 833724051 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18921/statm: 2654299 1066317 2257 9 0 2645033 0
[pid=18921/tid=18922] ppid=18918 vsize=10617196 CPUtime=1785.79 cores=0,2,4,6
/proc/18921/task/18922/stat : 18922 (java) R 18918 18921 18279 0 -1 4202560 799675 0 1 0 178498 81 0 0 25 0 19 0 833724052 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 46912505980773 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18921/tid=18924] ppid=18918 vsize=10617196 CPUtime=1.49 cores=0,2,4,6
/proc/18921/task/18924/stat : 18924 (java) S 18918 18921 18279 0 -1 4202560 45711 0 0 0 142 7 0 0 16 0 19 0 833724054 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18925] ppid=18918 vsize=10617196 CPUtime=1.29 cores=0,2,4,6
/proc/18921/task/18925/stat : 18925 (java) S 18918 18921 18279 0 -1 4202560 28311 0 0 0 126 3 0 0 16 0 19 0 833724054 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18926] ppid=18918 vsize=10617196 CPUtime=1.37 cores=0,2,4,6
/proc/18921/task/18926/stat : 18926 (java) S 18918 18921 18279 0 -1 4202560 34046 0 0 0 131 6 0 0 16 0 19 0 833724054 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18927] ppid=18918 vsize=10617196 CPUtime=1.35 cores=0,2,4,6
/proc/18921/task/18927/stat : 18927 (java) S 18918 18921 18279 0 -1 4202560 29205 0 0 0 131 4 0 0 15 0 19 0 833724054 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18928] ppid=18918 vsize=10617196 CPUtime=1.31 cores=0,2,4,6
/proc/18921/task/18928/stat : 18928 (java) S 18918 18921 18279 0 -1 4202560 39836 0 0 0 125 6 0 0 15 0 19 0 833724054 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18929] ppid=18918 vsize=10617196 CPUtime=1.27 cores=0,2,4,6
/proc/18921/task/18929/stat : 18929 (java) S 18918 18921 18279 0 -1 4202560 34802 0 0 0 122 5 0 0 15 0 19 0 833724054 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18930] ppid=18918 vsize=10617196 CPUtime=1.28 cores=0,2,4,6
/proc/18921/task/18930/stat : 18930 (java) S 18918 18921 18279 0 -1 4202560 24809 0 0 0 124 4 0 0 15 0 19 0 833724054 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18932] ppid=18918 vsize=10617196 CPUtime=1.14 cores=0,2,4,6
/proc/18921/task/18932/stat : 18932 (java) S 18918 18921 18279 0 -1 4202560 23205 0 0 0 110 4 0 0 16 0 19 0 833724054 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18933] ppid=18918 vsize=10617196 CPUtime=1.89 cores=0,2,4,6
/proc/18921/task/18933/stat : 18933 (java) S 18918 18921 18279 0 -1 4202560 2097 0 0 0 188 1 0 0 15 0 19 0 833724055 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 0 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18934] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18934/stat : 18934 (java) S 18918 18921 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18935] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18935/stat : 18935 (java) S 18918 18921 18279 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724055 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 2 0 0 0
[pid=18921/tid=18937] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18937/stat : 18937 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488518577 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18938] ppid=18918 vsize=10617196 CPUtime=0.75 cores=0,2,4,6
/proc/18921/task/18938/stat : 18938 (java) S 18918 18921 18279 0 -1 4202560 9598 0 0 0 73 2 0 0 15 0 19 0 833724057 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 4 0 0 0
[pid=18921/tid=18939] ppid=18918 vsize=10617196 CPUtime=0.97 cores=0,2,4,6
/proc/18921/task/18939/stat : 18939 (java) S 18918 18921 18279 0 -1 4202560 4323 0 0 0 97 0 0 0 15 0 19 0 833724057 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18940] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18940/stat : 18940 (java) S 18918 18921 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724057 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488510873 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
[pid=18921/tid=18942] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18942/stat : 18942 (java) S 18918 18921 18279 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833724057 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 0 0 0 0
[pid=18921/tid=18943] ppid=18918 vsize=10617196 CPUtime=0 cores=0,2,4,6
/proc/18921/task/18943/stat : 18943 (java) S 18918 18921 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724071 10872008704 1066317 33554432000 1073741824 1073778376 140734371858688 18446744073709551615 239488511488 0 4 0 16800975 18446604440949581632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10617196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/591 19048
/proc/meminfo: memFree=16901612/32950928 swapFree=67056580/67111528
[pid=18921] ppid=18918 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/18921/stat : 18921 (java) Z 18918 18921 18279 0 -1 4203548 1076917 0 1 0 179884 142 0 0 17 0 2 0 833724051 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18921/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.34
CPU time (s): 1800.32
CPU user time (s): 1798.85
CPU system time (s): 1.46978
CPU usage (%): 100.501
Max. virtual memory (cumulated for all children) (KiB): 10617196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.46978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1076917
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= 40700
involuntary context switches= 25542
runsolver used 10.3934 second user time and 22.3256 second system time
The end