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-3455895-1307224940/watcher-3455895-1307224940 -o /tmp/evaluation-result-3455895-1307224940/solver-3455895-1307224940 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455895-1307224940.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 2/593 6734
/proc/meminfo: memFree=19329184/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 1192 0 0 0 0 0 0 0 25 0 2 0 834091771 31313920 919 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 7645 925 703 9 0 383 0
[pid=6734/tid=6735] ppid=6732 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 7454 0 1 0 0 0 0 0 25 0 2 0 834091771 10694979584 8270 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.120103 s]
/proc/loadavg: 1.92 2.01 1.99 2/593 6734
/proc/meminfo: memFree=19329184/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10539852 CPUtime=0.12 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 13384 0 1 0 11 1 0 0 25 0 18 0 834091771 10792808448 13044 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2634963 13044 2134 9 0 2625697 0
[pid=6734/tid=6735] ppid=6732 vsize=10539852 CPUtime=0.1 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 11355 0 1 0 9 1 0 0 18 0 18 0 834091771 10792808448 13045 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 47057256639315 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539852
[startup+0.223058 s]
/proc/loadavg: 1.92 2.01 1.99 2/593 6734
/proc/meminfo: memFree=19329184/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10541932 CPUtime=0.29 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 14578 0 1 0 27 2 0 0 25 0 19 0 834091771 10794938368 14162 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2635483 14162 2177 9 0 2626217 0
[pid=6734/tid=6735] ppid=6732 vsize=10541932 CPUtime=0.2 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 12007 0 1 0 19 1 0 0 19 0 19 0 834091771 10794938368 14164 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10541932
[startup+0.32106 s]
/proc/loadavg: 1.92 2.01 1.99 2/593 6734
/proc/meminfo: memFree=19329184/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10545824 CPUtime=0.61 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 20364 0 1 0 58 3 0 0 25 0 19 0 834091771 10798923776 18205 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2636456 18206 2188 9 0 2627190 0
[pid=6734/tid=6735] ppid=6732 vsize=10545824 CPUtime=0.31 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 13290 0 1 0 30 1 0 0 18 0 19 0 834091771 10798923776 18208 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912505533612 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10545824
[startup+0.935952 s]
/proc/loadavg: 1.92 2.01 1.99 2/593 6734
/proc/meminfo: memFree=19329184/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10618968 CPUtime=2.28 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 71646 0 1 0 218 10 0 0 25 0 19 0 834091771 10873823232 64286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2654742 64291 2217 9 0 2645476 0
[pid=6734/tid=6735] ppid=6732 vsize=10618968 CPUtime=0.9 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 53840 0 1 0 84 6 0 0 18 0 19 0 834091771 10873823232 64293 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912505533608 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10618968
[startup+1.50088 s]
/proc/loadavg: 1.92 2.01 1.99 3/612 6753
/proc/meminfo: memFree=18827700/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10618968 CPUtime=2.88 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 135065 0 1 0 269 19 0 0 25 0 19 0 834091771 10873823232 127704 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2654742 127705 2219 9 0 2645476 0
[pid=6734/tid=6735] ppid=6732 vsize=10618968 CPUtime=1.49 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 118855 0 1 0 133 16 0 0 18 0 19 0 834091771 10873823232 129310 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912505633125 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 129313 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 129314 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 129316 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 129319 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 129323 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 129326 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6743] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6743/stat : 6743 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 129330 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6744] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6744/stat : 6744 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 129333 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6745] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6745/stat : 6745 (java) S 6732 6734 5603 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 129337 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 0 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6746] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6746/stat : 6746 (java) S 6732 6734 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834091774 10873823232 129340 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6747] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6747/stat : 6747 (java) S 6732 6734 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834091774 10873823232 129344 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6748] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6748/stat : 6748 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 129347 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699498929 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6749] ppid=6732 vsize=10618968 CPUtime=0.68 cores=0,2,4,6
/proc/6734/task/6749/stat : 6749 (java) S 6732 6734 5603 0 -1 4202560 8329 0 0 0 67 1 0 0 17 0 19 0 834091777 10873823232 129351 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6750] ppid=6732 vsize=10618968 CPUtime=0.69 cores=0,2,4,6
/proc/6734/task/6750/stat : 6750 (java) S 6732 6734 5603 0 -1 4202560 8328 0 0 0 69 0 0 0 15 0 19 0 834091777 10873823232 129355 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6751] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6751/stat : 6751 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 129359 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6752] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6752/stat : 6752 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834091777 10873823232 129362 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6753] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6753/stat : 6753 (java) S 6732 6734 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834091787 10873823232 129366 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10618968
[startup+3.10159 s]
/proc/loadavg: 1.92 2.01 1.99 3/612 6754
/proc/meminfo: memFree=18339016/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10618968 CPUtime=4.52 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 308079 0 1 0 412 40 0 0 25 0 19 0 834091771 10873823232 300716 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2654742 300720 2219 9 0 2645476 0
[pid=6734/tid=6735] ppid=6732 vsize=10618968 CPUtime=3.06 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 290264 0 1 0 270 36 0 0 19 0 19 0 834091771 10873823232 300723 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912505523121 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 300725 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 300728 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 300730 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 300733 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 300735 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 300738 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6743] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6743/stat : 6743 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 300741 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6744] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6744/stat : 6744 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091773 10873823232 300743 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6745] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6745/stat : 6745 (java) S 6732 6734 5603 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834091774 10873823232 300746 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 0 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6746] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6746/stat : 6746 (java) S 6732 6734 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834091774 10873823232 300749 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6747] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6747/stat : 6747 (java) S 6732 6734 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834091774 10873823232 300751 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6748] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6748/stat : 6748 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 300755 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699498929 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6749] ppid=6732 vsize=10618968 CPUtime=0.68 cores=0,2,4,6
/proc/6734/task/6749/stat : 6749 (java) S 6732 6734 5603 0 -1 4202560 8329 0 0 0 67 1 0 0 15 0 19 0 834091777 10873823232 300759 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6750] ppid=6732 vsize=10618968 CPUtime=0.74 cores=0,2,4,6
/proc/6734/task/6750/stat : 6750 (java) S 6732 6734 5603 0 -1 4202560 8333 0 0 0 74 0 0 0 15 0 19 0 834091777 10873823232 300763 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6751] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6751/stat : 6751 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 300766 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6752] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6752/stat : 6752 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834091777 10873823232 300768 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6753] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6753/stat : 6753 (java) S 6732 6734 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834091787 10873823232 300770 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 10618968
[startup+6.30095 s]
/proc/loadavg: 1.93 2.01 1.99 3/612 6754
/proc/meminfo: memFree=16951696/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10618968 CPUtime=7.81 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 610819 0 1 0 709 72 0 0 25 0 19 0 834091771 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2654742 601933 2249 9 0 2645476 0
[pid=6734/tid=6735] ppid=6732 vsize=10618968 CPUtime=6.17 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 586306 0 1 0 549 68 0 0 25 0 19 0 834091771 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912505523181 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834091773 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834091773 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834091773 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834091773 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834091773 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834091773 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6743] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6743/stat : 6743 (java) S 6732 6734 5603 0 -1 4202560 943 0 0 0 0 0 0 0 18 0 19 0 834091773 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6744] ppid=6732 vsize=10618968 CPUtime=0.02 cores=0,2,4,6
/proc/6734/task/6744/stat : 6744 (java) S 6732 6734 5603 0 -1 4202560 2187 0 0 0 2 0 0 0 18 0 19 0 834091773 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6745] ppid=6732 vsize=10618968 CPUtime=0.04 cores=0,2,4,6
/proc/6734/task/6745/stat : 6745 (java) S 6732 6734 5603 0 -1 4202560 3531 0 0 0 4 0 0 0 15 0 19 0 834091774 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 0 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6746] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6746/stat : 6746 (java) S 6732 6734 5603 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6747] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6747/stat : 6747 (java) S 6732 6734 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6748] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6748/stat : 6748 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699498929 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6749] ppid=6732 vsize=10618968 CPUtime=0.73 cores=0,2,4,6
/proc/6734/task/6749/stat : 6749 (java) S 6732 6734 5603 0 -1 4202560 8351 0 0 0 72 1 0 0 15 0 19 0 834091777 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6750] ppid=6732 vsize=10618968 CPUtime=0.78 cores=0,2,4,6
/proc/6734/task/6750/stat : 6750 (java) S 6732 6734 5603 0 -1 4202560 8344 0 0 0 78 0 0 0 15 0 19 0 834091777 10873823232 601933 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/6734/task/6747/stat : 6747 (java) S 6732 6734 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 939816 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6748] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6748/stat : 6748 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 939816 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699498929 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6749] ppid=6732 vsize=10618968 CPUtime=0.8 cores=0,2,4,6
/proc/6734/task/6749/stat : 6749 (java) S 6732 6734 5603 0 -1 4202560 8362 0 0 0 79 1 0 0 16 0 19 0 834091777 10873823232 939816 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6750] ppid=6732 vsize=10618968 CPUtime=0.9 cores=0,2,4,6
/proc/6734/task/6750/stat : 6750 (java) S 6732 6734 5603 0 -1 4202560 8370 0 0 0 90 0 0 0 15 0 19 0 834091777 10873823232 939816 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6751] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6751/stat : 6751 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 939816 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6752] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6752/stat : 6752 (java) S 6732 6734 5603 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834091777 10873823232 939816 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6753] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6753/stat : 6753 (java) S 6732 6734 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834091787 10873823232 939816 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1670.13
Current children cumulated vsize (KiB) 10618968
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/612 6850
/proc/meminfo: memFree=15900004/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10618968 CPUtime=1730.39 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 951579 0 1 0 172921 118 0 0 25 0 19 0 834091771 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2654742 941286 2257 9 0 2645476 0
[pid=6734/tid=6735] ppid=6732 vsize=10618968 CPUtime=1717.4 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 847883 0 1 0 171642 98 0 0 25 0 19 0 834091771 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912505580561 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=10618968 CPUtime=1.32 cores=0,2,4,6
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 5603 0 -1 4202560 10113 0 0 0 131 1 0 0 15 0 19 0 834091773 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=10618968 CPUtime=1.09 cores=0,2,4,6
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 5603 0 -1 4202560 6025 0 0 0 108 1 0 0 16 0 19 0 834091773 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=10618968 CPUtime=1.23 cores=0,2,4,6
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 5603 0 -1 4202560 8018 0 0 0 122 1 0 0 15 0 19 0 834091773 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=10618968 CPUtime=1.37 cores=0,2,4,6
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 5603 0 -1 4202560 10392 0 0 0 136 1 0 0 16 0 19 0 834091773 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=10618968 CPUtime=1.03 cores=0,2,4,6
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 5603 0 -1 4202560 7221 0 0 0 102 1 0 0 15 0 19 0 834091773 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 2 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=10618968 CPUtime=1.22 cores=0,2,4,6
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 5603 0 -1 4202560 10205 0 0 0 121 1 0 0 15 0 19 0 834091773 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6743] ppid=6732 vsize=10618968 CPUtime=1.02 cores=0,2,4,6
/proc/6734/task/6743/stat : 6743 (java) S 6732 6734 5603 0 -1 4202560 10340 0 0 0 101 1 0 0 16 0 19 0 834091773 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6744] ppid=6732 vsize=10618968 CPUtime=1.09 cores=0,2,4,6
/proc/6734/task/6744/stat : 6744 (java) S 6732 6734 5603 0 -1 4202560 10949 0 0 0 108 1 0 0 16 0 19 0 834091773 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 2 0 0 0
[pid=6734/tid=6745] ppid=6732 vsize=10618968 CPUtime=1.77 cores=0,2,4,6
/proc/6734/task/6745/stat : 6745 (java) S 6732 6734 5603 0 -1 4202560 12452 0 0 0 174 3 0 0 15 0 19 0 834091774 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 0 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6746] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6746/stat : 6746 (java) S 6732 6734 5603 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6747] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6747/stat : 6747 (java) S 6732 6734 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6748] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6748/stat : 6748 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699498929 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6749] ppid=6732 vsize=10618968 CPUtime=0.8 cores=0,2,4,6
/proc/6734/task/6749/stat : 6749 (java) S 6732 6734 5603 0 -1 4202560 8362 0 0 0 79 1 0 0 16 0 19 0 834091777 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6750] ppid=6732 vsize=10618968 CPUtime=0.9 cores=0,2,4,6
/proc/6734/task/6750/stat : 6750 (java) S 6732 6734 5603 0 -1 4202560 8370 0 0 0 90 0 0 0 15 0 19 0 834091777 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6751] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6751/stat : 6751 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6752] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6752/stat : 6752 (java) S 6732 6734 5603 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834091777 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6753] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6753/stat : 6753 (java) S 6732 6734 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834091787 10873823232 941286 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1730.39
Current children cumulated vsize (KiB) 10618968
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/612 6852
/proc/meminfo: memFree=15884580/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10618968 CPUtime=1790.63 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 954827 0 1 0 178944 119 0 0 25 0 19 0 834091771 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2654742 944394 2257 9 0 2645476 0
[pid=6734/tid=6735] ppid=6732 vsize=10618968 CPUtime=1777.29 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 847887 0 1 0 177631 98 0 0 25 0 19 0 834091771 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912506069351 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=10618968 CPUtime=1.37 cores=0,2,4,6
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 5603 0 -1 4202560 10769 0 0 0 136 1 0 0 15 0 19 0 834091773 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=10618968 CPUtime=1.14 cores=0,2,4,6
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 5603 0 -1 4202560 6216 0 0 0 113 1 0 0 16 0 19 0 834091773 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=10618968 CPUtime=1.28 cores=0,2,4,6
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 5603 0 -1 4202560 8222 0 0 0 127 1 0 0 16 0 19 0 834091773 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 2 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=10618968 CPUtime=1.42 cores=0,2,4,6
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 5603 0 -1 4202560 10687 0 0 0 141 1 0 0 16 0 19 0 834091773 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=10618968 CPUtime=1.09 cores=0,2,4,6
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 5603 0 -1 4202560 8145 0 0 0 108 1 0 0 16 0 19 0 834091773 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=10618968 CPUtime=1.24 cores=0,2,4,6
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 5603 0 -1 4202560 10226 0 0 0 123 1 0 0 16 0 19 0 834091773 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6743] ppid=6732 vsize=10618968 CPUtime=1.05 cores=0,2,4,6
/proc/6734/task/6743/stat : 6743 (java) S 6732 6734 5603 0 -1 4202560 10905 0 0 0 104 1 0 0 15 0 19 0 834091773 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6744] ppid=6732 vsize=10618968 CPUtime=1.13 cores=0,2,4,6
/proc/6734/task/6744/stat : 6744 (java) S 6732 6734 5603 0 -1 4202560 11329 0 0 0 111 2 0 0 15 0 19 0 834091773 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 2 0 0 0
[pid=6734/tid=6745] ppid=6732 vsize=10618968 CPUtime=1.77 cores=0,2,4,6
/proc/6734/task/6745/stat : 6745 (java) S 6732 6734 5603 0 -1 4202560 12456 0 0 0 174 3 0 0 15 0 19 0 834091774 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 0 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6746] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6746/stat : 6746 (java) S 6732 6734 5603 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6747] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6747/stat : 6747 (java) S 6732 6734 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6748] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6748/stat : 6748 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699498929 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6749] ppid=6732 vsize=10618968 CPUtime=0.8 cores=0,2,4,6
/proc/6734/task/6749/stat : 6749 (java) S 6732 6734 5603 0 -1 4202560 8362 0 0 0 79 1 0 0 16 0 19 0 834091777 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6750] ppid=6732 vsize=10618968 CPUtime=0.9 cores=0,2,4,6
/proc/6734/task/6750/stat : 6750 (java) S 6732 6734 5603 0 -1 4202560 8370 0 0 0 90 0 0 0 15 0 19 0 834091777 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6751] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6751/stat : 6751 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6752] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6752/stat : 6752 (java) S 6732 6734 5603 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834091777 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6753] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6753/stat : 6753 (java) S 6732 6734 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834091787 10873823232 944394 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (KiB) 10618968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/612 6852
/proc/meminfo: memFree=15882080/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=10618968 CPUtime=1800.09 cores=0,2,4,6
/proc/6734/stat : 6734 (java) S 6732 6734 5603 0 -1 4202496 955660 0 1 0 179890 119 0 0 25 0 19 0 834091771 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 2654742 945189 2257 9 0 2645476 0
[pid=6734/tid=6735] ppid=6732 vsize=10618968 CPUtime=1786.69 cores=0,2,4,6
/proc/6734/task/6735/stat : 6735 (java) R 6732 6734 5603 0 -1 4202560 847888 0 1 0 178571 98 0 0 25 0 19 0 834091771 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 46912505548144 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=10618968 CPUtime=1.39 cores=0,2,4,6
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 5603 0 -1 4202560 10938 0 0 0 138 1 0 0 16 0 19 0 834091773 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=10618968 CPUtime=1.16 cores=0,2,4,6
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 5603 0 -1 4202560 6398 0 0 0 115 1 0 0 16 0 19 0 834091773 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 2 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=10618968 CPUtime=1.28 cores=0,2,4,6
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 5603 0 -1 4202560 8222 0 0 0 127 1 0 0 15 0 19 0 834091773 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 2 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=10618968 CPUtime=1.42 cores=0,2,4,6
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 5603 0 -1 4202560 10687 0 0 0 141 1 0 0 16 0 19 0 834091773 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=10618968 CPUtime=1.11 cores=0,2,4,6
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 5603 0 -1 4202560 8259 0 0 0 110 1 0 0 16 0 19 0 834091773 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=10618968 CPUtime=1.24 cores=0,2,4,6
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 5603 0 -1 4202560 10226 0 0 0 123 1 0 0 15 0 19 0 834091773 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6743] ppid=6732 vsize=10618968 CPUtime=1.07 cores=0,2,4,6
/proc/6734/task/6743/stat : 6743 (java) S 6732 6734 5603 0 -1 4202560 11272 0 0 0 106 1 0 0 16 0 19 0 834091773 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6744] ppid=6732 vsize=10618968 CPUtime=1.13 cores=0,2,4,6
/proc/6734/task/6744/stat : 6744 (java) S 6732 6734 5603 0 -1 4202560 11329 0 0 0 111 2 0 0 15 0 19 0 834091773 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 2 0 0 0
[pid=6734/tid=6745] ppid=6732 vsize=10618968 CPUtime=1.77 cores=0,2,4,6
/proc/6734/task/6745/stat : 6745 (java) S 6732 6734 5603 0 -1 4202560 12456 0 0 0 174 3 0 0 15 0 19 0 834091774 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 0 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6746] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6746/stat : 6746 (java) S 6732 6734 5603 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6747] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6747/stat : 6747 (java) S 6732 6734 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834091774 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6748] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6748/stat : 6748 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699498929 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6749] ppid=6732 vsize=10618968 CPUtime=0.8 cores=0,2,4,6
/proc/6734/task/6749/stat : 6749 (java) S 6732 6734 5603 0 -1 4202560 8362 0 0 0 79 1 0 0 16 0 19 0 834091777 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 4 0 0 0
[pid=6734/tid=6750] ppid=6732 vsize=10618968 CPUtime=0.9 cores=0,2,4,6
/proc/6734/task/6750/stat : 6750 (java) S 6732 6734 5603 0 -1 4202560 8370 0 0 0 90 0 0 0 15 0 19 0 834091777 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6751] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6751/stat : 6751 (java) S 6732 6734 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834091777 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491225 0 4 0 16800975 18446604441894024448 0 0 -1 6 0 0 0
[pid=6734/tid=6752] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6752/stat : 6752 (java) S 6732 6734 5603 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834091777 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
[pid=6734/tid=6753] ppid=6732 vsize=10618968 CPUtime=0 cores=0,2,4,6
/proc/6734/task/6753/stat : 6753 (java) S 6732 6734 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834091787 10873823232 945189 33554432000 1073741824 1073778376 140733867515728 18446744073709551615 212699491840 0 4 0 16800975 18446604441894024448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10618968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/612 6852
/proc/meminfo: memFree=15882080/32951124 swapFree=58940260/67111528
[pid=6734] ppid=6732 vsize=0 CPUtime=1800.34 cores=0,2,4,6
/proc/6734/stat : 6734 (java) Z 6732 6734 5603 0 -1 4203548 955701 0 1 0 179900 134 0 0 17 0 2 0 834091771 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6734/statm: 0 0 0 0 0 0 0
[pid=6734/tid=6753] ppid=6732 vsize=0 CPUtime=0.14 cores=0,2,4,6
/proc/6734/task/6753/stat : 6753 (java) R 6732 6734 5603 0 -1 4203588 7 0 0 0 0 14 0 0 18 0 2 0 834091787 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.34
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.91
CPU time (s): 1800.36
CPU user time (s): 1799
CPU system time (s): 1.35479
CPU usage (%): 100.471
Max. virtual memory (cumulated for all children) (KiB): 10618968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.35479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 955701
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= 41680
involuntary context switches= 19997
runsolver used 11.2693 second user time and 23.8604 second system time
The end